No TPTP formula. May not be expressible in strict first order.	Merge.kif 11359-11364	If a transfer is an instance of transfer and the object transferred in the transfer is an object and the object2 is on to the object, then the object transferred in the transfer is the object2
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4247-4257	If an object is an instance of basin and another object is an instance of land area and an unit of measure is an instance of unit of length and the object is a real number the unit of measure(s) above the ground and the other object is another real number the unit of measure(s) above the ground and the object is adjacent to the other object, then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4206-4216	If a self connected object is an instance of piedmont and mountainous terrain is an attribute of another self connected object and the self connected object is adjacent to the other self connected object and an unit of measure is an instance of unit of length and the height of the self connected object is a real number the unit of measure(s) and the height of the other self connected object is another real number the unit of measure(s), then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3999-4010	If an object is an instance of underground area and an unit of measure is an instance of unit of length and the object is a real number the unit of measure(s) above the ground and a self connected object is a surface of planet earth and another object is a part of the self connected object and the object is below to the other object and the other object is another real number the unit of measure(s) above the ground, then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4231-4241	If an object is an instance of valley and another object is an instance of land area and an unit of measure is an instance of unit of length and the object is a real number the unit of measure(s) above the ground and the other object is another real number the unit of measure(s) above the ground and the object is adjacent to the other object, then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 863-872	If an object is outside to a region and another object is an instance of the perimeter area of the region and the other object is an instance of uniform perimeter area and the width of the other object is a real number an unit of measure(s) and the distance between the object and the region is another real number the unit of measure(s) and the unit of measure is an instance of unit of measure and (the other real number and the real number) is greater than 0.0, then the object is not located at the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 852-861	If an object is outside to a region and another object is an instance of the perimeter area of the region and the other object is an instance of uniform perimeter area and the width of the other object is a real number an unit of measure(s) and the distance between the object and the region is another real number the unit of measure(s) and the unit of measure is an instance of unit of measure and (the other real number and the real number) is less than or equal to 0.0, then the object is located at the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16921-16929	If an object is a positional attribute to another object and @ROW is the opposite of and the positional attribute is a member of (@ROW) and another positional attribute is a member of (@ROW) and the positional attribute is not equal to the other positional attribute, then the object is not the other positional attribute to the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18136-18141	If an object is a positional attribute to another object and the positional attribute is an instance of positional attribute and another positional attribute is an opposite direction of the positional attribute, then the other object is the other positional attribute to the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16931-16935	If an object is right to another object and a third object is left to the other object, then the object is right to the third object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15166-15187	If a class is a subclass of tissue and another class is a subclass of tissue and an object is an instance of the class and another object is an instance of the other class and a third object is an instance of human and the object is a part of the third object and the other object is a part of the third object and the class is not equal to the other class and the class is not a subclass of the other class and the other class is not a subclass of the class and the object is adjacent to the other object, then the statement there exists an entity such that the entity is an instance of connective tissue and the entity is between the object and the other object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 954-967	If a person in an object can see a kind of physical and the object is an instance of room and another object is an instance of a kind of physical and the other object is outside to the object, then the statement there exist an entity and another entity such that the entity is an instance of human and the entity is located at the object and the other entity is an instance of seeing and the other object is a patient of the other entity and the entity is an agent of the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2728-2748	If the visibility at a region during a time interval is a real number an unit of measure(s) and the unit of measure is an instance of unit of measure and the time interval is an instance of day time and a process is an instance of looking and an object is an instance of object and the object is the color black and an agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the process is located at the region and the time of existence of the process takes place during the time interval and the object is an instance of object, then there exists another real number such that the distance between the agent and the object is the other real number the unit of measure(s) and the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2750-2771	If the visibility at a region during a time interval is a real number an unit of measure(s) and the unit of measure is an instance of unit of measure and the time interval is an instance of night time and a process is an instance of looking and an object is an instance of region and illuminated is an attribute of the object and the measure of the object is 1000.0 candela(s) and an agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the process is located at the region and the time of existence of the process takes place during the time interval and the object is an instance of object, then there exists another real number such that the distance between the agent and the object is the other real number the unit of measure(s) and the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29801-29810	If an object is downstream to another object, then there exist a transfer, a third object and a fourth object such that the transfer is an instance of transfer and liquid is an attribute of the third object and the fourth object is path along which the transfer occurs and the transfer originates at the other object and the other object before the object on path the fourth object during the transfer and the transfer ends up at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29823-29832	If an object is downwind to another object, then there exist a transfer, a third object and a fourth object such that the transfer is an instance of transfer and liquid is an attribute of the third object and the fourth object is path along which the transfer occurs and the transfer originates at the other object and the other object before the object on path the fourth object during the transfer and the transfer ends up at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29790-29799	If an object is upstream to another object, then there exist a transfer, a third object and a fourth object such that the transfer is an instance of transfer and liquid is an attribute of the third object and the fourth object is path along which the transfer occurs and the transfer originates at the object and the object before the other object on path the fourth object during the transfer and the transfer ends up at the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29812-29821	If an object is upwind to another object, then there exist a transfer, a third object and a fourth object such that the transfer is an instance of transfer and liquid is an attribute of the third object and the fourth object is path along which the transfer occurs and the transfer originates at the object and the object before the other object on path the fourth object during the transfer and the transfer ends up at the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9115-9117	If an object is inside to another object, then the other object is an instance of region
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9111-9113	If an object is outside to another object, then the other object is an instance of region
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17079-17082	If an object is above to another object, then the object is not connected to the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19237-19248	If an object is downstairs 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 below to the fourth object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17154-17156	If an object is inside 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 17132-17135	If an object is near to another object, then the object is not connected to the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17137-17139	If an object is near to another object, then the other object is near to the object
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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