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. Merge.kif 1366-1366 Content bearing object is a subclass of corpuscular object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1367-1367 Content bearing object is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1061-1061 Ship registration is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1080-1080 Ship register is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 550-550 Process state is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 668-668 Feedback is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1669-1669 Uniform resource identifier is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2023-2023 User account is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2721-2721 Compass is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12005-12005 Recording is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12030-12030 Sheet music is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12571-12571 Holiday card is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14703-14703 Sign is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14709-14709 Playing card is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22291-22291 Descriptor is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22313-22313 DescriptorPart is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24199-24199 VisualContentBearingObject is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24440-24440 Document is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1377-1377 Symbolic string is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Merge.kif 15458-15458 Text is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Government.kif 676-676 Constitution document is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. engineering.kif 376-376 Multipole diagram is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. engineering.kif 1335-1335 Computer file is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. engineering.kif 1358-1358 Web document is a subclass of content bearing object


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners