| 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 1797-1798 | |
| (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 1795-1795 | Receiver device is a subclass of communication device |
| (subclass ReceiverDevice ElectricDevice) | Mid-level-ontology.kif 1796-1796 | Receiver device is a subclass of electric device |
| appearance as argument number 2 |
|
|
| (subclass MobileCellPhone ReceiverDevice) | Mid-level-ontology.kif 25350-25350 | Mobile cell phone is a subclass of receiver device |
| (subclass RadioReceiver ReceiverDevice) | Mid-level-ontology.kif 658-658 | Radio receiver is a subclass of receiver device |
| (subclass SatellitePhone ReceiverDevice) | Mid-level-ontology.kif 25357-25357 | Satellite phone 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 48990-48990 | Television receiver is a subclass of receiver device |
| (termFormat ChineseTraditionalLanguage ReceiverDevice "接收器設備") | domainEnglishFormat.kif 48989-48989 | Television receiver is a subclass of receiver device |
| (termFormat EnglishLanguage ReceiverDevice "receiver device") | domainEnglishFormat.kif 48988-48988 | Television receiver is a subclass of receiver device |
| consequent |
|
|
| (=> (and (instance ?E RadioEmission) (destination ?E ?D)) (instance ?D ReceiverDevice)) |
Mid-level-ontology.kif 1800-1804 |
|
|
|
|