Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1231-1239	If a corpuscular object is an instance of corpuscular object, then there exist a kind of substance and another kind of substance such that a kind of substance is a subclass of substance and another kind of substance is a subclass of substance and the corpuscular object is made of the kind of substance and the corpuscular object is made of the other kind of substance and the kind of substance is not equal to the other kind of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1226-1226	Corpuscular object is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2612-2612	Sonar is a subclass of corpuscular object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5000-5000	Bubble is a subclass of corpuscular object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5027-5027	Nest is a subclass of corpuscular object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10118-10118	Organelle is a subclass of corpuscular object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1327-1327	Content bearing object is a subclass of corpuscular object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14346-14346	Organic object is a subclass of corpuscular object
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1356-1356	Real estate is a subclass of corpuscular object

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