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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ReceiverDevice
ReceiverDevice(receiver device)
detector, heterodyne_receiver, omnidirectional_radio_range, omnidirectional_range, omnirange, receiver, receiving_system, superhet, superheterodyne_receiver

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


(documentation ReceiverDevice EnglishLanguage "An ElectricDevice that is capable of receiving and decoding RadioEmissions, e.g. Radios and Televisions.") Mid-level-ontology.kif 2223-2224
(externalImage ReceiverDevice "http://upload.wikimedia.org/wikipedia/en/ thumb/ 0/ 02/ NX1Z_Radio.jpg/ 300px-NX1Z_Radio.jpg") pictureList.kif 1230-1230
(subclass ReceiverDevice CommunicationDevice) Mid-level-ontology.kif 2221-2221 Receiver device is a subclass of communication device
(subclass ReceiverDevice ElectricDevice) Mid-level-ontology.kif 2222-2222 Receiver device is a subclass of electric device

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


(subclass MobileCellPhone ReceiverDevice) Mid-level-ontology.kif 23058-23058 Mobile cell phone is a subclass of receiver device
(subclass RadioReceiver ReceiverDevice) Mid-level-ontology.kif 820-820 Radio receiver is a subclass of receiver device
(subclass TelevisionReceiver ReceiverDevice) Communications.kif 380-380 Television receiver is a subclass of receiver device
(termFormat ChineseLanguage ReceiverDevice "接收器设备") domainEnglishFormat.kif 48848-48848
(termFormat ChineseTraditionalLanguage ReceiverDevice "接收器設備") domainEnglishFormat.kif 48847-48847
(termFormat EnglishLanguage ReceiverDevice "receiver device") domainEnglishFormat.kif 48846-48846

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


(=>
    (and
        (instance ?E RadioEmission)
        (destination ?E ?D))
    (instance ?D ReceiverDevice))
Mid-level-ontology.kif 2226-2230


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners