Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CommunicationDevice
CommunicationDevice

appearance as argument number 1
-------------------------


(documentation CommunicationDevice EnglishLanguage "A CommunicationDevice is a Device which serves at the instrument in a Communication Process by allowing the communicated message to be conveyed between the participants.") Mid-level-ontology.kif 2933-2936
(externalImage CommunicationDevice "http://upload.wikimedia.org/wikipedia/ commons/ b/ b2/ ATTtelephone-large.jpg") pictureList.kif 9093-9093
(subclass CommunicationDevice EngineeringComponent) Mid-level-ontology.kif 2932-2932 CommunicationDevice è una sottoclasse di Meccanismo

appearance as argument number 2
-------------------------


(relatedInternalConcept Communication CommunicationDevice) Mid-level-ontology.kif 2937-2937 Comunicazione è interamente correlato a CommunicationDevice
(subclass Antenna CommunicationDevice) Mid-level-ontology.kif 15850-15850 Antenna è una sottoclasse di CommunicationDevice
(subclass BroadcastingStation CommunicationDevice) Communications.kif 219-219 BroadcastingStation è una sottoclasse di CommunicationDevice
(subclass CommunicationRadio CommunicationDevice) Communications.kif 21-21 CommunicationRadio è una sottoclasse di CommunicationDevice
(subclass CommunicationSatellite CommunicationDevice) Communications.kif 120-120 CommunicationSatellite è una sottoclasse di CommunicationDevice
(subclass DataDisplayDevice CommunicationDevice) Media.kif 850-850 DataDisplayDevice è una sottoclasse di CommunicationDevice
(subclass FaxMachine CommunicationDevice) Mid-level-ontology.kif 2989-2989 FaxMachine è una sottoclasse di CommunicationDevice
(subclass MainTelephoneLine CommunicationDevice) Communications.kif 47-47 MainTelephoneLine è una sottoclasse di CommunicationDevice
(subclass Microphone CommunicationDevice) Mid-level-ontology.kif 1791-1791 Microphone è una sottoclasse di CommunicationDevice
(subclass ProjectionScreen CommunicationDevice) Mid-level-ontology.kif 1812-1812 ProjectionScreen è una sottoclasse di CommunicationDevice
(subclass ReceiverDevice CommunicationDevice) Mid-level-ontology.kif 1795-1795 ReceiverDevice è una sottoclasse di CommunicationDevice
(subclass Telegraph CommunicationDevice) Mid-level-ontology.kif 1807-1807 Telegraph è una sottoclasse di CommunicationDevice
(subclass Telephone CommunicationDevice) Mid-level-ontology.kif 2945-2945 Telephone è una sottoclasse di CommunicationDevice
(subclass TelephonyDevice CommunicationDevice) Mid-level-ontology.kif 24619-24619 TelephonyDevice è una sottoclasse di CommunicationDevice
(subclass Telex CommunicationDevice) Communications.kif 173-173 Telex è una sottoclasse di CommunicationDevice
(termFormat ChineseLanguage CommunicationDevice "通讯设备") domainEnglishFormat.kif 16014-16014
(termFormat ChineseTraditionalLanguage CommunicationDevice "通訊設備") domainEnglishFormat.kif 16013-16013
(termFormat EnglishLanguage CommunicationDevice "communication device") domainEnglishFormat.kif 16012-16012

antecedent
-------------------------


(=>
    (instance ?DEVICE CommunicationDevice)
    (capability Communication instrument ?DEVICE))		 Mid-level-ontology.kif 2939-2941

consequent
-------------------------


(=>
    (instance ?BROADCAST Broadcasting)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE CommunicationDevice)
            (instrument ?BROADCAST ?DEVICE))))		 Mid-level-ontology.kif 15818-15823


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners