(subclass MobileCellPhone ReceiverDevice) | Mid-level-ontology.kif 25062-25062 | MobileCellPhone は ReceiverDevice の subclass では %n |
(subclass MobileCellPhone Telephone) | Mid-level-ontology.kif 25063-25063 | MobileCellPhone は Telephone の subclass では %n |
(subclass SmartPhone MobileCellPhone) | Mid-level-ontology.kif 29570-29570 | SmartPhone は MobileCellPhone の subclass では %n |
(subclass AppleIPhone MobileCellPhone) | ComputingBrands.kif 627-627 | IPhone は MobileCellPhone の subclass では %n |