No TPTP formula. May not be expressible in strict first order.	Cars.kif 1000-1011	If a physical is an instance of gas tank, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of fuel and the physical contains the entity and the third entity is an instance of engine and the other entity is an instance of transfer and the other entity originates at the physical and the other entity ends up at the third entity and the entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 992-998	If a physical is an instance of gas tank, then the physical has the purpose there exists an entity such that the entity is an instance of fuel and the physical contains the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1658-1664	If a physical is an instance of holster, then the physical has the purpose there exists an entity such that the entity is an instance of pistol and the physical contains the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4834-4840	If a physical is an instance of tool box, then the physical has the purpose there exists an entity such that the entity is an instance of hand tool and the physical contains the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12245-12250	If a self connected object is an instance of lymph gland, then there exists an object such that the object is an instance of white blood cell and the self connected object contains the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6102-6107	If an object is an instance of septum, then there exists a self connected object such that the self connected object is an instance of nasal cavity and the self connected object contains the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3331-3337	If a physical is an instance of oil pan, then the physical has the purpose there exists an entity such that the entity is an instance of oil and the physical contains the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11401-11407	If a physical is an instance of pericardial sac, then the physical has the purpose there exists an entity such that the entity is an instance of heart and the physical contains the entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1106-1111	If a self connected object is an instance of saline lock, then there exists an object such that the object is an instance of saline solution and the self connected object contains the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6845-6851	If a physical is an instance of tomb, then the physical has the purpose there exists an entity such that dead is an attribute of the entity and the physical contains the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2054-2060	If a physical is an instance of tub, then the physical has the purpose there exists an entity such that the entity is an instance of water and the physical contains the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4299-4305	If a physical is an instance of washer, then the physical has the purpose there exists an entity such that the entity is an instance of bolt and the physical contains 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 3640-3664	If a physical is an instance of airbag, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an instance of automobile and the physical is a part of the entity and the other entity is an instance of human and the entity contains the other entity and the third entity is an instance of impacting and the entity is a patient of the third entity and the fourth entity is an instance of inflating and the physical is a patient of the fourth entity and the third entity causes the fourth entity and the fourth entity hinders the class described by the fifth entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 2515-2522	If a collection is an instance of box of chocolate, then there exist a self connected object and an object such that the self connected object is an instance of box and the object is an instance of chocolate candy and the self connected object contains the object and the object is a member of the collection
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3683-3712	If a physical is an instance of seat belt, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the third entity is an instance of vehicle and the physical is a part of the third entity and the entity is an instance of human and the third entity contains the entity and the other entity is an instance of process and the other entity prevents the occurrence of the class described by the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17405-17407	If a self connected object is onboard a vehicle, then the vehicle contains the self connected 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