(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 25061-25061 | MobileCellPhone は ReceiverDevice の subclass では %n |
(subclass SatellitePhone ReceiverDevice) | Mid-level-ontology.kif 25068-25068 | SatellitePhone は ReceiverDevice の subclass では %n |
(subclass TelevisionReceiver ReceiverDevice) | Communications.kif 380-380 | TelevisionReceiver は ReceiverDevice の subclass では %n |