Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
ReceiverDevice(receiver device)
|  | detector, heterodyne_receiver, omnidirectional_radio_range, omnidirectional_range, omnirange, receiver, receiving_system, superhet, superheterodyne_receiver |
| appearance as argument number 1 |
|
|
| (subclass ReceiverDevice CommunicationDevice) | Mid-level-ontology.kif 2377-2377 | Receiver device is a subclass of communication device |
| (subclass ReceiverDevice ElectricDevice) | Mid-level-ontology.kif 2378-2378 | Receiver device is a subclass of electric device |
| (documentation ReceiverDevice EnglishLanguage "An ElectricDevice that is capable of receiving and decoding RadioEmissions, e.g. Radios and Televisions.") | Mid-level-ontology.kif 2379-2380 | Receiver device is a subclass of electric device |
| (externalImage ReceiverDevice "http://upload.wikimedia.org/wikipedia/en/ thumb/ 0/ 02/ NX1Z_Radio.jpg/ 300px_NX1Z_Radio.jpg") | pictureList.kif 1229-1229 | Receiver device is a subclass of electric device |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (instance ?E RadioEmission) (destination ?E ?D)) (instance ?D ReceiverDevice)) |
Mid-level-ontology.kif 2382-2386 | If X is an instance of radio emission and X ends up at Y, then Y is an instance of receiver device |
|