| (subclass MobileCellPhone ReceiverDevice) | Mid-level-ontology.kif 25119-25119 | MobileCellPhone は ReceiverDevice の subclass では %n |
| (subclass MobileCellPhone Telephone) | Mid-level-ontology.kif 25120-25120 | MobileCellPhone は Telephone の subclass では %n |
| (subclass SmartPhone MobileCellPhone) | Mid-level-ontology.kif 29621-29621 | SmartPhone は MobileCellPhone の subclass では %n |
| (subclass AppleIPhone MobileCellPhone) | ComputingBrands.kif 627-627 | IPhone は MobileCellPhone の subclass では %n |
|
|