No TPTP formula. May not be expressible in strict first order.	Food.kif 844-851	If a process is an instance of cold brew coffee, then there exists an object such that the object is an instance of potable water and the object is a resource for the process and the measure of the object is 20 celsius degree(s)
No TPTP formula. May not be expressible in strict first order.	Cars.kif 20-25	If a process is an instance of burning, then there exists an object such that the object is an instance of oxygen and the object is a resource for the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1680-1687	If an entity is an instance of charcoal, then there exist a process and an object such that the process is an instance of burning and the object is an instance of wood and the entity is a result of the process and the object is a resource for the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 675-684	If a process is an instance of coffee making, then there exist another process, an object and an entity such that the other process is a subprocess of the process and the other process is an instance of soaking and the object is a resource for the other process and the object is an instance of potable water and the entity is a patient of the other process and the entity is an instance of coffee grind
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12557-12567	If an entity is an instance of compound substance, then there exist an object, another object and a process such that the object is an instance of elemental substance and the other object is an instance of elemental substance and the object is not equal to the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19601-19611	If a process is an instance of dialysis, then there exist an object, an entity and another entity such that the object is a resource for the process and the object is an instance of solution and the entity is a result of the process and the entity is an instance of pure substance and the other entity is a result of the process and the other entity is an instance of pure substance and the entity is not equal to the other entity
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1914-1919	If a process is an instance of data saving, then there exists an object such that the object is an instance of data storage device and the object is a resource for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5452-5459	If an entity is an instance of cotton fabric, then there exist a process and an object such that the process is an instance of making and the object is a resource for the process and the object is an instance of cotton and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 3547-3554	If a process is an instance of fermentation, then there exist an object and another object such that the object is an instance of carbohydrate and the other object is an instance of microorganism and the other object is an instrument for the process and the object is a resource for the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 2569-2574	If a process is an instance of frying, then there exists an object such that the object is an instance of oil and the object is a resource for the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1112-1124	If a physical is an instance of fuel atomizer, 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 fuel and the other entity is an instance of spraying and the third entity is an instance of air and the fourth entity is an instance of burning and the third entity is a patient of the other entity and the entity is a patient of the other entity and the entity is a resource for the fourth entity and the third entity is a resource for the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20665-20672	If a process is an instance of film making, then there exist an entity and an object such that the entity is an instance of motion picture and the entity is a result of the process and the object is an instance of photographic film and the object is a resource for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20402-20409	If an entity is an instance of hay, then there exist a process and an object such that the process is an instance of making and the object is a resource for the process and the object is an instance of grass plant and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 47-55	If a physical is an instance of internal combustion engine, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of fuel and the other entity is an instance of burning and the physical is an instrument for the other entity and the entity is a resource for the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3151-3161	If a physical is an instance of ignition coil, 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 electric transmission and the entity is a resource for the third entity and the entity is an instance of electricity and the other entity is an instance of electricity and the other entity is a result of the third entity and the physical is an instrument for the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5377-5384	If an entity is an instance of leather, then there exist a process and an object such that the process is an instance of making and the object is a resource for the process and the object is an instance of skin and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9238-9243	If an object is an instance of medicine, then there exists a process such that the process is an instance of therapeutic process and the object is a resource for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10247-10254	If an entity is an instance of monoclonal antibody, then there exist an object and a process such that the process is an instance of replication and the object is an instance of white blood cell and the object is a resource for the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16068-16076	If an object is an instance of machine, then for all a process if the object is an instrument for the process, then there exist another object and an entity such that the other object is a resource for the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23614-23619	If a process is an instance of the operating of diesel engine, then there exists an object such that the object is an instance of diesel fuel and the object is a resource for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3231-3238	If an entity is an instance of oil picture, then there exist an object and the entityAINTING such that the object is an instance of oil paint and the entityAINTING is an instance of painting and the object is a resource for the entityAINTING and the entity is a result of the entityAINTING
No TPTP formula. May not be expressible in strict first order.	Food.kif 2748-2755	If an entity is an instance of pasta, then there exist an object and a process such that the object is an instance of dough and the process is an instance of cooking and the object is a resource for the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6017-6036	If a physical is an instance of planer, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an instance of cutting and the physical is an instrument for the entity and the other entity is a resource for the entity and the other entity is an instance of object and wood is made of the other entity and the third entity is a result of the entity and the third entity is an instance of object and the third entity is made of wood and flat is an attribute of the third entity and the fourth entity is an instance of unit of length and the height of the other entity is the fifth entity the fourth entity(s) and the height of the third entity is the sixth entity the fourth entity(s) and the fifth entity is greater than the sixth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3099-3106	If an entity is an instance of painted picture, then there exist an object and the objectING such that the object is an instance of paint and the objectING is an instance of painting and the object is a resource for the objectING and the entity is a result of the objectING
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2900-2905	If a process is an instance of salinifying, then there exists an object such that the object is an instance of salt and the object is a resource for 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