No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3317-3332	If a physical is an instance of anti-seizure, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of human and the other entity is an instance of ingesting and the object transferred in the other entity is the physical and the entity is an agent of the other entity and the time of existence of the other entity happens earlier than the third entity and there doesn't exist a fourth entity such that the fourth entity is an instance of epileptic seizure and the entity experiences the fourth entity holds during the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2420-2425	If an entity is an instance of human doll, then there exists another entity such that the other entity is an instance of human and the entity expresses the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20022-20029	If an entity is an instance of domestic animal, then there exist a process and an agent such that the process is an instance of keeping and the agent is an agent of the process and the agent is an instance of human and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15844-15852	If a physical is an instance of art work, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of human and the other entity is an instance of perception and the entity experiences the other entity and the physical is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15854-15865	If a physical is an instance of art work, then the physical has the purpose there exists an entity such that the entity is an instance of human and the entity desires there exists another entity such that the other entity is an instance of perception and the entity experiences the other entity and the physical is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14898-14903	If an entity is an instance of biography, then there exists another entity such that the other entity is an instance of human and the entity includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6031-6040	If an entity is an instance of burrow, then there exist a process and an agent such that the process is an instance of process and the agent is an agent of the process and the agent is an instance of animal and the agent is not an instance of human and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5659-5666	If a self connected object is an instance of back, then there exist an object and another self connected object such that the object is an instance of human and the other self connected object is an instance of torso and the other self connected object is a part of the object and the self connected object is equal to the back of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Dining.kif 70-81	If an agent is an instance of bakery, then there exist a process, an entity and another process such that the other process is an instance of baking and the entity is a result of the other process and the entity is an instance of food for human and the agent is an agent of the other process and the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of selling and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8873-8881	If a physical is an instance of bathing device, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of bathing and the physical is an instrument for the entity and the other entity is a patient of the entity and the other entity is an instance of human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5435-5444	If a physical is an instance of blanket, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of heating and the other entity is a patient of the entity and the other entity is an instance of human and the other entity is located at the third entity and the third entity is an instance of bed
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15743-15753	If an object is an instance of building, then there exists an organism such that the organism is an instance of human and the organism lives in the object or there exists a process such that the organism is an agent of the process and the process is located at the object
No TPTP formula. May not be expressible in strict first order.	Government.kif 1375-1390	If a process is an instance of coronation, then there exist an entity and another entity such that the entity is an instance of human and the entity is a patient of the process and the other entity is an instance of geopolitical area and the other entity doesn't chief of state monarch for the entity holds during the beginning of the time of existence of the process and the other entity chief of state monarch for the entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7216-7224	If an object is an instance of partnership, then there exist an agent and another agent such that the agent is an instance of human and the other agent is an instance of human and the agent is not equal to the other agent and the agent possesses the object and the other agent possesses the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7308-7318	If an object is an instance of proprietorship, then there exists an agent such that the agent is an instance of human and the agent possesses the object and there doesn't exist the agent2 such that the agent is not equal to the agent2 and the agent2 possesses the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7281-7291	If an agent is an instance of restaurant, then there exist a process, an entity and an object such that the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of selling and the object is an instance of restaurant building and the process is located at the object and the entity is a patient of the process and the entity is an instance of food for human
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2127-2137	If an object is an instance of passenger railcar, then there exists the objectRY such that the object is capable of doing the class described by the objectRY as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3733-3748	If a physical is an instance of chair, then the physical has the purpose there don't exist an entity and another entity such that the entity is an instance of human and the other entity is an instance of human and sitting is an attribute of the entity and sitting is an attribute of the other entity and the entity is located at the physical and the other entity is located at the physical holds during a third entity and the entity is not equal to the other entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2174-2179	If a process is an instance of self-service check-in, then there exists an agent such that the agent is an agent of the process and the agent is not an instance of human
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2211-2216	If a process is an instance of self-service check-out, then there exists an agent such that the agent is an agent of the process and the agent is not an instance of human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12867-12872	If a process is an instance of cooking, then there exists an entity such that the entity is an instance of food for human and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 599-607	If a physical is an instance of cardio-pulmonary resuscitation, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of human and the other entity is an instance of heart beat and the other entity is located at the entity and the physical causes the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10010-10023	If a physical is an instance of diuretic, then the physical has the purpose there exist an entity, another entity,, , a third entity and the other entityOC such that the third entity is an instance of human and the entity is an instance of removing and the other entity is an instance of liquid and the third entity experiences the entity and the other entity moves during the entity and the other entity originates at the third entity and the third entity doesn't contain the other entityOC and the entity ends up at the other entityOC
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1046-1059	If an entity is an instance of vaccinatable disease, then there exist another entity, a third entity and a process such that the other entity is an instance of vaccine and the process is an instance of putting and the process ends up at the third entity and the third entity is an instance of human and the statement the entity is not an attribute of the third entity holds during after the time of existence of the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11640-11648	If a process is an instance of embracing, then there exist an agent and another agent such that the agent is an instance of human and the other agent is an instance of human and the agent is not equal to the other agent and the agent is an agent of the process and the other agent is an agent of the process
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