# -*- coding: utf-8 -*-

# Form implementation generated from reading ui file 'TextEditor.ui'
#
# Created: Thu Feb 19 10:13:39 2015
#      by: pyside-uic 0.2.15 running on PySide 1.2.1
#
# WARNING! All changes made in this file will be lost!

from PySide import QtCore, QtGui

class Ui_Form(object):
    def setupUi(self, Form):
        Form.setObjectName("Form")
        Form.resize(833, 475)
        self.widget = QtGui.QWidget(Form)
        self.widget.setGeometry(QtCore.QRect(4, 11, 821, 451))
        self.widget.setObjectName("widget")
        self.gridLayout = QtGui.QGridLayout(self.widget)
        self.gridLayout.setContentsMargins(0, 0, 0, 0)
        self.gridLayout.setObjectName("gridLayout")
        spacerItem = QtGui.QSpacerItem(40, 20, QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Minimum)
        self.gridLayout.addItem(spacerItem, 0, 1, 1, 1)
        self.ontologySelector = QtGui.QComboBox(self.widget)
        self.ontologySelector.setObjectName("ontologySelector")
        self.gridLayout.addWidget(self.ontologySelector, 0, 2, 1, 1)
        self.number_bar = QtGui.QWidget(self.widget)
        self.number_bar.setMinimumSize(QtCore.QSize(30, 0))
        self.number_bar.setObjectName("number_bar")
        self.gridLayout.addWidget(self.number_bar, 1, 0, 1, 1)
        self.plainTextEdit = QtGui.QPlainTextEdit(self.widget)
        self.plainTextEdit.setMinimumSize(QtCore.QSize(500, 0))
        self.plainTextEdit.setLineWrapMode(QtGui.QPlainTextEdit.NoWrap)
        self.plainTextEdit.setObjectName("plainTextEdit")
        self.gridLayout.addWidget(self.plainTextEdit, 1, 1, 1, 2)

        self.retranslateUi(Form)
        QtCore.QMetaObject.connectSlotsByName(Form)

    def retranslateUi(self, Form):
        Form.setWindowTitle(QtGui.QApplication.translate("Form", "Form", None, QtGui.QApplication.UnicodeUTF8))
        self.plainTextEdit.setPlainText(QtGui.QApplication.translate("Form", ";; Ontology of Communication Concepts used in the CIA World Fact Book 2002\n"
"\n"
";; Access to and use of these products is governed by the GNU General Public \n"
";; License <http://www.gnu.org/copyleft/gpl.html>. \n"
";; By using these products, you agree to be bound by the terms \n"
";; of the GPL.\n"
"\n"
";; Those who are interested in making use of this ontology are urged \n"
";; to contact Adam Pease (apease@articulatesoftware.com).\n"
";; We ask the people using or referencing this work cite our primary paper:\n"
"\n"
";; Niles, I., and Pease, A.  2001.  Towards a Standard Upper Ontology.  In \n"
";; Proceedings of the 2nd International Conference on Formal Ontology in \n"
";; Information Systems (FOIS-2001), Chris Welty and Barry Smith, eds, \n"
";; Ogunquit, Maine, October 17-19, 2001.  See also www.ontologyportal.org \n"
"\n"
";; \n"
";; ==========================================================================\n"
";; VI. Communications\n"
"\n"
"(subclass CommunicationRadio CommunicationDevice)\n"
"(documentation CommunicationRadio EnglishLanguage \"Relatively low power broadcasting\n"
"devices designed for voice communication among specialized groups\n"
"in which each receiver also has the power to transmit, unlike\n"
"broadcast radio where most components transmitting or receiving on\n"
"a given frequency or set of frequencies are receivers only.  This \n"
"includes unlicensed walkie-talkies, public safety radios, military\n"
"communication systems and CB radios.\")\n"
"\n"
";;     A. Telephones - main lines in use\n"
"\n"
"(subclass TelephoneSystem CommunicationSystem)\n"
"(documentation TelephoneSystem EnglishLanguage \"A &%TelephoneSystem consists of a complete\n"
"interconnection of &%Telephones, &%MainTelephoneLines, and other components\n"
"that work together to make telephonic communication possible from point to\n"
"point in a given area.\")\n"
"\n"
"(termFormat EnglishLanguage Telephone \"telephone\")\n"
"\n"
"(=>\n"
"    (instance ?SYSTEM TelephoneSystem)\n"
"    (exists (?PHONE)\n"
"        (and\n"
"            (instance ?PHONE Telephone)\n"
"            (engineeringSubcomponent ?PHONE ?SYSTEM))))\n"
"\n"
"(subclass MainTelephoneLine CommunicationDevice)\n"
"(synonymousExternalConcept \"main telephone line\" MainTelephoneLine EnglishLanguage)\n"
"(documentation MainTelephoneLine EnglishLanguage \"A &%MainTelephoneLine is one \n"
"&%engineeringSubcomponent of a &%TelephoneSystem used for voice communication \n"
"or computer data transfer.\")\n"
"(=>\n"
"    (instance ?SYSTEM TelephoneSystem)\n"
"    (exists (?LINE)\n"
"        (and\n"
"            (instance ?LINE MainTelephoneLine)\n"
"            (engineeringSubcomponent ?LINE ?SYSTEM))))\n"
"\n"
"(subclass TelephoneCradle Device)\n"
"(documentation TelephoneCradle EnglishLanguage \"&%TelephoneCradle is the part of the\n"
"&%Telephone that is connected to the &%TelephoneSystem through some wire.\")\n"
"(termFormat EnglishLanguage TelephoneCradle \"telephone cradle\")\n"
"\n"
"(=>\n"
"  (instance ?X TelephoneCradle)\n"
"  (hasPurpose ?X\n"
"    (exists (?SYS ?WIRE)\n"
"      (and\n"
"        (instance ?SYS TelephoneSystem)\n"
"        (instance ?WIRE WireLine)\n"
"        (connectsEngineeringComponents ?WIRE ?X ?SYS)))))      \n"
"\n"
"(subclass CordedTelephone FixedPhone)\n"
"(documentation CordedTelephone EnglishLanguage \"&%CordedTelephone is a type of &%FixedPhone \n"
"whose &%TelephoneHandset is connected to its &%TelephoneCradle by a &%WireLine\")\n"
"(termFormat EnglishLanguage CordedTelephone \"corded telephone\")\n"
"\n"
"(=>\n"
"  (instance ?X CordedTelephone)\n"
"  (exists (?HANDSET ?CRADLE ?WIRE)\n"
"    (and\n"
"      (instance ?HANDSET TelephoneHandset)\n"
"      (instance ?CRADLE TelephoneCradle)\n"
"      (part ?HANDSET ?X)\n"
"      (part ?CRADLE ?X)\n"
"      (instance ?WIRE WireLine)\n"
"      (connectsEngineeringComponents ?WIRE ?HANDSET ?CRADLE))))\n"
"        \n"
"(subclass CordlessTelephone FixedPhone)\n"
"(documentation CordlessTelephone EnglishLanguage \"&%CordlessTelephone is a type of \n"
"&%FixedPhone whose &%TelephoneHandset is not connected to its &%TelephoneCradle by a \n"
"&%WireLine\")\n"
"(termFormat EnglishLanguage CordlessTelephone \"cordless telephone\")\n"
"\n"
"(=>\n"
"  (instance ?X CordlessTelephone)\n"
"  (exists (?HANDSET ?CRADLE)\n"
"    (and\n"
"      (instance ?HANDSET TelephoneHandset)\n"
"      (instance ?CRADLE TelephoneCradle)\n"
"      (part ?HANDSET ?X)\n"
"      (part ?CRADLE ?X)\n"
"      (not \n"
"        (exists (?WIRE)\n"
"          (and\n"
"            (instance ?WIRE WireLine)\n"
"            (connectsEngineeringComponents ?WIRE ?HANDSET ?CRADLE)))))))\n"
"        \n"
";;    B. Telephones - mobile cellular\n"
"\n"
";;    C. Telephone system\n"
"(subclass ArtificialSatellite Satellite)\n"
"(subclass ArtificialSatellite EngineeringComponent)\n"
"(termFormat EnglishLanguage ArtificialSatellite \"satellite\")\n"
"(documentation ArtificialSatellite EnglishLanguage \"An &%ArtificialSatellite is a &%Device\n"
"that orbits the earth in space and performs various functions such as\n"
"aiding in communication, photographing the earth\'s surface, and others.\")\n"
"\n"
"(subclass CommunicationSatellite ArtificialSatellite)\n"
"(subclass CommunicationSatellite CommunicationDevice)\n"
"(termFormat EnglishLanguage CommunicationSatellite \"communications satellite\")\n"
"(documentation CommunicationSatellite EnglishLanguage \"A &%CommunicationSatellite is an\n"
"&%ArtificialSatellite that serves as one &%engineeringSubcomponent of a \n"
"&%CommunicationSystem.\")\n"
"(=>\n"
"    (instance ?SAT CommunicationSatellite)\n"
"    (exists (?SYSTEM)\n"
"        (and\n"
"            (instance ?SYSTEM CommunicationSystem)\n"
"            (engineeringSubcomponent ?SAT ?SYSTEM))))\n"
"\n"
"(instance communicationSatelliteForArea TernaryPredicate)\n"
"(domain communicationSatelliteForArea 1 GeopoliticalArea)\n"
"(domainSubclass communicationSatelliteForArea 2 Satellite)\n"
"(domain communicationSatelliteForArea 3 Integer)\n"
"(documentation communicationSatelliteForArea EnglishLanguage \"The expression\n"
"(communicationSatelliteForArea ?AREA ?SATELLITE ?INTEGER) means that \n"
"?INTEGER number of &%CommunicationSatellites of the type ?SATELLITE serve\n"
"as an &%engineeringSubcomponent of a &%TelephoneSystem of the GeopoliticalArea\n"
"?AREA.\")\n"
"\n"
"(=>\n"
"    (communicationSatelliteForArea ?AREA ?SATELLITETYPE ?INTEGER)\n"
"    (equal ?INTEGER\n"
"        (CardinalityFn\n"
"            (KappaFn ?SATELLITE\n"
"                (and\n"
"                    (instance ?SATELLITE ?SATELLITETYPE)\n"
"                    (instance ?SYSTEM CommunicationSystem)\n"
"                    (located ?SYSTEM ?AREA)\n"
"                    (engineeringSubcomponent ?SATELLITE ?SYSTEM))))))\n"
"\n"
"(subclass Eutelsat CommunicationSatellite)\n"
"(documentation Eutelsat EnglishLanguage \"An &%Eutelsat is one type of \n"
"&%CommunicationSatellite.\")\n"
"\n"
"(subclass Inmarsat CommunicationSatellite)\n"
"(documentation Inmarsat EnglishLanguage \"An &%Inmarsat is one type of \n"
"&%CommunicationSatellite.\")\n"
"\n"
"(subclass Intelsat CommunicationSatellite)\n"
"(documentation Intelsat EnglishLanguage \"An &%Intelsat is one type of \n"
"&%CommunicationSatellite.\")\n"
"\n"
"(subclass Intersputnik CommunicationSatellite)\n"
"(documentation Intersputnik EnglishLanguage \"An &%Intersputnik is one type of \n"
"&%CommunicationSatellite.\")\n"
"\n"
"(subclass Orbita CommunicationSatellite)\n"
"(documentation Orbita EnglishLanguage \"An &%Orbita is one type of \n"
"&%CommunicationSatellite.\")\n"
"\n"
"(subclass Telex CommunicationDevice)\n"
"(documentation Telex EnglishLanguage \"&%Telex is a &%Telegraph-like &%CommunicationDevice \n"
"that is used to send messages over a &%TelephoneSystem.\")\n"
"(termFormat EnglishLanguage Telex \"telex\")\n"
"\n"
"(=>\n"
"  (instance ?TELEX Telex)\n"
"  (exists (?PRINTER)\n"
"    (and\n"
"      (instance ?PRINTER Printer)\n"
"      (part ?PRINTER ?TELEX))))\n"
"      \n"
"(=>\n"
"  (instance ?TELEX Telex)\n"
"  (hasPurpose ?TELEX\n"
"    (exists (?SYS ?TELEX2 ?MSG)\n"
"      (and\n"
"        (instance ?SYS TelephoneSystem)\n"
"        (instance ?TELEX2 Telex)\n"
"        (instance ?MSG Messaging)\n"
"        (or\n"
"          (and\n"
"            (origin ?MSG ?TELEX)\n"
"            (destination ?MSG ?TELEX2))\n"
"          (and\n"
"            (origin ?MSG ?TELEX2)\n"
"            (destination ?MSG ?TELEX)))\n"
"        (path ?MSG ?SYS)))))\n"
"\n"
"(=>\n"
"  (and\n"
"    (destination ?MSG ?TELEX)\n"
"    (instance ?MSG Messaging)\n"
"    (patient ?MSG ?M)\n"
"    (instance ?TELEX Telex))\n"
"  (exists (?PROC ?TEXT)\n"
"    (and\n"
"      (instrument ?PROC ?TELEX)\n"
"      (result ?PROC ?TEXT)\n"
"      (represents ?TEXT ?M)\n"
"      (instance ?TEXT Text)\n"
"      (before (BeginFn (WhenFn ?MSG)) (BeginFn (WhenFn ?PROC))))))\n"
"\n"
"\n"
";;    D. Radio broadcast stations\n"
"(subclass BroadcastingStation StationaryArtifact)\n"
"(subclass BroadcastingStation CommunicationDevice)\n"
"(engineeringSubcomponent BroadcastingStation CommunicationSystem)\n"
"(documentation BroadcastingStation EnglishLanguage \"A &%BroadcastingStation is\n"
"an &%engineeringSubcomponent of either a &%TelevisionSystem or\n"
"a &%RadioStation.\")\n"
"\n"
"(=>\n"
"    (instance ?STATION BroadcastingStation)\n"
"    (or\n"
"        (instance ?STATION TelevisionStation)\n"
"        (instance ?STATION RadioStation)))\n"
"\n"
"(subclass RadioSystem CommunicationSystem)\n"
"(documentation RadioSystem EnglishLanguage \"A &%RadioSystem consists of &%Radios, \n"
"&%RadioStations, and other components that work together to make \n"
"radio broadcasting possible in a given area.\")\n"
"\n"
"(subclass AMRadioSystem RadioSystem)\n"
"(documentation AMRadioSystem EnglishLanguage \"An &%AMRadioSystem consists of &%Radios, \n"
"&%AMRadioStations, and other components that work together to make \n"
"AM radio broadcasting possible in a given area.\")\n"
"\n"
"(subclass FMRadioSystem RadioSystem)\n"
"(documentation FMRadioSystem EnglishLanguage \"A &%FMRadioSystem consists of &%Radios, \n"
"&%FMRadioStations, and other components that work together to make \n"
"FM radio broadcasting possible in a given area.\")\n"
"\n"
"(subclass ShortwaveRadioSystem RadioSystem)\n"
"(documentation ShortwaveRadioSystem EnglishLanguage \"A &%ShortwaveRadioSystem consists \n"
"of &%Radios, &%ShortwaveRadioStations, and other components that work \n"
"together to make shortwave radio broadcasting possible in a given area.\")\n"
"\n"
"(subclass BabyMonitoringSystem RadioSystem)\n"
"(documentation BabyMonitoringSystem EnglishLanguage \"&%BabyMonitoringSystem refers to\n"
"the radio system that &%Broadcasting at 49Mhz, consisting of a transmitter and receiver,\n"
"where the transmitter is kept where the baby is kept, and the receiver is kept with\n"
"the person looking after the baby to be able to hear sounds and monitor the baby\")\n"
"(termFormat EnglishLanguage BabyMonitoringSystem \"baby monitor\")\n"
"\n"
"(=>\n"
"  (instance ?X BabyMonitoringSystem)\n"
"  (exists (?TX ?RX)\n"