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