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