desires - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1936-1938
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2802-2806
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 565-568
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2799-2799	The number 1 argument of desires is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2800-2800	The number 2 argument of desires is an instance of formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2796-2796	desires is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2795-2795	desires is an instance of propositional attitude
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2798-2798	desires is internally related to wants
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2797-2797	desires is a subrelation of in scope of interest

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8604-8604	disapproves and desires are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 91-91	disapproves and desires are disjoint
No TPTP formula. May not be expressible in strict first order.	english_format.kif 91-91	disapproves and desires are disjoint
No TPTP formula. May not be expressible in strict first order.	french_format.kif 68-68	disapproves and desires are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 70-70	disapproves and desires are disjoint
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1894-1894	disapproves and desires are disjoint
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 20-20	disapproves and desires are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 104-104	disapproves and desires are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 98-98	disapproves and desires are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 101-101	disapproves and desires are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 111-111	disapproves and desires are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 87-87	disapproves and desires are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 67-67	disapproves and desires are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 156-156	disapproves and desires are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2775-2775	wants is internally related to desires
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19269-19269	wants is internally related to desires
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 92-92	wants is internally related to desires
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19268-19268	wants is internally related to desires
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19267-19267	wants is internally related to desires
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 28-28	wants is internally related to desires
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 157-157	wants is internally related to desires

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 336-350	If an agent provides an object and the agent is a customer of a cognitive agent and an entity is an instance of the object and the cognitive agent desires there exists another entity such that the other entity is an instance of intentional process and the entity is a patient of the other entity and the cognitive agent is an agent of the other entity, then the statement the agent allows the cognitive agent to perform task of the type the cognitive agent uses the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Law.kif 486-495	If an agent desires dead is an attribute of an entity holds during a time interval and the agentURDER is an instance of murder and the agent is an agent of the agentURDER and the entity is a patient of the agentURDER and the time interval happens earlier than the time of existence of the agentURDER, then premeditated is an attribute of the agentURDER
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1876-1888	If a process is an instance of defensive information operation and a cognitive agent is an agent of the process and the cognitive agent and another cognitive agent are enemies of each other and the other cognitive agent desires the other cognitive agent knows an entity and the cognitive agent desires the other cognitive agent doesn't know the entity, then the process has the purpose the other cognitive agent doesn't know the entity

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31426-31438	If Collectible is an attribute of an object and the object has the purpose a formula, then there exist a cognitive agent and the formula2 such that the cognitive agent is an instance of human and the cognitive agent wants the object and the cognitive agent desires the formula2 and the formula2 entails the cognitive agent possesses the object and equal the formula and the formula2
No TPTP formula. May not be expressible in strict first order.	Government.kif 1812-1816	If an election candidate for position a social role for a cognitive agent and an agent is an agent of the election, then the cognitive agent desires the cognitive agent holds the position of the social role in the agent
No TPTP formula. May not be expressible in strict first order.	Law.kif 300-311	If a cognitive agent is the defense lawyer in a legal action and another cognitive agent is the defendant in the legal action, then the cognitive agent desires there doesn't exist an entity such that the entity is an instance of legal decision and the entity includes a reference to the legal action and the other cognitive agent doesn't want the entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 734-743	If device OS a kind of object and a kind of computer and a kind of objectI is an instance of the kind of object and a kind of computerI is an instance of the kind of computer and the maker of the kind of object is a cognitive agent, then the cognitive agent desires the kind of computerI is a program running of a third entity and the third entity is running on the kind of objectI
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2198-2214	If a process is an instance of auto-immune disease and a cognitive agent experiences the process, then there exist an object, another process and another object such that the object is an instance of antibody and the object is a part of the cognitive agent and the other object is an instance of cell and the other object is a part of the cognitive agent and the other process is an instance of destruction and the object is an instrument for the other process and the cognitive agent doesn't desire the other process is an instance of destruction and the object is an instrument for the other process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1312-1324	If a process is an instance of add to cart and a cognitive agent is an instance of agent and an entity is an instance of object and the cognitive agent is an agent of the process and the entity is a patient of the process, then the cognitive agent desires there exists another entity such that the other entity is an instance of buying and the entity is a patient of the other entity and the cognitive agent is an agent of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23418-23437	If a process is an instance of blockade and a contest is an instance of contest and the process is a subprocess of the contest and an agent participates in the contest and the agent is an agent of the process, then there exist the contest1 and a cognitive agent such that the contest1 prevents the occurrence of translocation and the process is an instance of the contest1 and the cognitive agent participates in the contest and equal the agent and the cognitive agent and the cognitive agent desires there exists an entity such that the entity is an instance of the contest1 and the agent is an agent of the entity and the entity is a subprocess of the contest
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3492-3506	If a computer process is an instance of backup and a digital data is processed by the computer process and the digital data is an instance of digital data and a cognitive agent is an agent of the computer process, then the cognitive agent desires there exists an entity such that the time of existence of the computer process happens earlier than the entity and there exists another entity such that the other entity is an instance of computer process and the digital data is capable of doing the other entity as a data processed holds during the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 937-945	If a collection is an instance of club and a cognitive agent is a member of the collection and another cognitive agent is a member of the collection, then there exists a formula such that the cognitive agent desires the formula and the other cognitive agent desires the formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12362-12367	If a process is an instance of confining and a cognitive agent is a patient of the process and the cognitive agent is an instance of human, then the cognitive agent doesn't desire the cognitive agent is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14281-14288	If a process is an instance of expressing approval and a cognitive agent is an agent of the process and a formula is a patient of the process, then the cognitive agent wants the formula or the cognitive agent desires the formula
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4512-4527	If a process is an instance of failure fn a kind of intentional process and a cognitive agent is an agent of the process, then the cognitive agent desires there exists another process such that the other process is an instance of a kind of intentional process and the cognitive agent is an agent of the other process and there doesn't exist the other process such that the other process is an instance of the kind of intentional process and the time of existence of the other process takes place during the time of existence of the process and the cognitive agent is an agent of the other process
No TPTP formula. May not be expressible in strict first order.	Government.kif 2323-2330	If a cognitive agent is an instance of political pressure group and the cognitive agent has the purpose a formula and a geographic area is an agent operates in area of the cognitive agent and the geographic area is an instance of nation, then the cognitive agent desires the government of the geographic area believes the formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17834-17846	If a process is an instance of insomnia and a cognitive agent experiences the process, then there exist another process, a time duration and the time duration2 such that the other process is an instance of sleeping and the cognitive agent experiences the other process and duration of the time of existence of the other process is the time duration and the cognitive agent desires duration of the time of existence of the other process is the time duration2 and the time duration2 is greater than the time duration
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6662-6673	If a process is an instance of pruritus and the process is located at an object and the object is a part of a cognitive agent and the cognitive agent experiences the process, then the cognitive agent desires there exists an entity such that the entity is an instance of scratching and the time of existence of the entity takes place during the time of existence of the process and the entity is located at the object
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3472-3482	If a process is an instance of cracking and an entity is an instance of computer and the entity is an instance of a kind of object and the entity is a patient of the process and the maker of a kind of object is a cognitive agent, then the cognitive agent doesn't desire there exists another entity such that the other entity is an agent of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10803-10813	If a process is an instance of quitting and an entity is an instance of organization and a cognitive agent is an agent of the process and the entity is a patient of the process, then the cognitive agent desires the cognitive agent is not a member of the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 313-325	If an object is an instance of web listing and a process is an instance of object and a cognitive agent is an instance of agent and auction attribute is an attribute of the object and the object is a patient of the process and the cognitive agent created the object, then the cognitive agent desires there exists an entity such that the entity is an instance of auctioning and the process is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 2224-2230	If a collection is an instance of communist party and a cognitive agent is a member of the collection and an entity is an instance of geopolitical area, then the cognitive agent desires communist state is a government type of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 865-873	If a process is an instance of punishing and a cognitive agent is an agent of the process and an entity is a patient of the process and the process ends up at another entity, then the cognitive agent knows the other entity doesn't desire the entity
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.	Merge.kif 13354-13360	If a process is an instance of requesting and a cognitive agent is an agent of the process and a formula is a patient of the process and the formula is an instance of formula, then the cognitive agent desires the formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14479-14489	If a process is an instance of thanking and an agent is an agent of the process and an entity is a patient of the process and the process ends up at another entity, then the other entity is an instance of human and the agent wants the entity holds during the time of existence of the process or the agent desires the entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 853-858	If a process is an instance of threatening and a formula is a patient of the process and the process ends up at a cognitive agent, then the cognitive agent doesn't desire the formula
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 61-68	If a cognitive agent sells a web listing and an entity is an instance of object and the entity is a patient of the web listing, then the cognitive agent desires there exists another entity such that the entity is a patient of the other entity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: