No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18268-18273	If a process is an instance of execution, then there exists an entity such that the entity is a patient of the process and the entity is an instance of human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12163-12176	If a physical is an instance of eyelid, then the physical has the purpose there exist the physicalYE, another entity and a third entity such that the third entity is an instance of covering and the third entity is an instance of body motion and the other entity is an instance of human and the other entity experiences the third entity and the physical is an instrument for the third entity and the physicalYE is a patient of the third entity and the physicalYE is an instance of eye and the physicalYE is a part of the other entity and the physical is a part of the other entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4281-4293	If an experimenting is an instance of experimenting, then there exists an entity_USERS such that the entity_USERS is an instance of collection and for all a human if the human is an instance of human and the human is a treated used in the experimenting, then the human is a member of the entity_USERS and the treated users in the experimenting is equal to the entity_USERS
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5285-5294	If an entity is an instance of faecalibacterium prausnitzii, then the statement there exist another entity and a third entity such that the other entity is an instance of human and the third entity is an instance of GI and the third entity is a part of the other entity and the entity is located at the third entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25490-25495	If an entity is an instance of fire extinguisher, then there exists an object such that the object is an instance of human and the object is capable of doing carrying as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7480-7487	If a collection is an instance of group of animals, then for all a physical if the physical is a member of the collection, then the physical is an instance of animal and the physical is not an instance of human
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2728-2741	If a collection is an instance of global cross-functional team, then there exist a physical, the physical_LOC,, , another physical and the other physical_LOC such that the physical is an instance of human and the other physical is an instance of human and the physical_LOC is an instance of geopolitical area and the other physical_LOC is an instance of geopolitical area and the physical is a member of the collection and the other physical is a member of the collection and the physical is located at the physical_LOC and the other physical is located at the other physical_LOC and the physical_LOC is not equal to the other physical_LOC
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.	Medicine.kif 3750-3762	If a physical is an instance of Interleukin, 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 human and the other entity is an instance of Bacteria or the other entity is an instance of virus and the entity is an instance of destruction and the entity is located at the third entity and the physical is an instrument for the entity and the other entity is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4891-4911	If a physical is an instance of ivabradine, then the physical has the purpose there exist an entity, the physicalN and a third entity such that the entity is an instance of human and the third entity is an instance of pain in the chest and the entity experiences the third entity and the physicalN is an instance of ingesting and the entity is an agent of the physicalN and the time of existence of the third entity happens earlier than the time of existence of the physicalN and there doesn't exist the third entity2 such that the third entity2 is an instance of pain in the chest and the entity experiences the third entity2 and the time of existence of the physicalN happens earlier than the time of existence of the third entity2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11604-11623	If a process is an instance of kissing, then there exist an agent, another agent,, , an object and another object such that the agent is an agent of the process and the other agent is an agent of the process and 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 object is an instance of lip and the other object is an instance of lip and the object is a part of the agent and the other object is a part of the other agent and the object doesn't meet the other object holds during the beginning of the time of existence of the process and the object meets the other object holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25859-25868	If a physical is an instance of prayer mat, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of praying and the other entity is an agent of the entity and the other entity is an instance of human and the other entity is on to the physical holds during the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4369-4380	If a physical is an instance of motorcycle helmet, then the physical has the purpose there exist an entity, another entity and a third entity such that the other entity is an instance of driving and the entity is an agent of the other entity and the third entity is an instance of motorcycle and the third entity is a patient of the other entity and the entity is an instance of human and the entity wears the physical holds during the time of existence of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18448-18453	If a process is an instance of murder, then there exists an entity such that the entity is a patient of the process and the entity is an instance of human
No TPTP formula. May not be expressible in strict first order.	Biography.kif 132-143	If a physical is an instance of Ordaining, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is a patient of the physical and the entity is an instance of human and the other entity is an instance of religious organization and the entity is a member of the other entity and the third entity is a result of the physical and the third entity is an instance of religious position and the entity holds the position of the third entity in the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6768-6778	If a physical is an instance of prison, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of confining and the entity is located at the physical and the other entity is a patient of the entity and the other entity is an instance of human and the third entity is an agent of the entity and the third entity is an instance of government
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29534-29542	If a physical is an instance of portable computer, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of carrying and the other entity is an instance of human and the physical is a patient of the entity and the other entity is an agent of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3482-3509	If a physical is an instance of protective eyewear, then the physical has the purpose if there exists the physicalRSON such that the physicalRSON is an instance of human and the physicalRSON wears the physical, then there exist another entity, a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the other entity is an instance of process and the physical is an instrument for the other entity and the fourth entity is a subclass of the class described by the fifth entity and the other entity prevents the occurrence of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5324-5335	If a physical is an instance of pajamas, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of human and the entity is an agent of the other entity and the entity wears the physical holds during the other entity and the other entity is an instance of sleeping or the other entity is an instance of staying still
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6997-7004	If a physical is an instance of animal residence, then the physical has the purpose there exists an entity such that the entity is an instance of animal and the entity is not an instance of human and the entity lives in the physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5046-5057	If a physical is an instance of auto seat, 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 third entity is an instance of automobile and sitting is an attribute of the entity and the entity is located at the physical and the physical is located at the third entity holds during the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5062-5073	If a physical is an instance of boat seat, 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 third entity is an instance of water vehicle and sitting is an attribute of the entity and the entity is located at the physical and the physical is located at the third entity holds during the other entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 1584-1597	If an object is an instance of sandwich, then there exist another object, a third object and a fourth object such that the other object is an instance of bread or biscuit and the third object is an instance of bread or biscuit and the fourth object is an instance of food for human and the fourth object is between the other object and the third object and the other object is not equal to the third object and the other object is not equal to the fourth object and the third object is not equal to the fourth object and the other object is a part of the object and the third object is a part of the object and the fourth object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5017-5026	If a physical is an instance of seat, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of human and sitting is an attribute of the entity and the entity is located at the physical holds during the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23397-23404	If a process is an instance of seating, then there exist an entity and an agent such that the agent experiences the process and the agent is an instance of human and the process ends up at the entity and the entity is an instance of seat
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