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 1763-1764 | |
(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 1761-1761 | Receiver device is a subclass of communication device |
(subclass ReceiverDevice ElectricDevice) | Mid-level-ontology.kif 1762-1762 | Receiver device is a subclass of electric device |
appearance as argument number 2 |
![]() |
(subclass MobileCellPhone ReceiverDevice) | Mid-level-ontology.kif 24435-24435 | Mobile cell phone is a subclass of receiver device |
(subclass RadioReceiver ReceiverDevice) | Mid-level-ontology.kif 630-630 | 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 48933-48933 | |
(termFormat ChineseTraditionalLanguage ReceiverDevice "接收器設備") | domainEnglishFormat.kif 48932-48932 | |
(termFormat EnglishLanguage ReceiverDevice "receiver device") | domainEnglishFormat.kif 48931-48931 |
consequent |
![]() |
(=> (and (instance ?E RadioEmission) (destination ?E ?D)) (instance ?D ReceiverDevice)) |
Mid-level-ontology.kif 1766-1770 |
|
![]() |
![]() |