No TPTP formula. May not be expressible in strict first order.	Music.kif 1084-1092	If a cognitive agent entered an entity in a contest, then there exist a process and another process such that the process is an instance of intentional process and the cognitive agent is an agent of the process and the entity is a result of the process and the other process is an instance of judging and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Dining.kif 883-896	If an agent entered an object in a contest, then the agent participates in the contest and there exist a process, another agent,, , another process and an entity such that the process is an instance of making and the object is a result of the process and the agent is an agent of the process and the other process is an instance of judging and the other agent is an agent of the other process and the object is a patient of the other process and the other agent believes the object is the entity is a result of the other process and the other process is a subprocess of the contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20823-20836	If a cognitive agent has a contract to build a stationary artifact, then there exist an agreement and another cognitive agent such that the agreement the attribute contract and the agreement is a party to agreement of the other cognitive agent and the agreement is a party to agreement of the cognitive agent and the other cognitive agent obligates the cognitive agent to perform task of the type there exist an entity and the stationary artifact2 such that the entity is an instance of constructing and the cognitive agent is an agent of the entity and the stationary artifact2 is a result of the entity and the stationary artifact2 is an instance of stationary artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13718-13724	If an agent created an entity, then there exists a process such that the process is an instance of creation 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.	Mid-level-ontology.kif 20724-20732	If a human directed a motion picture, then there exist a process and an agent such that the process is an instance of film making and the agent is an instance of organization and the human is a leader of the agent and the agent is an agent of the process and the motion picture is a result of the process
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1209-1215	If an agent engineers an artifact, then there exists a process such that the process is an instance of engineers process and the agent is an agent of the process and the artifact is a result of the process
No TPTP formula. May not be expressible in strict first order.	Music.kif 889-898	If a music recording is equal to the remix of another music recording by a cognitive agent, then there exists a process such that the process is an instance of intentional process and the other music recording is a patient of the process and the cognitive agent is an agent of the process and the music recording is a result of the process and the music recording is not equal to the other music recording and the music recording is not a copy of the other music recording
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2702-2707	If the final report for an experimenting is a content bearing physical, then there exists a proposition such that the proposition is a result of the experimenting and the content bearing physical contains information the proposition
No TPTP formula. May not be expressible in strict first order.	Dining.kif 689-695	If an agent fulfills a reservation, then there exists a process such that the process is an instance of reserving and the process ends up at the agent and the reservation is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21183-21192	If architecture has an expertise in a human, then there exist a process, an entity and another entity such that the process is an instance of content development and the human is an agent of the process and the entity is a result of the process and the entity is an instance of blueprint and the entity expresses the other entity and the other entity is an instance of building
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1216-1224	If a kind of substance is an ingredient in a class, then there exist a process, an entity and another entity such that the process is an instance of process and the entity is an instance of a kind of substance and the entity is a patient of the process and the other entity is an instance of the class and the other entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 1660-1669	If a physical quantity of a kind of self connected object is used in another kind of self connected object, then there exist a process, a physical and an entity such that the physical is an instance of a kind of self connected object and the measure of the physical is the physical quantity and the entity is an instance of another kind of self connected object and the process is an instance of process and the physical is a patient of the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 1310-1320	If an entity is an instance of americano, then there exist a process, a physical and another entity such that the process is an instance of pouring and the physical is a patient of the process and the physical is an instance of potable water and the measure of the physical is 90 celsius degree(s) and the process ends up at the other entity and the other entity is an instance of espresso and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14523-14533	If an entity is an instance of announcement, then there exist a process and a physical such that the process is an instance of content development and the entity is a result of the process and the entity includes a reference to the physical and the physical is an instance of social interaction and the time of existence of the process happens earlier than the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25530-25544	If a physical is an instance of alarm clock, then the physical has the purpose there exist an entity, another entity and a third entity such that the other entity is an instance of measuring and the physical is an agent of the other entity and the third entity is a result of the other entity and the third entity is equal to the entity and there exists a fourth entity such that the fourth entity is an instance of radiating sound and the physical is an agent of the fourth entity holds during the time of existence of the other entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 1017-1022	If a process is an instance of fax, then there exists an entity such that the entity is an instance of fax message and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12790-12793	If a process is an instance of creation, then there exists an entity such that the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 464-473	If an object is an instance of chemical agent, then there don't exist another object, a process and a third object such that the other object is an instance of organism and the process is an instance of biological process and the other object is an instrument for the process and the third object is a result of the process and the third object is a copy of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15685-15690	If an entity is an instance of artifact, then there exists a process such that the process is an instance of making and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12834-12839	If an entity is an instance of stationary artifact, then there exists a process such that the process is an instance of constructing and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4504-4509	If an entity is an instance of basket, then there exists a process such that the process is an instance of wickering and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 3638-3645	If an entity is an instance of brandy, then there exist a process and an object such that the process is an instance of distilling and the object is an instance of wine 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 1566-1573	If an entity is an instance of bread or biscuit, then there exist an object and the entityAKE such that the object is an instance of dough and the entityAKE is an instance of baking and the object is a resource for the entityAKE and the entity is a result of the entityAKE
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6031-6040	If an entity is an instance of burrow, then there exist a process and an agent such that the process is an instance of process and the agent is an agent of the process and the agent is an instance of animal and the agent is not an instance of human and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 3101-3106	If an entity is an instance of butter, then there exists a process such that the process is an instance of churning butter 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