No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30695-30715	If safety position is an attribute of an entity holds during a time position, then the entity has the purpose there exist another entity, a third entity,, , a fourth entity and the time position2 such that the third entity is an instance of human and the other entity is an instance of process and the third entity is a patient of the other entity and the entity is an agent of the other entity and the other entity prevents the occurrence of the class described by the fourth entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 20-39	If tourniquet is an attribute of an object holds during the objectIME, then there exist an agent, a process and a transfer such that the agent is an instance of human and the process is an instance of bleeding and the transfer is an instance of attaching and the agent experiences the process and the transfer ends up at the agent and the object transferred in the transfer is the object and the object has the purpose there doesn't exist the process2 such that the process2 is an instance of bleeding and immediately after the time of existence of the transfer overlaps the time of existence of the process2 and the agent experiences the process2
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1906-1921	If a physical is an instance of ambulance, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of human and disease or syndrome is an attribute of the entity or there exist a third entity and a fourth entity such that the third entity is an instance of injuring and the fourth entity experiences the third entity and the third entity happens before the other entity and the other entity is an instance of transportation and the physical is an instrument for the other entity and the fourth entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1033-1039	If a physical is an instance of anesthesia, then the physical has the purpose there exists an entity such that the entity is an instance of anesthetizing and the physical is a resource for the entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4853-4860	If a physical is an instance of blood thinner, then the physical has the purpose there exists an entity such that the entity is an instance of mammal and impairment in coagulation experiences the entity
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.	ComputingBrands.kif 1960-1968	If a physical is an instance of app, then the physical has the purpose there exist the physical, an entity and another entity such that the other entity is an instance of mobile cell phone and the entity is an instance of computer process and the physical is a program running of the entity and the entity is running on the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5056-5065	If a physical is an instance of apron, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of cooking and the entity is an agent of the other entity 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.	Cars.kif 845-851	If a physical is an instance of shock, then the physical has the purpose there exists an entity such that the entity is an instance of automobile and the physical is a part of the entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1347-1353	If a physical is an instance of injected antibiotic, then the physical has the purpose there exists an entity such that the entity is an instance of injecting and the object transferred in the entity is the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17832-17838	If a physical is an instance of military artifact, then the physical has the purpose there exists an entity such that the entity is an instance of military organization and the entity uses the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25529-25543	If a physical is an instance of alarm clock, 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 measuring and the physical is an agent of the other entity and the third entity is a result of the other entity and the third entity is equal to the entity and there exists a fourth entity such that the fourth entity is an instance of radiating sound and the physical is an agent of the fourth entity 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 2739-2747	If a physical is an instance of animal controller, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of guiding and the physical is an instrument for the entity and the other entity is an instance of animal and the other entity is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2015-2021	If a physical is an instance of air conditioning compressor, then the physical has the purpose there exists an entity such that the entity is an instance of cooling and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2067-2073	If a physical is an instance of air conditioning condenser, then the physical has the purpose there exists an entity such that the entity is an instance of condensing and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2059-2065	If a physical is an instance of air conditioning condenser, then the physical has the purpose there exists an entity such that the entity is an instance of cooling and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2083-2089	If a physical is an instance of air conditioning evaporator, then the physical has the purpose there exists an entity such that the entity is an instance of cooling and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2091-2097	If a physical is an instance of air conditioning evaporator, then the physical has the purpose there exists an entity such that the entity is an instance of evaporating and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25965-25974	If a physical is an instance of outlet adapter, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of electrical plug and the entity is an instance of electrical outlet and the other entity completely fills the physical and the physical completely fills the entity and the physical connects the other entity and the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13123-13128	If a physical is an instance of advertising, then there exists an entity such that the physical includes a reference to the entity and the physical has the purpose there exists another entity such that the other entity is an instance of selling and the entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1886-1894	If a physical is an instance of aerator, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of combining and the other entity is a resource for the entity and the other entity is an instance of air and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	WMD.kif 483-490	If a physical is an instance of blister agent, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of damaging and the other entity is an instance of tissue and the other entity is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 973-983	If a physical is an instance of air intake, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of air and the other entity is an instance of engine and the third entity is an instance of transfer and the third entity originates at the physical and the third entity ends up at the other entity and the entity is a patient of the third entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 965-971	If a physical is an instance of air intake, then the physical has the purpose there exists an entity such that the entity is an instance of air and the physical contains the entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3304-3310	If a physical is an instance of Airline, then the physical has the purpose there exists an entity such that the entity is an instance of Air Transportation Service and the physical provides a service during the entity
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