| (subclass ReceiverDevice CommunicationDevice) | Mid-level-ontology.kif 1802-1802 | ReceiverDevice è una sottoclasse di CommunicationDevice |
| (subclass ReceiverDevice ElectricDevice) | Mid-level-ontology.kif 1803-1803 | ReceiverDevice è una sottoclasse di ElectricDevice |
| (subclass RadioReceiver ReceiverDevice) | Mid-level-ontology.kif 665-665 | RadioReceiver è una sottoclasse di ReceiverDevice |
| (subclass MobileCellPhone ReceiverDevice) | Mid-level-ontology.kif 25061-25061 | MobileCellPhone è una sottoclasse di ReceiverDevice |
| (subclass SatellitePhone ReceiverDevice) | Mid-level-ontology.kif 25068-25068 | SatellitePhone è una sottoclasse di ReceiverDevice |
| (subclass TelevisionReceiver ReceiverDevice) | Communications.kif 380-380 | TelevisionReceiver è una sottoclasse di ReceiverDevice |
|
|