No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11604-11623	If a process is an instance of kissing, then there exist an agent, another agent,, , an object and another object such that the agent is an agent of the process and the other agent is an agent of the process and the agent is an instance of human and the other agent is an instance of human and the agent is not equal to the other agent and the object is an instance of lip and the other object is an instance of lip and the object is a part of the agent and the other object is a part of the other agent and the object doesn't meet the other object holds during the beginning of the time of existence of the process and the object meets the other object holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5913-5918	If an object is an instance of shoal, then there exists another object such that the other object is an instance of water area and the object meets the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6072-6079	If an object is an instance of submerged land area, then there exists another object such that the other object is an instance of water area and the object is below to the other object and the other object is on to the object and the object meets the other object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3075-3080	If an object is an instance of lung epithelium, then there exists another object such that the other object is an instance of lung and the other object meets the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6138-6143	If an object is an instance of shoreline, then there exists another object such that the other object is an instance of water area and the other object meets the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3429-3433	If an entity is an instance of meteorite, then there exists a time position such that the entity meets planet earth holds during the time position
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4998-5004	If a physical is an instance of mud tyre, then the physical has the purpose there exists an entity such that the entity is an instance of mud and the physical meets the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4350-4357	If a physical is an instance of outboard motor, then the physical has the purpose there exists an entity such that the entity is an instance of water vehicle and the physical meets the entity and the physical is outside to the entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 856-862	If an object is an instance of river port, then there exists another object such that the other object is an instance of river and the other object is an instance of waterway and the object meets the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4791-4796	If an object is an instance of sea, then there exists another object such that the other object is an instance of land area and the other object meets the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5473-5483	If a physical is an instance of veil, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of face and the physical meets the entity or the other entity is an instance of hair and the physical meets the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4669-4680	If a physical is an instance of cargo rack, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of transfer and the third entity is a patient of the entity and the other entity is an instance of automobile and the physical is outside to the other entity and the third entity meets the physical and the physical is a part of the other entity and the other entity is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4285-4293	If a physical is an instance of washer, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of corpuscular object and the other entity is an instance of attaching device and the entity meets the physical and the physical contains the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4321-4334	If a physical is an instance of wheel chock, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of wheel and the physical meets the entity and there doesn't exist a third entity such that the third entity is an instance of rotating and the entity is a patient of the third entity holds during the other entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2002-2007	If an object is an instance of bus stop, then there exists another object such that the other object is an instance of roadway and the object meets the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3472-3481	If a physical is an instance of land vehicle, then the physical has the purpose there exist an entity and another entity such that the other entity is a surface of geographic area and the entity is an instance of transportation and the physical meets the other entity holds during the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3893-3907	If an object is an instance of pull-down bed, then there exists another object such that the other object is an instance of compartment and the other object meets the object and the other object has the purpose there exists an entity such that the entity is an instance of keeping and the object is a patient of the entity and the entity ends up at the other object and vertical is an attribute of the object holds during the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2036-2045	If a physical is an instance of rail vehicle, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of railway and the entity is an instance of transportation and the physical meets the other entity holds during the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26708-26717	If an object is an instance of tripod, then there exist another object, a third object and a fourth object such that the other object is a part of the object and the third object is a part of the object and the fourth object is a part of the object and the other object meets the third object and the third object meets the fourth object and the other object meets the fourth object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3487-3496	If a physical is an instance of water vehicle, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of water and the entity is an instance of transportation and the physical meets the other entity holds during the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5761-5766	If an object is an instance of river bank, then there exists another object such that the other object is an instance of river and the other object meets the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 776-778	If an object is an instance of the perimeter area of a region, then the object meets the region
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26009-26014	If a self connected object is surrounded to an object, then for all another self connected object if a side of the self connected object is the other self connected object, then the other self connected object meets the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4215-4217	If an object penetrates another object, then the object meets 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