No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26532-26541	If a physical is an instance of grecian tub, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of soaking and the entity is an instance of human and the entity is an agent of the other entity and the entity is a patient of the other entity and the other entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1723-1725	If a collection is an instance of mini bar, then food for human is a member type of the collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 105-107	If an entity is an instance of human corpse, then the entity is an instance of a dead human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3790-3808	If an entity is an instance of king-sized bed, then the statement there exist another entity, a third entity,, , a fourth entity and a fifth entity such that the other entity is not equal to the third entity and the third entity is not equal to the fourth entity and the other entity is not equal to the fourth entity and asleep is an attribute of the other entity and asleep is an attribute of the third entity and asleep is an attribute of the fourth entity and the other entity is an instance of human and the third entity is an instance of human and the fourth entity is an instance of human and the other entity is located at the entity and the third entity is located at the entity and the fourth entity is located at the entity holds during the fifth entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Food.kif 1680-1685	If a collection is an instance of meal, then for all a physical if the physical is a member of the collection, then the physical is an instance of food for human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27035-27057	If a process is an instance of operator assisted telephone communication, then there exist an object, an entity and a physical such that the process originates at the object and the process ends up at the entity and the physical is an instance of human and the physical has the purpose there exists another entity such that the other entity is an instance of intentional process and the physical is an agent of the other entity and the other entity is a subprocess of the process and the statement there exists a third entity such that the third entity is an instance of communication and the third entity originates at the object and the third entity ends up at the entity has the modal force of possibility holds during immediately after the time of existence of the other entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 315-317	If an entity is an instance of prepared food, then the entity is an instance of food for human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3821-3834	If an entity is an instance of queen-sized bed, then the statement there exist another entity, a third entity and a fourth entity such that the other entity is not equal to the third entity and the other entity is an instance of human and the third entity is an instance of human and asleep is an attribute of the other entity and asleep is an attribute of the third entity and the other entity is located at the entity and the third entity is located at the entity holds during the fourth entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22559-22573	If a physical is an instance of restaurant building, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and the fourth entityAY such that the entity employs the other entity and the entity possesses the physical and the fourth entity is an instance of human and the fourth entityAY is an instance of financial transaction and the fourth entity is an agent of the fourth entityAY and the other entity is a patient of the fourth entityAY and the third entity allows the fourth entity to perform task of the type the other entity and the third entity is an instance of eating and the fourth entity is an agent of the third entity and the third entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7780-7788	If an object is an instance of retail store, then the object is capable of doing selling as a agent and there exist an entity and a process such that the process is an instance of selling and the process ends up at the entity and the entity is an instance of human
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3363-3381	If a physical is an instance of safety device, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the other entity is an instance of human and the entity is an instance of process and the other entity is a patient of the entity and the physical is an instrument for the entity and the entity prevents the occurrence of the class described by the third entity
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.	Transportation.kif 335-343	If a physical is an instance of subway, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transportation and the other entity is an instance of human and the other entity is a patient of the entity and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Sports.kif 857-873	If a contest is an instance of tennis, then there exist an agent and another agent such that the agent participates in the contest and the other agent participates in the contest and the agent is not equal to the other agent and the agent is an instance of human or the agent is an instance of group of people and 2 is a member count of the agent and the other agent is an instance of human or the other agent is an instance of group of people and 2 is a member count of the other agent
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1247-1264	If a process is an instance of water skiing, then there exist an agent, an object,, , another object,, , a third object,, , a fourth object,, , another process and a third process such that the other object is an instance of water vehicle and the fourth object is an instance of water area and the object is an instance of water ski and the process is located at the fourth object and the agent is an instance of human and the agent is located at the object and the third object connects the agent and the other object and the other process is an instance of transportation and the other object is an instrument for the other process and the third process is an instance of motion and the agent is an agent of the third process and the object is an instrument for the third process and the other process causes the third process and the third process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26126-26135	If a physical is an instance of wheelchair, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of human and the other entity is not capable of doing walking as a agent and the entity is an instance of transportation and the other entity is an agent of the entity and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7189-7197	If an entity is an instance of sulphur dioxide, then the statement there exist another entity and a third entity such that the other entity is an instance of damaging and the third entity is an instance of human and the entity is an instrument for the other entity and the third entity is a patient of the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 196-202	If a process is an instance of zakat, then there exists an agent such that the agent is an instance of human and the agent is an agent of the process and muslim is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9651-9664	If a kind of medicine is medicine for a disease or syndrome, then there exists the disease or syndromeOC such that the disease or syndromeOC is an instance of medical doctor and the disease or syndromeOC believes there exist an entity, another entity and a third entity such that the third entity is an instance of a kind of medicine and the entity is an instance of therapeutic process and the other entity is an instance of human and the disease or syndromeOC is a patient medical of the other entity and the third entity is a resource for the entity and the other entity is a beneficiary of the entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 3460-3464	If an object is a member of international court of justice, then the object is an instance of human and judge is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2815-2818	If a class is a subclass of potable water, then the class is a subclass of food for human
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4125-4136	If a web page is the object of study of an experimenting, then there exist an agent, another agent and a process such that the agent is a member of events in the experimenting and if the other agent is an instance of human and the process is an instance of accessing web page and the other agent is an agent of the process and the process ends up at the web page, then the agent experiences the other agent

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