No TPTP formula. May not be expressible in strict first order.	Merge.kif 17146-17148	If an object is on to another object, then the object is connected to the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17150-17152	If an object is on to another object, then the object is located at the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17158-17161	If an object is on to another object, then the other object is not on to the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26009-26014	If a self connected object is surrounded to an object, then for all another self connected object if a side of the self connected object is the other self connected object, then the other self connected object meets the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19220-19231	If an object is upstairs to another object, then there exist a third object, a fourth object and a fifth object such that the third object is an instance of building level and the fourth object is an instance of building level and the fifth object is an instance of building and the third object is a part of the fifth object and the fourth object is a part of the fifth object and the object is located at the third object and the other object is located at the fourth object and the third object is above to the fourth object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 716-718	If an object is adjacent to another object, then the other object is adjacent to the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 720-722	If an object is near to another object, then the other object is near to the 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