Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners