No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2359-2361	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 15681-15687	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 11615-11624	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 1520-1528	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 25839-25847	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 14335-14343	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 14322-14328	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 3618-3624	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 29826-29835	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 29848-29856	If an object is downwind to another object, then there exist an entity, another entity and a third object such that the entity is an instance of wind and the third object is path along which a transfer occurs and the transfer originates at the other object and the other object before the object on path the third 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 29815-29824	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 29837-29846	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