No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1947-1958	If suppliesBlood a kind of artery and a kind of body part and a physical is an instance of a kind of artery and an entity is an instance of a kind of body part, then the physical has the purpose there exist another entity and a third entity such that the other entity is an instance of liquid motion and the object transferred in the other entity is the third entity and the third entity is an instance of blood and the other entity ends up at the entity
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1089-1103	If a kind of vaccine is a vaccine for a kind of virus and a transfer is an instance of vaccination and an agent experiences the transfer and a kind of vaccineI is an instance of the kind of vaccine and the object transferred in the transfer is the kind of vaccineI, then the kind of vaccineI has the purpose there don't exist an entity and a kind of virusI such that the entity is an instance of infecting and the agent experiences the entity and the kind of virusI is an instance of the kind of virus and the object transferred in the entity is the kind of virusI
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5142-5148	If new is an attribute of an object, then there doesn't exist a transfer such that the transfer is an instance of buying and the object transferred in the transfer is the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5129-5134	If used is an attribute of an object, then there exists a transfer such that the transfer is an instance of buying and the object transferred in the transfer is the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9318-9330	If OTC drug is an attribute of an object, then the statement there exists an entity such that the entity is an instance of buying and the object transferred in the entity is the object and there doesn't exist another entity such that the other entity is an instance of prescription and the other entity includes a reference to the object has the modal force of legal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9296-9308	If prescription drug is an attribute of an object, then the statement there exists an entity such that the entity is an instance of buying and the object transferred in the entity is the object and there doesn't exist another entity such that the other entity is an instance of prescription and the other entity includes a reference to the object has the modal force of illegal
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.	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.	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 4345-4354	If a process is an instance of animal guiding, then there exist an agent, a transfer and another agent such that the agent is an instance of animal and the other agent is an agent of the process and the transfer is an instance of carrying and the agent is an agent of the transfer and the object transferred in the transfer is the other agent and the agent is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9697-9709	If a physical is an instance of anti-depressant, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of ingesting and the object transferred in the entity is the physical and the other entity is an agent of the physical and depressed is not an attribute of the other entity holds during after the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9717-9729	If a physical is an instance of anti-psychotic, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of ingesting and the object transferred in the entity is the physical and the other entity is an agent of the physical and psychosis is not an attribute of the other entity holds during after the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 67-78	If a transfer is an instance of applying a tourniquet, then there exist an agent, an entity and an object such that the agent is an instance of Agent and the entity is an instance of mammal and tourniquet is an attribute of the object holds during the time of existence of the transfer and the transfer ends up at the entity and the agent is an agent of the transfer and the object transferred in the transfer is the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24010-24017	If a transfer is an instance of birth, then there exist an object and the transferABY such that female is an attribute of the object and the transfer originates at the object and the object transferred in the transfer is the transferABY and non fully formed is an attribute of the transferABY
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1353-1373	If a process is an instance of breaking wave, then there exist another process, an object,, , an entity and a transfer such that the other process is an instance of water wave and the process is a subprocess of the other process and the object is an instance of body of water and the entity is an instance of body of water and the entity is a patient of the other process and the object is a patient of the process and the transfer is an instance of falling and the object transferred in the transfer is the object and the object is a part of the entity holds during the beginning of the time of existence of the transfer and the object is not a part of the entity holds during the end of the time of existence of the transfer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 570-577	If a transfer is an instance of catheterization, then there exist the transferATH and an entity such that the transferATH is an instance of cannula and the entity is an instance of organism and the object transferred in the transfer is the transferATH and the transfer ends up at the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18311-18320	If a transfer is an instance of defrauding, then there exist an agent, another agent and an object such that the agent is an agent of the transfer and the other agent suffers from the transfer and the agent is a beneficiary of the transfer and the object transferred in the transfer is the object and the object originates at the other agent and the object ends up at the agent
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2803-2815	If a transfer is an instance of drizzling, then there exist a collection, a self connected object and a real number such that the collection is an instance of collection and the self connected object is an instance of water and the self connected object is an instance of liquid drop and the self connected object is a member of the collection and the object transferred in the transfer is the collection and the approximate diameter of the self connected object is the real number millimeter(s) and the statement the real number is less than or equal to 0.5 has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2390-2395	If a transfer is an instance of electric transmission, then there exists an object such that the object is an instance of electricity and the object transferred in the transfer is the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2665-2673	If a physical is an instance of exhaust valve, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of transfer and the object transferred in the other entity is the entity and the physical is path along which the other entity occurs and the entity is an instance of exhaust
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3020-3028	If a physical is an instance of grease fitting, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of grease and the entity is an instance of putting and the physical is path along which the entity occurs and the object transferred in the entity is the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3036-3044	If a physical is an instance of grease gun, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of grease and the entity is an instance of putting and the physical is an instrument for the entity and the object transferred in the entity is the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4476-4478	If an object is an instance of hand tool, then the object is capable of doing carrying as a object transferred
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3409-3417	If a physical is an instance of i-tunes, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of multimedia file and the other entity is an instance of downloading and the object transferred in the other entity is the entity and the physical is an instrument for the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12397-12406	If a physical is an instance of inflammation, then there exist a transfer and an object such that the transfer is an instance of translocation and the object is an instance of white blood cell and the object transferred in the transfer is the object and the transfer ends up at the place where the physical was at the time of existence of the physical
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