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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CommunicationDevice

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 2891-2894
(externalImage CommunicationDevice "http://upload.wikimedia.org/wikipedia/ commons/ b/ b2/ ATTtelephone-large.jpg") pictureList.kif 9094-9094
(subclass CommunicationDevice EngineeringComponent) Mid-level-ontology.kif 2890-2890

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


(relatedInternalConcept Communication CommunicationDevice) Mid-level-ontology.kif 2895-2895
(subclass Antenna CommunicationDevice) Mid-level-ontology.kif 15268-15268
(subclass BroadcastingStation CommunicationDevice) Communications.kif 219-219
(subclass CommunicationRadio CommunicationDevice) Communications.kif 21-21
(subclass CommunicationSatellite CommunicationDevice) Communications.kif 120-120
(subclass DataDisplayDevice CommunicationDevice) Media.kif 850-850
(subclass FaxMachine CommunicationDevice) Mid-level-ontology.kif 2947-2947
(subclass MainTelephoneLine CommunicationDevice) Communications.kif 47-47
(subclass Microphone CommunicationDevice) Mid-level-ontology.kif 1753-1753
(subclass ProjectionScreen CommunicationDevice) Mid-level-ontology.kif 1774-1774
(subclass ReceiverDevice CommunicationDevice) Mid-level-ontology.kif 1757-1757
(subclass Telegraph CommunicationDevice) Mid-level-ontology.kif 1769-1769
(subclass Telephone CommunicationDevice) Mid-level-ontology.kif 2903-2903
(subclass TelephonyDevice CommunicationDevice) Mid-level-ontology.kif 23933-23933
(subclass Telex CommunicationDevice) Communications.kif 173-173
(termFormat ChineseLanguage CommunicationDevice "通讯设备") domainEnglishFormat.kif 16005-16005
(termFormat ChineseTraditionalLanguage CommunicationDevice "通訊設備") domainEnglishFormat.kif 16004-16004
(termFormat EnglishLanguage CommunicationDevice "communication device") domainEnglishFormat.kif 16003-16003

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


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

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


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


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

Show without tree


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