| (subclass MobileCellPhone ReceiverDevice) | Mid-level-ontology.kif 25062-25062 | MobileCellPhone est une sous-classe de ReceiverDevice |
| (subclass MobileCellPhone Telephone) | Mid-level-ontology.kif 25063-25063 | MobileCellPhone est une sous-classe de Telephone |
| (subclass SmartPhone MobileCellPhone) | Mid-level-ontology.kif 29570-29570 | SmartPhone est une sous-classe de MobileCellPhone |
| (subclass AppleIPhone MobileCellPhone) | ComputingBrands.kif 627-627 | AppleIPhone est une sous-classe de MobileCellPhone |
|
|