| (subclass ReceiverDevice CommunicationDevice) | Mid-level-ontology.kif 1802-1802 | Receiver device is a subclass of communication device |
| (subclass ReceiverDevice ElectricDevice) | Mid-level-ontology.kif 1803-1803 | Receiver device is a subclass of electric device |
| (subclass RadioReceiver ReceiverDevice) | Mid-level-ontology.kif 665-665 | Radio receiver is a subclass of receiver device |
| (subclass MobileCellPhone ReceiverDevice) | Mid-level-ontology.kif 25062-25062 | Mobile cell phone is a subclass of receiver device |
| (subclass SatellitePhone ReceiverDevice) | Mid-level-ontology.kif 25069-25069 | Satellite phone is a subclass of receiver device |
| (subclass TelevisionReceiver ReceiverDevice) | Communications.kif 380-380 | Television receiver is a subclass of receiver device |
|
|