desires - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__desires__m,s__ChineseLanguage,'(desires ?AGENT ?FORMULA) 的意思是 ?AGENT 想要实现 ?FORMULA 所表达的事态。注：这并不意味着施事体想要的东西不能成真。另外要注意的是 desires 和 wants 的区别只在于前者是一个 PropositionalAttitude，而 wants 是一个 ObjectAttitude。')	Merge.kif 2985-2987
s__documentation(s__desires__m,s__EnglishLanguage,'(desires ?AGENT ?FORMULA) means that ?AGENT wants to bring about the state of affairs expressed by ?FORMULA. Note that there is no implication that what is desired by the agent is not already true. Note too that desires is distinguished from wants only in that the former is a PropositionalAttitude, while wants is an ObjectAttitude.')	Merge.kif 2980-2984
s__domain(s__desires__m,1,s__CognitiveAgent)	Merge.kif 2978-2978	The number 1 argument of desires is an instance of cognitive agent
s__domain(s__desires__m,2,s__Formula)	Merge.kif 2979-2979	The number 2 argument of desires is an instance of formula
s__instance(s__desires__m,s__BinaryPredicate) s__instance(s__BinaryPredicate,s__SetOrClass)	Merge.kif 2975-2975	desires is an instance of binary predicate
s__instance(s__PropositionalAttitude,s__SetOrClass) s__instance(s__desires__m,s__PropositionalAttitude)	Merge.kif 2974-2974	desires is an instance of propositional attitude
s__relatedInternalConcept(s__desires__m,s__wants__m)	Merge.kif 2977-2977	desires is internally related to wants
s__subrelation(s__desires__m,s__inScopeOfInterest__m)	Merge.kif 2976-2976	desires is a subrelation of in scope of interest

appearance as argument number 2

s__disjointRelation(s__disapproves__m,s__desires__m)	Mid-level-ontology.kif 7142-7142	disapproves and desires are disjoint
s__format(s__ChineseLanguage,s__desires__m,'%1 %n{doesnt} desires %2')	chinese_format.kif 91-91
s__format(s__EnglishLanguage,s__desires__m,'%1 %n{doesnt} desire%p{s} %2')	english_format.kif 72-72
s__relatedInternalConcept(s__wants__m,s__desires__m)	Merge.kif 2953-2953	wants is internally related to desires
s__termFormat(s__ChineseLanguage,s__desires__m,'渴望')	chinese_format.kif 92-92	"渴望" is the printable form of desires in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__desires__m,'desires')	domainEnglishFormat.kif 3631-3631	"desires" is the printable form of desires in english language

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 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 1844-1856	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 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 27677-27689	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 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 334-345	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.	UXExperimentalTerms.kif 1509-1521	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 a 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 agent is an agent of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19561-19580	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 the agent is not equal to 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 3297-3311	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 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 12138-12143	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 10554-10561	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 a cognitive agent is an instance of political pressure group and the cognitive agent has 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.	ComputingBrands.kif 3278-3287	If a process is an instance of cracking and a kind of object is an instance of computer and a kind of object is a patient of the process and the maker of the kind of object is a cognitive agent, then the cognitive agent doesn't desire there exists an entity such that the entity is an agent of the process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 393-405	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 auction and the process is a patient of the entity
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 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 1259-1267	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 1172-1182	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 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 13169-13175	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 10750-10760	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 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.	UXExperimentalTerms.kif 73-80	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
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 an entity such that the entity is an instance of child-care service and the organism desires the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Law.kif 357-367	If a cognitive agent is the prosecutor in a legal action and another cognitive agent is the defendant in the legal action, then the cognitive agent desires there exists 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.	Merge.kif 2967-2972	If a cognitive agent wants a physical and the physical is an instance of object, then the cognitive agent desires the cognitive agent possesses the physical
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1454-1468	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 entity such that the other entity is an instance of buying and the entity is a patient of the other entity and the agent is an agent of the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 864-874	If user a cognitive 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 cognitive agent desires there exists an entity such that the entity is an instance of buying and the object is a patient of the entity and the cognitive agent is an agent of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17575-17581	If hungry is an attribute of a cognitive agent, then the cognitive agent desires there exists an entity such that the entity is an instance of eating and the cognitive agent is an agent of the 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: