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 1349-1349 Content bearing object is a subclass of corpuscular object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1350-1350 Content bearing object is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1034-1034 Ship registration is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1053-1053 Ship register is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 552-552 Process state is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 670-670 Feedback is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1670-1670 Uniform resource identifier is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2024-2024 User account is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Offers.kif 211-211 GreetingCard 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 386-386 Multipole diagram is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. engineering.kif 1345-1345 Computer file is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. engineering.kif 1368-1368 Web document 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 11745-11745 Recording is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11770-11770 Sheet music is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12311-12311 Holiday card is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14443-14443 Sign is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14449-14449 Playing card is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21899-21899 Descriptor is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21921-21921 DescriptorPart is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23758-23758 VisualContentBearingObject is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23999-23999 Document is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1360-1360 Symbolic string is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Merge.kif 15321-15321 Text 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