No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1184-1194	If a process is an instance of psychological operation and an agent is an agent of the process and an entity is a patient of the process, then the process has the purpose there exist another entity and a third entity such that the entity is an agent of the other entity and the third entity is a result of the other entity and the agent desires the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26299-26315	If an object is an instance of photocopier and the object is an instrument for a process and the process is an instance of photocopying and a content bearing physical is a patient of the process and the content bearing physical is an instance of two dimensional object and the content bearing physical is an instance of visual content bearing object and the content bearing physical contains information a proposition, then there exist another content bearing physical and another object such that the other content bearing physical is a result of the process and the other content bearing physical is an instance of two dimensional object and the other content bearing physical is an instance of visual content bearing object and the other content bearing physical contains information the proposition and the other content bearing physical is located at the other object and the other object is an instance of printed sheet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26973-26999	If a physical is an instance of surveillance system and the physical is a member of a collection and the physical is a member of another collection and the collection is located at an object and the collection is an instance of camera and the other collection is located at another object and the object is not equal to the other object and the other collection is an instance of video display, 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 process and the entity is located at the object and the other entity expresses the entity and camera is an instrument for the fourth entity and the other entity is a result of the fourth entity and the third entity is an instance of radiating light and the other collection is an instrument for the third entity and the other entity is a patient of the third entity and the beginning of the entity happens before the beginning of the fourth entity and the beginning of the fourth entity happens before the beginning of the third entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1806-1811	If a measuring result list is the result of a measuring list and a process is equal to an entity element of the measuring list and another entity is equal to the entity element of the measuring result list, then the other entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12211-12220	If a kind of natural substance is a secretes substance of a kind of organic object and an object is an instance of a kind of organic object, then there exist a process and an entity such that the process is an instance of biological process and the process is located at the object and the entity is a result of the process and the entity is an instance of a kind of natural substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14789-14798	If a class is a subclass of newspaper and a time position is an instance of week, then there exist a process and an entity such that the process is an instance of publication and the time of existence of the process is a part of the time position and the entity is a result of the process and the entity is an instance of the class
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3062-3075	If an agent believes another agent is an attribute and the attribute is an instance of food rating and the other agent is an instance of agent, then there exist an entity, a process and another process such that the process is an instance of cooking and the other agent is an agent of the process and the entity is a result of the process and the other process is an instance of classifying and the agent is an agent of the other process and the other process ends up at the entity and the attribute is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Food.kif 70-75	If cured is an attribute of an object, then there exists a process such that the process is an instance of curing food and the object is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 114-119	If hulled is an attribute of an object, then there exists a process such that the process is an instance of dry roasting and the object is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 160-165	If HulledAttribute is an attribute of an object, then there exists a process such that the process is an instance of hulling and the object is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 37-44	If cooked is an attribute of an object, then there exist a process and another process such that the process is an instance of cooking and the other process is an instance of heating and the other process is a subprocess of the process and the object is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 211-216	If fermented is an attribute of an object, then there exists a process such that the process is an instance of fermentation and the object is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 55-61	If raw food is an attribute of an object, then there doesn't exist a process such that the process is an instance of heating and the object is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20867-20874	If potter is an attribute of an agent, then there exist a process and an entity such that the entity is an instance of pottery and the process is an instance of making and the agent is an agent of the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1088-1094	If theme room is an attribute of an object, then there exist a process and an entity such that the process is an instance of designing and the entity is a result of the process and the object expresses the entity
No TPTP formula. May not be expressible in strict first order.	Biography.kif 436-465	If aeronautical engineer is an attribute of an agent, then there exists a kind of process such that the agent has the skill to do a kind of process and for all another process if the other process is an instance of the kind of process, then there exist a third process, an entity and the other processT such that the third process is an instance of making and the entity is an instance of aircraft or the entity is an instance of the other processT and a the other processT is typically a part of a aircraft and the entity is a result of the third process and the other process is a subprocess of the third process or there exist a fourth process, the other processLAN,, , the entity and the other processT such that the fourth process is an instance of designing and the entity is an instance of aircraft or the entity is an instance of the other processT and a the other processT is typically a part of a aircraft and the other processLAN is a result of the fourth process and the other processLAN expresses the entity and the other process is a subprocess of the fourth process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20041-20050	If fodder is an attribute of an object, then the object has the purpose there exists an entity such that the entity is an instance of harvesting and the object is a result of the entity and the object is an instance of organic object and the object is an instance of food for domestic animal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4809-4818	If forage crop is an attribute of an object, then the object has the purpose there exists an entity such that the entity is an instance of agriculture and the object is a result of the entity and the object is an instance of plant and the object is an instance of food for domestic animal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5747-5767	If mean of production is an attribute of an object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of making and the object is an involved in event of the entity and the object is not a result of the entity and the other entity is an instance of artifact and the other entity is a result of the entity and the other entity has the purpose there exists a third entity such that the third entity is an instance of selling and the other entity is a patient of the third entity or there exists a fourth entity such that the fourth entity is an instance of commercial service and the object is an involved in event of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2336-2346	If tour arrangement and reservation services is an attribute of an object, then the object has the purpose there exist an entity and another entity such that the other entity is an instance of tour reservation and the entity is an instance of intentional process and the object is an agent of the entity and the other entity is a result of the entity or the other entity is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 10451-10461	If travel arrangement and reservation services is an attribute of an object, then the object has the purpose there exist an entity and another entity such that the other entity is an instance of travel reservation and the entity is an instance of intentional process and the object is an agent of the entity and the other entity is a result of the entity or the other entity is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Biography.kif 717-726	If writer is an attribute of an agent, then there exist an entity and a process such that the process is an instance of writing and the entity is an instance of text or the entity is an instance of document and the agent is an agent of the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15466-15472	If an agent is the author of a kind of content bearing object, then there exist a process and an entity such that the agent is an agent of the process and the entity is an instance of a kind of content bearing object and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Music.kif 148-154	If a cognitive agent composed a musical composition, then there exists a process such that the process is an instance of creation and the cognitive agent is an agent of the process and the musical composition is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20808-20814	If a stationary artifact was built during a time interval, then there exists an entity such that the entity is an instance of constructing and the stationary artifact is a result of the entity holds during the time interval
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