No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5150-5158	If an animal wears a wearable item and the wearable item is an instance of hat, then there exists an object such that the object is an instance of head and the object is a part of the animal and the wearable item meets the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5184-5192	If an animal wears a wearable item and the wearable item is an instance of shoe, then there exists an object such that the object is an instance of foot and the object is a part of the animal and the wearable item meets the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2782-2795	If flat is an attribute of a self connected object, then there exist another self connected object, a third self connected object,, , a real number,, , another real number,, , a third real number and an unit of measure such that a side of the self connected object is the other self connected object and a side of the self connected object is the third self connected object and the other self connected object meets the third self connected object and the other self connected object is not equal to the third self connected object and the unit of measure is an instance of unit of length and the height of the self connected object is the real number the unit of measure(s) and the height of the other self connected object is the other real number the unit of measure(s) and the height of the third self connected object is the third real number the unit of measure(s) and the other real number is greater than 2.0 and the real number and the third real number is greater than 2.0 and the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2803-2816	If long and thin is an attribute of a self connected object, then there exist another self connected object, a third self connected object,, , a real number,, , another real number,, , a third real number and an unit of measure such that a side of the self connected object is the other self connected object and a side of the self connected object is the third self connected object and the other self connected object meets the third self connected object and the other self connected object is not equal to the third self connected object and the unit of measure is an instance of unit of length and the length of the self connected object is the real number the unit of measure(s) and the length of the other self connected object is the other real number the unit of measure(s) and the length of the third self connected object is the third real number the unit of measure(s) and the other real number is less than 3.0 and the real number and the third real number is less than 3.0 and the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9509-9513	If an object is connected to another object, then the object meets the other object or the object and the other object overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10086-10093	If an object is equal to the surface of the hole a hole, then if another object is a superficial part of the host of the hole the hole and the hole meets the other object and a third object and the other object overlapsSpatially, then the third object and the object overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10076-10084	If an object is equal to the surface of the hole a hole, then if another object and the object overlapsSpatially, then there exists a third object such that the third object is a superficial part of the host of the hole the hole and the hole meets the third object and the other object and the third object overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 695-697	If the border of a geographic area and another geographic area is an instance of geographic area, then the geographic area meets the other geographic area
No TPTP formula. May not be expressible in strict first order.	Weather.kif 22-27	If an object is an instance of atmosphere, then there exists another object such that the other object is an instance of astronomical body and the object meets the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4508-4510	If an object is an instance of continent, then the object meets world ocean
No TPTP formula. May not be expressible in strict first order.	Geography.kif 952-957	If an object is an instance of landlocked area, then there exists another object such that the other object is an instance of land area and the object meets the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 942-950	If an object is an instance of landlocked area, then there don't exist another object and a third object such that the other object is an instance of salt water area and the other object is a part of the third object and the third object is an instance of ocean and the object meets the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 934-940	If an object is an instance of landlocked area, then there doesn't exist another object such that the other object is an instance of ocean and the object meets the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15385-15392	If an object is an instance of balcony, then there exist another object and a third object such that the other object meets the object and the third object is an instance of land area and the other object is located at the third object and the object is above to the third object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14174-14179	If an object is an instance of shore area, 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 5782-5787	If an object is an instance of delta, then there exists another object such that the other object is an instance of river mouth and the other object meets the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3698-3704	If a physical is an instance of furniture, then the physical has the purpose there exists the physicalL such that the physicalL is an instance of floor and the physical meets the physicalL
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1545-1553	If a physical is an instance of picture frame, then the physical has the purpose there exists an entity such that the physical meets the entity and the entity is an instance of painted picture or the entity is an instance of photograph
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8969-8974	If an object is an instance of fog, then there exists another object such that the other object is an instance of land area and the object meets the other object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2782-2792	If a process is an instance of Frosting, then there exist an object and another object such that the object is an instance of ice and mono crystalline is an attribute of the object and the object is a patient of the process and the other object is an instance of object and solid is an attribute of the other object and the process ends up at the other object and the process meets the other object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2843-2872	If a physical is an instance of gasket, 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 corpuscular object and the entity meets the physical and the other entity meets the physical and there don't exist a third entity, a fourth entity,, , a fifth entity and a sixth entity such that the third entity is an instance of hole and the physical is equal to the host of the hole the third entity and the fifth entity is an instance of translocation and the third entity is path along which the fifth entity occurs and the fifth entity originates at the sixth entity and the fifth entity ends up at the fourth entity and the entity contains the sixth entity and the entity doesn't contain the fourth entity and the entity meets the fourth entity and there doesn't exist the sixth entity3 such that the third entity contains the sixth entity3 and the entity doesn't contain the sixth entity3 and the other entity doesn't contain the sixth entity3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18477-18488	If a process is an instance of hanging, then there exist an object, another object and an agent such that the agent is an instance of human and the object is an instance of string and the other object is an instance of neck and the agent experiences the process and the other object is a proper part of the agent and the object is an instrument for the process and the object meets the other object holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2514-2524	If a process is an instance of icing, then there exist an object and another object such that the object is an instance of ice and poly crystalline is an attribute of the object and the object is a patient of the process and the other object is an instance of object and solid is an attribute of the other object and the process ends up at the other object and the object meets the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14194-14206	If an object is an instance of island, then there don't exist another object, a third object and a fourth object such that the other object is an instance of land area and the third object is a part of the object and the fourth object is a part of the other object and the object is not a part of the other object and the other object is not a part of the object and the third object meets the fourth object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14216-14221	If an object is an instance of island, then there exists another object such that the other object is an instance of water area and the object meets the other object
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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