No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26080-26091	If an entity is a member of public and another entity is a member of public and the entity is not equal to the other entity holds during a time position, then there exists a third entity such that the entity desires the third entity and the other entity desires the third entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7404-7406	If a cognitive agent hopes a formula will become true, then the cognitive agent desires the formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18371-18376	If a cognitive agent inhibits a kind of process, then the cognitive agent desires there doesn't exist an entity such that the entity is an instance of a kind of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15854-15865	If a physical is an instance of art work, then the physical has the purpose there exists an entity such that the entity is an instance of human and the entity desires there exists another entity such that the other entity is an instance of perception and the entity experiences the other entity and the physical is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2596-2605	If a content bearing physical is an instance of business requirement document, then there exist a proposition, a cognitive agent and a formula such that the proposition is an instance of plan and the cognitive agent is an instance of business and the formula is an instance of process and the proposition expresses the formula and the cognitive agent desires the formula and the content bearing physical contains information the proposition
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4235-4249	If a process is an instance of phishing, then there exist a cognitive agent, another cognitive agent,, , another process and a formula such that the other process is an instance of communication and the other process originates at the cognitive agent and the cognitive agent is an agent of the process and the other process ends up at the other cognitive agent and the formula is an instance of formula and the other cognitive agent knows the formula and the other cognitive agent doesn't desire the cognitive agent knows the formula and the cognitive agent desires the cognitive agent knows the formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29710-29722	If a process is an instance of prompting, then there exist an entity and a cognitive agent such that the process ends up at the entity and the cognitive agent is an agent of the process and the cognitive agent desires there exists another entity such that the other entity is an instance of linguistic communication and the entity is an agent of the other entity and the process happens earlier than the other entity and the other entity subsumes the content of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4528-4543	If a physical is an instance of sieve, then the physical has the purpose there exist an entity, another entity,, , the physicalUB,, , a fourth entity and a fifth entity such that the entity is an instance of removing and the other entity is an instance of mixture and the physicalUB is an instance of substance and the physicalUB is a part of the other entity and the physicalUB is a patient of the entity and the fourth entity is a part of the physical and the fourth entity is an instrument for the entity and the fifth entity is an instance of human and the fifth entity is an agent of the entity and the fifth entity doesn't desire the physicalUB
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2417-2428	If a physical is an instance of the abortion of an agent by a process , then there exists a time interval such that the agent desires there exists the processR such that the processR is an instance of the process and the agent is an agent of the processR holds during the time interval and the time interval happens earlier than the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1710-1716	If a cognitive agent plays a game, then the cognitive agent desires an entity is an instance of score and the entity is a subprocess of the game and the cognitive agent is an agent of the entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1671-1675	If a cognitive agent plays a game, then the cognitive agent desires there exists an entity such that the cognitive agent has achieved the entity in the game
No TPTP formula. May not be expressible in strict first order.	Law.kif 55-58	If a cognitive agent prohibits a formula, then the cognitive agent desires the formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30890-30896	If there is a shortage of a quantity of a kind of object for a cognitive agent at a currency measure during a time interval, then the cognitive agent desires there exists an entity such that the entity is an instance of a kind of object and the cognitive agent possesses the entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 967-973	If a human is a seller at a web site, then the human desires there exists an entity such that the entity is an instance of selling and the human is an agent of the entity

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