No TPTP formula. May not be expressible in strict first order.	Merge.kif 17168-17170	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 17172-17174	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 17180-17183	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 25997-26002	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 19219-19230	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