No TPTP formula. May not be expressible in strict first order.	Geography.kif 5232-5237	If an object is an instance of inlet, then there exists another object such that the other object is an instance of water area and the object is connected to the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14476-14482	If an object is an instance of label, then there exists another object such that the other object is an instance of self connected object and the object is connected to the other object and the object includes a reference to the other object
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 831-836	If an object is an instance of network adapter, then there exists another object such that the other object is an instance of computer network and the object is connected to the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12874-12879	If an object is an instance of neck, then there exists another object such that the other object is an instance of head and the object is connected to the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11316-11324	If an object is an instance of nose, then there exist another object and a third object such that the other object is an instance of nostril and the third object is an instance of nostril and the other object is not equal to the third object and the other object is connected to the object and the third object is connected to the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15643-15648	If an object is an instance of veranda, then there exists another object such that the other object is an instance of building and the object is connected to the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26335-26341	If a corpuscular object is an instance of sail, then there exists an object such that the corpuscular object is made of fabric and the object is an instance of mast and the corpuscular object is connected to the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2037-2046	If an object is an instance of shower, then there exist another object and a third object such that the other object is an instance of wall or the other object is an instance of ceiling and the object is connected to the other object and the third object is an instance of floor and the object is above to the third object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1113-1119	If a physical is an instance of saline lock, then the physical has the purpose there exists an entity such that the entity is an instance of IV Line and the physical is connected to the entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5524-5531	If an object is an instance of river system, then there exist another object and a third object such that the other object is an instance of river and the other object is a part of the object and the third object is an instance of static water area and the other object is connected to the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11739-11744	If an object is an instance of trachea, then there exists the objectH such that the objectH is an instance of throat and the objectH is connected to the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11726-11731	If an object is an instance of throat, then there exists another object such that the other object is an instance of mouth and the object is connected to the other object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1831-1839	If an object is an instance of tractor trailer, then there exist another object and a third object such that the other object is an instance of truck tractor and the third object is an instance of truck trailer and the other object is a part of the object and the third object is a part of the object and the other object is connected to the third object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5187-5193	If an object is an instance of estuary, then there exists another object such that the other object is an instance of salt water area and the other object is a part of world ocean and the other object is connected to the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21838-21846	If a process is an instance of car bombing, then there exist an object and another object such that the object is an instance of bomb and the other object is an instance of transportation device and the other object is an instrument for the process and the object is an instrument for the process and the other object is connected to the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1016-1034	If a physical is an instance of fuel cap lock, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of gas tank and the other entity is a hole in the entity and the physical is connected to the other entity and locked is an attribute of the physical holds during the third entity decreases likelihood of there exist a fourth entity and a fifth entity such that the fourth entity is an instance of stealing and the fifth entity is an instance of fuel and the fifth entity is located at the entity and the fifth entity is a patient of the fourth entity holds during the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26470-26481	If an object is an instance of grab bar, then there exists another object such that the other object is an instance of wall and the object is connected to the other object and the object has the purpose there exists an entity such that the entity is an instance of grabbing and the object is an instrument for the entity
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 26217-26231	If a physical is an instance of multimedia projector, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of radiating light and the physical is an instrument for the entity and the third entity is a patient of the entity and the third entity is an instance of video recording or the third entity is an instance of image and the entity ends up at the other entity and the other entity is an instance of artifact and flat is an attribute of the other entity and the physical is not connected to the other entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 1336-1350	If a physical is an instance of tape recorder, then the physical has the purpose there exist an entity, another entity and a third entity such that the third entity is an instance of intentional process and the physical is an instrument for the third entity and the entity is a result of the third entity and the entity is an instance of audio recording and the other entity is an instance of recording tape and the other entity is connected to the physical holds during the third entity and the beginning of the time of existence of the third entity happens before the beginning of the time of existence of the entity is a part of the other entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17101-17104	If an object is above to another object, then the object is not connected to the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17154-17157	If an object is near to another object, then the object is not connected to the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17168-17170	If an object is on to another object, then the object is connected to the other object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2727-2737	If a transit system is a path in system of a transitway, then the transit system is a route in system of the transitway or there exist another transitway and a third transitway such that the transit system is a route in system of the other transitway and the transit system is a route in system of the third transitway and the other transitway is a part of the transitway and the third transitway is a part of the transitway and the other transitway is connected to the third transitway
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17916-17925	If the relative angle between an object and another object is a real number, then the object is an instance of object and long and thin is an attribute of the object and the other object is an instance of object and long and thin is an attribute of the other object and the object is connected to the other object and the object is not equal to 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