No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2951-2951 | Telephone est une sous-classe de ElectricDevice |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2952-2952 | Telephone est une sous-classe de CommunicationDevice |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24573-24573 | Telephone est une sous-classe de TelephonyDevice |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25059-25059 | FixedPhone est une sous-classe de Telephone |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25062-25062 | MobileCellPhone est une sous-classe de Telephone |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25069-25069 | SatellitePhone est une sous-classe de Telephone |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26265-26265 | TDDPhone est une sous-classe de Telephone |