(subclass SmartPhone MobileCellPhone) | Mid-level-ontology.kif 29570-29570 | SmartPhone est une sous-classe de MobileCellPhone |
(subclass SmartPhone PortableComputer) | Mid-level-ontology.kif 29571-29571 | SmartPhone est une sous-classe de PortableComputer |