| (subclass ReceiverDevice CommunicationDevice) | Mid-level-ontology.kif 1802-1802 | |
| (subclass ReceiverDevice ElectricDevice) | Mid-level-ontology.kif 1803-1803 | |
| (subclass RadioReceiver ReceiverDevice) | Mid-level-ontology.kif 665-665 | |
| (subclass MobileCellPhone ReceiverDevice) | Mid-level-ontology.kif 25062-25062 | |
| (subclass SatellitePhone ReceiverDevice) | Mid-level-ontology.kif 25069-25069 | |
| (subclass TelevisionReceiver ReceiverDevice) | Communications.kif 380-380 |
|
|