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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ReceiverDevice
ReceiverDevice(接收器设备)

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 1804-1805
(externalImage ReceiverDevice "http://upload.wikimedia.org/wikipedia/en/ thumb/ 0/ 02/ NX1Z_Radio.jpg/ 300px-NX1Z_Radio.jpg") pictureList.kif 1229-1229
(subclass ReceiverDevice CommunicationDevice) Mid-level-ontology.kif 1802-1802 接收器设备通讯设备subclass
(subclass ReceiverDevice ElectricDevice) Mid-level-ontology.kif 1803-1803 接收器设备电器subclass

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


(subclass MobileCellPhone ReceiverDevice) Mid-level-ontology.kif 25062-25062 移动手机接收器设备subclass
(subclass RadioReceiver ReceiverDevice) Mid-level-ontology.kif 665-665 无线电接收器接收器设备subclass
(subclass SatellitePhone ReceiverDevice) Mid-level-ontology.kif 25069-25069 SatellitePhone接收器设备subclass
(subclass TelevisionReceiver ReceiverDevice) Communications.kif 380-380 电视接收器接收器设备subclass
(termFormat ChineseLanguage ReceiverDevice "接收器设备") domainEnglishFormat.kif 48950-48950
(termFormat ChineseTraditionalLanguage ReceiverDevice "接收器設備") domainEnglishFormat.kif 48949-48949
(termFormat EnglishLanguage ReceiverDevice "receiver device") domainEnglishFormat.kif 48948-48948

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


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


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