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 2940-2943
(externalImage CommunicationDevice "http://upload.wikimedia.org/wikipedia/ commons/ b/ b2/ ATTtelephone-large.jpg") pictureList.kif 9093-9093
(subclass CommunicationDevice EngineeringComponent) Mid-level-ontology.kif 2939-2939 CommunicationDevice è una sottoclasse di Meccanismo

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


(relatedInternalConcept Communication CommunicationDevice) Mid-level-ontology.kif 2944-2944 Comunicazione è interamente correlato a CommunicationDevice
(subclass Antenna CommunicationDevice) Mid-level-ontology.kif 15822-15822 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 2996-2996 FaxMachine è una sottoclasse di CommunicationDevice
(subclass MainTelephoneLine CommunicationDevice) Communications.kif 47-47 MainTelephoneLine è una sottoclasse di CommunicationDevice
(subclass Microphone CommunicationDevice) Mid-level-ontology.kif 1798-1798 Microphone è una sottoclasse di CommunicationDevice
(subclass ProjectionScreen CommunicationDevice) Mid-level-ontology.kif 1819-1819 ProjectionScreen è una sottoclasse di CommunicationDevice
(subclass ReceiverDevice CommunicationDevice) Mid-level-ontology.kif 1802-1802 ReceiverDevice è una sottoclasse di CommunicationDevice
(subclass Telegraph CommunicationDevice) Mid-level-ontology.kif 1814-1814 Telegraph è una sottoclasse di CommunicationDevice
(subclass Telephone CommunicationDevice) Mid-level-ontology.kif 2952-2952 Telephone è una sottoclasse di CommunicationDevice
(subclass TelephonyDevice CommunicationDevice) Mid-level-ontology.kif 24561-24561 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 2946-2948

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


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


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