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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 1763-1764
(externalImage ReceiverDevice " thumb/ 0/ 02/ NX1Z_Radio.jpg/ 300px-NX1Z_Radio.jpg") pictureList.kif 1230-1230
(subclass ReceiverDevice CommunicationDevice) Mid-level-ontology.kif 1761-1761
(subclass ReceiverDevice ElectricDevice) Mid-level-ontology.kif 1762-1762

appearance as argument number 2

(subclass MobileCellPhone ReceiverDevice) Mid-level-ontology.kif 24435-24435
(subclass RadioReceiver ReceiverDevice) Mid-level-ontology.kif 630-630
(subclass TelevisionReceiver ReceiverDevice) Communications.kif 380-380
(termFormat ChineseLanguage ReceiverDevice "接收器设备") domainEnglishFormat.kif 48933-48933
(termFormat ChineseTraditionalLanguage ReceiverDevice "接收器設備") domainEnglishFormat.kif 48932-48932
(termFormat EnglishLanguage ReceiverDevice "receiver device") domainEnglishFormat.kif 48931-48931


        (instance ?E RadioEmission)
        (destination ?E ?D))
    (instance ?D ReceiverDevice))
Mid-level-ontology.kif 1766-1770

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