No TPTP formula. May not be expressible in strict first order.	Dining.kif 70-81	If an agent is an instance of bakery, then there exist a process, an entity and another process such that the other process is an instance of baking and the entity is a result of the other process and the entity is an instance of food for human and the agent is an agent 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.	UXExperimentalTerms.kif 2293-2299	If a physical is an instance of best match sort, then the physical has the purpose there exists an entity such that the entity is an instance of search results and the entity is a result of the physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1293-1299	If an entity is an instance of brand, then there exist an agent and a process such that the process is an instance of creation and the entity is a result of the process and the agent is an agent of the process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2320-2327	If a physical is an instance of カレンダー, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of calendar and the physical is a program running of the other entity and the entity is a result of the other entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 1269-1278	If an entity is an instance of cappuccino, then there exist another entity, a third entity and a process such that the other entity is an instance of espresso and the third entity is an instance of milk foam and the process is an instance of pouring and the third entity is a patient of the process and the process ends up at the other entity and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20791-20798	If a process is an instance of carpentry, then there exist an object and another object such that the object is an instance of building and the other object is an instance of wood and the other object is a part of the object and the object is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19656-19661	If a process is an instance of chromatography, then there exists an entity such that the entity is an instance of pure substance and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 3065-3074	If a physical is an instance of churning butter, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of milk and the other entity is an instance of rotating and the entity is a patient of the other entity and the third entity is a result of the other entity and the third entity is an instance of butter
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10516-10521	If an entity is an instance of clot, then there exists the entityL such that the entityL is an instance of coagulation and the entity is a result of the entityL
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4570-4585	If a physical is an instance of colander, 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 mixture and the other entity is an instance of substance and the other entity is a part of the entity and liquid is an attribute of the other entity and the fourth entity is an instance of removing and the other entity is a patient of the fourth entity and the third entity is an instance of substance and the third entity is a part of the entity and solid is an attribute of the third entity and the third entity is a result of the fourth entity and the physical is an instrument for the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3325-3330	If a process is an instance of composing music, then there exists an entity such that the entity is an instance of musical composition and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24058-24069	If a physical is an instance of contraceptive device, then the physical has the purpose there exists an entity such that the entity is an instance of mating and the physical is a patient of the entity and there doesn't exist another entity such that the other entity is an instance of biological conception and the other entity is a result of the entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 3115-3122	If an entity is an instance of cream, then there exist the entityH and another entity such that the entityH is an instance of separating and the other entity is a patient of the entityH and the other entity is an instance of milk and cream is a result of the entityH
No TPTP formula. May not be expressible in strict first order.	Food.kif 379-387	If a physical is an instance of coffee maker, then the physical has the purpose there exist the physicalOFFEE and another entity such that the other entity is an instance of coffee making and the physical is an instrument for the other entity and the physicalOFFEE is a result of the other entity and the physicalOFFEE is an instance of coffee
No TPTP formula. May not be expressible in strict first order.	Food.kif 1034-1042	If an entity is an instance of coffee grind, then there exist a process and an object such that the process is an instance of grinding and the object is a patient of the process and the object is an instance of coffee bean and cooked is an attribute of the object and the entity is a result of 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 657-662	If a process is an instance of coffee making, then there exists an entity such that the entity is an instance of coffee and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 686-701	If a process is an instance of coffee making, then there exist another process, an object,, , another object,, , a third object,, , a fourth object and an entity such that the other process is a subprocess of the process and the other process is an instance of removing and the other process originates at the object and the object is an instance of liquid mixture and the third object is a part of the object and the third object is an instance of potable water and the other object is a part of the object and the other object is an instance of coffee grind and the fourth object is an instrument for the other process and the fourth object is an instance of filter and the entity is a result of the other process and the entity is an instance of coffee
No TPTP formula. May not be expressible in strict first order.	Food.kif 3249-3256	If a process is an instance of curdling milk, then there exist an entity and another entity such that the entity is a result of the process and the other entity is a result of the process and the entity is an instance of curd and the other entity is an instance of whey
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.	Merge.kif 12889-12894	If a process is an instance of cooking, then there exists an entity such that the entity is an instance of food for human and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16813-16818	If a process is an instance of computer programming, then there exists an entity such that the entity is an instance of computer program and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1139-1151	If an object is an instance of temperature control, then there exist another object and an entity such that the other object is an instance of electric device and the object is a part of the other object and the other object has the purpose there exist another entity and a third entity such that the third entity is an instance of region and the other entity is an instance of process and the object is an instrument for the other entity and the entity is an air temperature of the third entity is a result of the other entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4267-4272	If an entity is an instance of canyon, then there exists a process such that the process is an instance of erosion and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6020-6025	If an entity is an instance of cave, then there exists a process such that the process is an instance of erosion and the entity is a result of 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