No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2366-2368	If an object is an instance of ramp, then the object is capable of doing motion upward as a path
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15654-15660	If a physical is an instance of sidewalk, then the physical has the purpose there exists an entity such that the entity is an instance of walking and the physical is path along which the entity occurs
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11569-11578	If a motion is an instance of translocation, then there exist an object, an entity and another object such that the object is an instance of object and the entity is an instance of object and the other object is an instance of object and the other object is path along which the motion occurs and the motion originates at the object and the motion ends up at the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1527-1535	If a physical is an instance of tube, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transfer and the physical is path along which the entity occurs and the other entity is a patient of the entity and fluid is an attribute of the other entity
No TPTP formula. May not be expressible in strict first order.	Communications.kif 185-200	If a physical is an instance of telex, then the physical has the purpose there exist an entity, the physical2 and a third entity such that the entity is an instance of telephone system and the physical2 is an instance of telex and the third entity is an instance of messaging and the third entity originates at the physical and the third entity ends up at the physical2 or the third entity originates at the physical2 and the third entity ends up at the physical and the entity is path along which the third entity occurs
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25806-25814	If a physical is an instance of running track, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of human and the entity is an instance of running and the other entity is an agent of the entity and the physical is path along which the entity occurs
No TPTP formula. May not be expressible in strict first order.	engineering.kif 914-925	If a physical is an instance of valve, then the physical has the purpose there exist an entity, another entity and a third entity such that the third entity is an instance of transfer and the physical is path along which the third entity occurs and the entity is a patient of the third entity and fluid is an attribute of the entity and the other entity is an instance of process and the physical is an instrument for the other entity and the third entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1250-1257	If a physical is an instance of air transitway, then the physical has the purpose there exists an entity such that the entity is an instance of transportation and the physical is path along which the entity occurs and the physical is partly located in earths atmosphere
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14289-14297	If a physical is an instance of land transitway, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of translocation and the physical is path along which the entity occurs and the entity is located at the other entity and the other entity is an instance of land area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14276-14282	If a physical is an instance of transitway, then the physical has the purpose there exists an entity such that the entity is an instance of translocation and the physical is path along which the entity occurs
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3625-3631	If a physical is an instance of wire line, then the physical has the purpose there exists an entity such that the entity is an instance of radiating and the physical is path along which the entity occurs
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

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