No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26009-26020	If a self connected object is an instance of courtyard, then there doesn't exist another self connected object such that the other self connected object is an instance of roof and the top of the self connected object is the other self connected object and there exists an object such that the object is an instance of building and the self connected object is surrounded to the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26041-26062	If a physical is an instance of earphone, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of electrical signalling and the third entity is a patient of the entity and the entity ends up at the physical and the fifth entity is an instance of process and the physical is an instrument for the fifth entity and the third entity is a patient of the fifth entity and the other entity is a result of the fifth entity and the other entity is an instance of radiating sound and the other entity originates at the physical and the beginning of the time of existence of the entity happens before the beginning of the time of existence of the fifth entity and the beginning of the time of existence of the fifth entity happens before the beginning of the time of existence of the other entity and the fourth entity is an instance of ear and the physical is adjacent to the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11690-11700	If an object is an instance of exoskeleton, then there exists another object such that the other object is an instance of animal and the object is a part of the other object and there doesn't exist a third object such that the third object is a proper part of the other object and the third object is outside to the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3958-3969	If a corpuscular object is an instance of hammock, then the corpuscular object is made of fabric and there exist an object, another object and a third object such that the object is near to the other object and the object is connected to the corpuscular object and the other object is connected to the corpuscular object and the third object is an instance of land area and the corpuscular object is located at the third object and the corpuscular object is above to the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4041-4047	If a physical is an instance of mattress, then the physical has the purpose there exists an entity such that asleep is an attribute of the entity and the entity is on to the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26627-26636	If an object is an instance of patio, then the statement paved is an attribute of the object has the modal force of likely and there exists another object such that the other object is an instance of building and the object is adjacent to the other object and the object is located at outdoors
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 328-333	If an object is an instance of subway, then there exists a self connected object such that the self connected object is a surface of geographic area and the object is below to the self connected object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4199-4204	If an object is an instance of piedmont, then there exists another object such that the other object is an instance of mountainous terrain and the object is adjacent to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3991-3997	If an object is an instance of underground area, then there exist another object and a self connected object such that the self connected object is a surface of planet earth and the other object is a part of the self connected object and the object is below to the other object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 864-866	If an object meets another object, then the object is adjacent to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6163-6165	If an object meets another object, then the object is adjacent to the other object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 910-915	If an object is near a kind of physical, then there exists another object such that the other object is an instance of a kind of physical and the object is near to the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6670-6677	If a human is a neighbor of another human, then there exist a permanent residence and another permanent residence such that the home of the other human is the permanent residence and the home of the human is the other permanent residence and the permanent residence is not equal to the other permanent residence and the permanent residence is near to the other permanent residence
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 925-930	If an object is on a kind of physical, then there exists another object such that the other object is an instance of a kind of physical and the object is on to the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19236-19247	If an object is downstairs to another object, then there exist a third object, a fourth object and a fifth object such that the third object is an instance of building level and the fourth object is an instance of building level and the fifth object is an instance of building and the third object is a part of the fifth object and the fourth object is a part of the fifth object and the object is located at the third object and the other object is located at the fourth object and the third object is below to the fourth object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17159-17161	If an object is near to another object, then the other object is near to the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17180-17183	If an object is on to another object, then the other object is not on to the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19219-19230	If an object is upstairs to another object, then there exist a third object, a fourth object and a fifth object such that the third object is an instance of building level and the fourth object is an instance of building level and the fifth object is an instance of building and the third object is a part of the fifth object and the fourth object is a part of the fifth object and the object is located at the third object and the other object is located at the fourth object and the third object is above to the fourth object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 716-718	If an object is adjacent to another object, then the other object is adjacent to the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 720-722	If an object is near to another object, then the other object is near to the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9123-9126	If an object is a part of another object, then the object is not outside to the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24818-24820	If a postal place is on a roadway, then the postal place is adjacent to the roadway
No TPTP formula. May not be expressible in strict first order.	Weather.kif 178-186	If a directional attribute is a surface wind direction of an object, then there exist a process and another object such that the process is an instance of wind and the other object is an instance of region and the process is partly located at the object and the process originates at the other object and the other object is the directional attribute 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