No TPTP formula. May not be expressible in strict first order.	Geography.kif 2954-2959	If a process is an instance of soil salination, then there exists an object such that the object is an instance of soil and the object is a resource for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23603-23608	If a process is an instance of the operating of gasoline engine, then there exists an object such that the object is an instance of gasoline and the object is a resource for the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 3339-3346	If an entity is an instance of rum, then there exist a process and an object such that the process is an instance of distilling and the object is an instance of sugar cane 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.	Medicine.kif 3479-3486	If an entity is an instance of sake, then there exist an object and a process such that the process is an instance of fermentation and the object is a resource for the process and the object is an instance of Rice and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 3368-3375	If an entity is an instance of schnapps, then there exist a process and an object such that the process is an instance of distilling and the object is an instance of fruit 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.	Mid-level-ontology.kif 5390-5399	If an entity is an instance of silk, then there exist a process, an object and another object such that the process is an instance of making and the entity is a result of the process and the object is a resource for the process and the object is a part of the other object and the other object is an instance of insect and larval is an attribute of the other object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 588-594	If a physical is an instance of wearing friction surface, then the physical has the purpose there exists an entity such that the entity is an instance of friction and the physical is a resource for the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8753-8762	If an entity is an instance of salt, then there exist a process, an object and another object such that the process is an instance of chemical synthesis and the object is a resource for the process and the object is an instance of sodium and the other object is a resource for the process and the other object is an instance of chlorine and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16070-16081	If a process is an instance of smoking, then there exist another process, an object,, , a third process and an entity such that the other process is a subprocess of the process and the other process is an instance of burning and the object is a resource for the other process and the object is an instance of cigar or cigarette and the entity is a result of the other process and the entity is a patient of the third process and the third process is an instance of breathing and the third process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26515-26524	If a process is an instance of soaking, then there exist an object and an entity such that the entity is an instance of object and the entity is a patient of the process and the object is an instance of freshwater and the object is a resource for the process and the entity is surrounded to the object holds during the process
No TPTP formula. May not be expressible in strict first order.	Dining.kif 88-99	If an agent is an instance of steakhouse, then there exist a process, an entity,, , an object and another process such that the other process is an instance of cooking and the object is an instance of beef and the object is a resource for the other process and the entity is a result of the other process and the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of selling and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 3495-3502	If an entity is an instance of tequila, then there exist a process and an object such that the process is an instance of distilling and the object is an instance of blue agave 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.	Food.kif 3595-3602	If an entity is an instance of vodka, then there exist a process and an object such that the process is an instance of distilling and the object is an instance of cereal grain 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.	Mid-level-ontology.kif 3112-3119	If an entity is an instance of watercolor picture, then there exist the entityP and a process such that the entityP is an instance of watercolor paint and the process is an instance of painting and the entityP 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.	Food.kif 3608-3615	If an entity is an instance of whiskey, then there exist a process and an object such that the process is an instance of distilling and the object is an instance of cereal grain 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.	Mid-level-ontology.kif 5404-5413	If an entity is an instance of wool, then there exist a process, an object and another object such that the process is an instance of making and the entity is a result of the process and the object is a resource for the process and the object is a part of the other object and the object is an instance of hair and the other object is an instance of sheep
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8781-8790	If an entity is an instance of water, then there exist a process, an object and another object such that the process is an instance of chemical synthesis and the object is a resource for the process and the object is an instance of hydrogen and the other object is a resource for the process and the other object is an instance of oxygen and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 2603-2610	If an entity is an instance of the juice of a kind of fruit or vegetable, then there exist an object and a process such that the object is an instance of a kind of fruit or vegetable and the process is an instance of motion 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.	Hotel.kif 1655-1668	If a physical is an instance of business center, then the physical has the purpose there exist an entity, another entity and a third entity such that business person is an attribute of the entity and the other entity is an instance of working and the third entity is an instance of object and the third entity is located at the physical and the entity is an agent of the other entity and the third entity is an instrument for the other entity or the third entity is a resource for the other entity or the third entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 862-869	If an object is an instance of French press coffee, then there exists a process such that the process is an instance of potable water and the object is a resource for the process and the measure of the process is 90 celsius degree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3562-3572	If an entity is an instance of paper, then there exist a process, an object and another process such that the process is an instance of making and the object is an instance of cellulose and the other process is an instance of compressing and the object is a resource for the process and the entity is a result of the process and the process is a subprocess of the other process and the object is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9651-9664	If a kind of medicine is medicine for a disease or syndrome, then there exists the disease or syndromeOC such that the disease or syndromeOC is an instance of medical doctor and the disease or syndromeOC believes there exist an entity, another entity and a third entity such that the third entity is an instance of a kind of medicine and the entity is an instance of therapeutic process and the other entity is an instance of human and the disease or syndromeOC is a patient medical of the other entity and the third entity is a resource for the entity and the other entity is a beneficiary of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19634-19641	If an entity the attribute chemical equilibrium, then there exist a real number, a time position,, , another real number and a third real number such that if the other real number is a resource for the entity holds during the time position and the third real number is a result of the entity holds during the time position, then the real number is equal to the other real number and the third real number

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