desires - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2962-2964
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2957-2961
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2955-2955	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 2956-2956	The number 2 argument of desires is an instance of formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2952-2952	desires is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2951-2951	desires is an instance of propositional attitude
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2954-2954	desires is internally related to wants
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2953-2953	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 7138-7138	disapproves and desires are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 91-91
No TPTP formula. May not be expressible in strict first order.	english_format.kif 72-72
No TPTP formula. May not be expressible in strict first order.	french_format.kif 68-68
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 70-70
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 20-20
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 18-18
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 104-104
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 98-98
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 101-101
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 111-111
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 156-156
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2930-2930	wants is internally related to desires
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 92-92	"渴望" is the printable form of desires in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3631-3631	"desires" is the printable form of desires in english language
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 468-468	"«يَرْغَب فِي»" is the printable form of desires in ar
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 157-157	"gusto" is the printable form of desires in tg

antecedent

No TPTP formula. May not be expressible in strict first order.	Law.kif 520-529	If an agent desires dead is an attribute of an object holds during a time interval and the agentURDER is an instance of murder and the agent is an agent of the agentURDER and the object 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 1844-1856	If a process is an instance of defensive information operation and an agent is an agent of the process and the agent and a cognitive agent are enemies of each other and the cognitive agent desires the cognitive agent knows a formula and the agent desires the cognitive agent doesn't know the formula, then the process has purpose the cognitive agent doesn't know the formula

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27236-27248	If Collectible is an attribute of an object and the object has purpose a formula, then there exists a cognitive agent 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 the formula is not equal to the formula2
No TPTP formula. May not be expressible in strict first order.	Government.kif 1810-1814	If an election candidate for position a position for a human and an organization is an agent of the election, then the human desires the human holds the position of the position in the organization
No TPTP formula. May not be expressible in strict first order.	Law.kif 334-345	If an entity is the defense lawyer in a legal action and a cognitive agent is the defendant in the legal action, then the entity desires there doesn't exist a physical such that the physical is an instance of legal decision and the physical includes a reference to the legal action and the cognitive agent doesn't want the physical
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1510-1522	If a process is an instance of add to cart and an agent is an instance of agent and an entity is an instance of object and the agent is an agent of the process and the entity is a patient of the process, then another entity desires there exists another process such that the other process is an instance of buying and the entity is a patient of the other process and the agent is an agent of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19142-19161	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 another agent such that the contest1 prevents the occurrence of translocation and the process is an instance of the contest1 and the other agent participates in the contest and the agent is not equal to the other agent and the other agent desires there exists a third process such that the third process is an instance of the contest1 and the agent is an agent of the third process and the third process is a subprocess of the contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1333-1341	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 12001-12006	If a process is an instance of confining and an entity is a patient of the process and the entity is an instance of human, then the entity doesn't desire the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10542-10549	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.	Government.kif 2309-2316	If an agent is an instance of political pressure group and the agent has purpose a formula and a geopolitical area is an agent operates in area of the agent and the geopolitical area is an instance of nation, then the agent desires the government of the geopolitical area believes the formula
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 394-406	If an object is an instance of web listing and a process is an instance of object and an 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 agent created the object, then the agent desires there exists another process such that the other process is an instance of auction and the process is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Government.kif 2223-2228	If a collection is an instance of communist party and an object is a member of the collection and an agent is an instance of geopolitical area, then the object desires communist state is a government type of the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1259-1267	If a process is an instance of punishing and an agent is an agent of the process and a formula is a patient of the process and the process ends up at a cognitive agent, then the agent knows the cognitive agent doesn't desire the formula
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1172-1182	If a process is an instance of psychological operation and a cognitive agent is an agent of the process and an agent is a patient of the process, then the process has purpose there exist another process and a formula such that the agent is an agent of the other process and the formula is a result of the other process and the cognitive agent desires the formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13032-13038	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 10738-10748	If a process is an instance of thanking and a cognitive agent is an agent of the process and a formula is a patient of the process and the process ends up at an entity, then the entity is an instance of human and the cognitive agent wants the formula holds during the time of existence of the process or the cognitive agent desires the formula holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1246-1252	If a process is an instance of threatening and an agent is an agent of the process 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.	TravelPolicies.kif 499-505	If a process is an instance of an employee must request permission to go in a BusinessTrip 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.	UXExperimentalTerms.kif 73-80	If an 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 agent desires there exists a process such that the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1834-1844	If an organism is a parent of another organism and the other organism is an instance of human child or the other organism is an instance of human baby, then the statement there exists a formula such that the formula is an instance of child-care service and the organism desires the formula has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Law.kif 357-367	If an entity is the prosecutor in a legal action and a cognitive agent is the defendant in the legal action, then the entity desires there exists a physical such that the physical is an instance of legal decision and the physical includes a reference to the legal action and the cognitive agent doesn't want the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2944-2949	If a cognitive agent wants an object and the object is an instance of object, then the cognitive agent desires the cognitive agent possesses the object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1455-1469	If user an agent on a WebSite is watching a collection and a process is an instance of web listing and an entity is an instance of object and the entity is a patient of the process and the process is a member of the collection, then the statement the agent desires there exists another process such that the other process is an instance of buying and the entity is a patient of the other process and the agent is an agent of the other process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 865-875	If user an agent at a WebSite has cart a collection and an object is an instance of object and the object is a member of the collection, then the agent desires there exists a process such that the process is an instance of buying and the object is a patient of the process and the agent is an agent of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17216-17222	If hungry is an attribute of an agent, then the agent desires there exists a process such that the process is an instance of eating and the agent is an agent of the process
No TPTP formula. May not be expressible in strict first order.	emotion.kif 784-790	If pleasure is an attribute of a cognitive agent, then there exists a formula such that schadenfreude is an attribute of the cognitive agent is a causes proposition of the formula and the cognitive agent desires the formula

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: