No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13110-13115	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 26890-26899	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 1231-1239	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 17742-17749	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 17557-17562	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 1247-1264	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 1212-1224	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 1305-1316	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