No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29868-29888	If an entity is an instance of invoice, then there exist a symbolic string, a cognitive agent,, , an agent,, , another entity and a third entity such that the unique identifier of the symbolic string is the entity and the cognitive agent buys the other entity from the agent and the agent allows the cognitive agent to perform task of the type there exists a fourth entity such that the beginning of the time of existence of the entity happens before the beginning of the time of existence of the fourth entity and the fourth entity is an instance of selling and the third entity is an instance of product and the object transferred in the fourth entity is the third entity and the entity includes a reference to the third entity and the agent is an agent of the fourth entity and the cognitive agent is a patient of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2999-3004	If a transfer is an instance of lubricating, then there exists an object such that the object is an instance of lubricant and the object transferred in the transfer is the object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 924-938	If a physical is an instance of needle, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of animal and the other entity is an instance of TherapeuticProcss and fluid is an attribute of the third entity and the entity is a patient of the other entity and the physical is an instrument for the other entity and the fourth entity is an instance of removing or the fourth entity is an instance of inserting and the fourth entity is a subprocess of the other entity and the object transferred in the fourth entity is the third entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4642-4651	If a process is an instance of transplant, then there exist an entity, an object and a transfer such that the entity is an instance of animal and the object is an instance of organ and the transfer is an instance of putting and the transfer is a subprocess of the process and the object transferred in the transfer is the object and the transfer ends up at the entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4816-4833	If a physical is an instance of Pedialyte, then the physical has the purpose there exist an entity, another entity,, , a third entity and the other entityR such that the entity is an instance of human child and the other entity is an instance of diarrhea and the third entity is an instance of vomiting and the entity experiences the other entity and the time of existence of the other entity happens earlier than the time of existence of the other entityR or the entity experiences the third entity and the time of existence of the third entity happens earlier than the time of existence of the other entityR and the other entityR is an instance of drinking and the entity is an agent of the other entityR and the object transferred in the other entityR is the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9255-9263	If a physical is an instance of pill, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of animal and the other entity is an instance of ingesting and the entity experiences the other entity and the object transferred in the other entity is the physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3818-3834	If a physical is an instance of positive crankcase ventilation valve, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of crankcase and the other entity is an instance of fuel and the third entity is an instance of combustion chamber and the fourth entity is an instance of transfer and the fifth entity is an instance of automobile and the entity is a part of the fifth entity and the third entity is a part of the fifth entity and the physical is a part of the fifth entity and the fourth entity originates at the entity and the fourth entity ends up at the third entity and the object transferred in the fourth entity is the other entity and the physical is path along which the fourth entity occurs
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29895-29915	If an entity is an instance of purchase order, then there exist a symbolic string, a cognitive agent,, , another cognitive agent and another entity such that the unique identifier of the symbolic string is the entity and the cognitive agent buys the other entity from the other cognitive agent and the cognitive agent obligates the other cognitive agent to perform task of the type there exists a third entity such that the beginning of the time of existence of the entity happens before the beginning of the time of existence of the third entity and the third entity is an instance of buying and the other entity is an instance of product and the object transferred in the third entity is the other entity and the entity includes a reference to the other entity and the cognitive agent is an agent of the third entity and the other cognitive agent is a patient of the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2146-2151	If a transfer is an instance of defecation, then there exists an object such that the object is an instance of feces 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 2134-2139	If a transfer is an instance of urination, then there exists an object such that the object is an instance of urine and the object transferred in the transfer is the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2965-2970	If a transfer is an instance of raining, then there exists an object such that the object is an instance of rain and the object transferred in the transfer is the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1158-1170	If a transfer is an instance of sleeting, then there exist a collection, a physical,, , another physical and a process such that the collection is an instance of collection and the object transferred in the transfer is the collection and the physical is an instance of rain drop and the other physical is an instance of snowflake and the physical is a member of the collection and the other physical is a member of the collection and the process is an instance of melting and the process is a subprocess of the transfer and the other physical is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2997-3002	If a transfer is an instance of snowing, then there exists an object such that the object is an instance of snow and the object transferred in the transfer is the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1057-1070	If an entity is an instance of raining, then there exist another entity, a third entity and a class such that the other entity is an instance of collection and the third entity is an instance of water and the third entity is an instance of liquid drop and the third entity is an instance of the class
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9507-9519	If a physical is an instance of plant root, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of transfer and the physical is an instrument for the entity and the entity originates at the third entity and the third entity is outside to the physical and the object transferred in the entity is the other entity and the other entity is an instance of freshwater or the other entity is an instance of nutrient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8406-8416	If an object is an instance of military surplus, then there exist a physical and a transfer such that the transfer is an instance of buying and the physical is a patient of the transfer and the object transferred in the transfer is the object and the physical is not an instance of military organization and the physical is not a member of military organization
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5192-5204	If a physical is an instance of supercharger, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of gas motion and the entity originates at the physical and the other entity is an instance of intake valve and the entity ends up at the other entity and the third entity is an instance of air and the object transferred in the entity is the third entity and pressurized is an attribute of the third entity holds during the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6281-6288	If a process is an instance of shrapnel explosion, then there exist an object and a transfer such that the object is an instance of metal and the transfer is an instance of translocation and the process causes the transfer and the object transferred in the transfer is the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1141-1149	If a transfer is an instance of snowing, then there exist a collection and an object such that the collection is an instance of collection and the object is an instance of ice and mono crystalline is an attribute of the object and the object is a member of the collection and the object transferred in the transfer is the collection
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1303-1308	If a transfer is an instance of sand storm, then there exists an object such that the object is an instance of sand 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 9546-9557	If a physical is an instance of plant stem, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of transfer and the physical is an instrument for the entity and the other entity is an instance of plant root and the entity originates at the other entity and the third entity is an instance of substance and fluid is an attribute of the third entity and the object transferred in the entity is the third entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3074-3081	If a physical is an instance of hailstone, then there exist a transfer and a collection such that the transfer is an instance of hailing and the collection is an instance of collection and the object transferred in the transfer is the collection and the physical is a member of the collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12375-12383	If a physical is an instance of tear substance, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of lubricating and the object transferred in the entity is the physical and the other entity is an instance of eye and the entity ends up at the other entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5990-5995	If a transfer is an instance of transfusion, then there exists an object such that the object is an instance of blood 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 12448-12457	If a transfer is an instance of topical application, then there exist an object, another object and a third object such that the object is an instance of medicine and the other object is an instance of animal and the third object is an instance of skin and the third object is a part of the other object and the object transferred in the transfer is the object and the object ends up at the third object
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