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エンジニアリング部品subclass では %n

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


(relatedInternalConcept Communication CommunicationDevice) Mid-level-ontology.kif 2944-2944 コミュニケーションCommunicationDeviceinternally 関連して %n
(subclass Antenna CommunicationDevice) Mid-level-ontology.kif 15823-15823 AntennaCommunicationDevicesubclass では %n
(subclass BroadcastingStation CommunicationDevice) Communications.kif 219-219 BroadcastingStationCommunicationDevicesubclass では %n
(subclass CommunicationRadio CommunicationDevice) Communications.kif 21-21 CommunicationRadioCommunicationDevicesubclass では %n
(subclass CommunicationSatellite CommunicationDevice) Communications.kif 120-120 CommunicationSatelliteCommunicationDevicesubclass では %n
(subclass DataDisplayDevice CommunicationDevice) Media.kif 850-850 DataDisplayDeviceCommunicationDevicesubclass では %n
(subclass FaxMachine CommunicationDevice) Mid-level-ontology.kif 2996-2996 FaxMachineCommunicationDevicesubclass では %n
(subclass MainTelephoneLine CommunicationDevice) Communications.kif 47-47 MainTelephoneLineCommunicationDevicesubclass では %n
(subclass Microphone CommunicationDevice) Mid-level-ontology.kif 1798-1798 MicrophoneCommunicationDevicesubclass では %n
(subclass ProjectionScreen CommunicationDevice) Mid-level-ontology.kif 1819-1819 ProjectionScreenCommunicationDevicesubclass では %n
(subclass ReceiverDevice CommunicationDevice) Mid-level-ontology.kif 1802-1802 ReceiverDeviceCommunicationDevicesubclass では %n
(subclass Telegraph CommunicationDevice) Mid-level-ontology.kif 1814-1814 TelegraphCommunicationDevicesubclass では %n
(subclass Telephone CommunicationDevice) Mid-level-ontology.kif 2952-2952 TelephoneCommunicationDevicesubclass では %n
(subclass TelephonyDevice CommunicationDevice) Mid-level-ontology.kif 24562-24562 TelephonyDeviceCommunicationDevicesubclass では %n
(subclass Telex CommunicationDevice) Communications.kif 173-173 TelexCommunicationDevicesubclass では %n
(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 15791-15796


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