No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13111-13116	If a process is an instance of sinking, then there exists an object such that the object is an instance of water area and the process is located at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26902-26911	If an object is an instance of scuba diving, then there exist another object, a third object and a process such that the other object is an instance of water area and the object is below to the other object and the third object is an instance of device and the process is an instance of breathing and the third object is an instrument for the process and the process is a subprocess of the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4783-4789	If an object is an instance of sea, then there exist another object and a third object such that the other object is an instance of ocean and the third object is an instance of water area and the third object connects the other object and the object
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1230-1238	If a physical is an instance of water ski, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of water area and the entity is an instance of transportation and the physical is an instrument for the entity and the entity is located at the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17743-17750	If a process is an instance of water transportation, then there exist an object and another object such that the object is an instance of water vehicle and the other object is an instance of water area and the object is an instrument for the process and the process is located at the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17558-17563	If a process is an instance of water wave, then there exists an object such that the object is an instance of water area and the process is located at the object
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1246-1263	If a process is an instance of water skiing, then there exist an agent, an object,, , another object,, , a third object,, , a fourth object,, , another process and a third process such that the other object is an instance of water vehicle and the fourth object is an instance of water area and the object is an instance of water ski and the process is located at the fourth object and the agent is an instance of human and the agent is located at the object and the third object connects the agent and the other object and the other process is an instance of transportation and the other object is an instrument for the other process and the third process is an instance of motion and the agent is an agent of the third process and the object is an instrument for the third process and the other process causes the third process and the third process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1211-1223	If a process is an instance of water sport, then there exists an object such that the object is an instance of water area or the object is an instance of fluid container and there exists the objectATER such that the objectATER is an instance of water and the objectATER is located at the object and the process is located at the object
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1304-1315	If a process is an instance of wind surfing, then there exist an object, another object,, , another process and a third process such that the object is an instance of wind surfing board and the other object is an instance of water area and the third process is an instance of wind and the other process is an instance of motion and the process is located at the other object and the other process is a subprocess of the process and the object is an instrument for the other process and the third process causes the other process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5693-5699	If a water area is the outfall of a river, then there exists an object such that the object is an instance of water area and the object is a flows of the river and the water area is connected 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