wants - Sigma Knowledge base Browser

appearance as argument number 1

(documentation wants ChineseLanguage "(wants ?AGENT ?OBJECT) 的意思是 ?AGENT 想要 ?OBJECT，也就是说 ?AGENT 相信 ?OBJECT 会满足它其中一个的意愿。注：这并不意味着施事体没有它所想要的东西。")	chinese_format.kif 1934-1935
(documentation wants EnglishLanguage "(wants ?AGENT ?OBJECT) means that ?OBJECT is desired by ?AGENT, i.e. ?AGENT believes that ?OBJECT will satisfy one of its goals. Note that there is no implication that what is wanted by an agent is not already possessed by the agent.")	Merge.kif 2779-2781
(documentation wants JapaneseLanguage "(wants ?AGENT ?OBJECT) とは、?OBJECT が ?AGENT によって望ましいことを意味する。　つまり、?AGENT は、OBJECT がその目標の1つを満たすと信じている。注：エージェントが望むものがエージェントによって既に所有されていないという結果はない。")	japanese_format.kif 562-564
(domain wants 1 CognitiveAgent)	Merge.kif 2776-2776	The number 1 argument of wants is an instance of cognitive agent
(domain wants 2 Physical)	Merge.kif 2777-2777	The number 2 argument of wants is an instance of physical
(instance wants BinaryPredicate)	Merge.kif 2773-2773	wants is an instance of binary predicate
(instance wants ObjectAttitude)	Merge.kif 2772-2772	wants is an instance of object attitude
(relatedInternalConcept wants desires)	Merge.kif 2775-2775	wants is internally related to desires
(subrelation wants inScopeOfInterest)	Merge.kif 2774-2774	wants is a subrelation of in scope of interest

appearance as argument number 2

(disjointRelation dislikes wants)	Mid-level-ontology.kif 8588-8588	dislikes and wants are disjoint
(format ChineseLanguage wants "%1 %n{doesn't} wants %2")	chinese_format.kif 199-199	dislikes and wants are disjoint
(format EnglishLanguage wants "%1 %n{doesn't} want%p{s} %2")	english_format.kif 200-200	dislikes and wants are disjoint
(format FrenchLanguage wants "%1 %n{ne} veut %n{pas} %2")	french_format.kif 119-119	dislikes and wants are disjoint
(format ItalianLanguage wants "%1 %n{non} vuole%p{s} %2")	relations-it.txt 312-312	dislikes and wants are disjoint
(format JapaneseLanguage wants "%1 は %2 を want%p{s} %n{ない}")	japanese_format.kif 1948-1948	dislikes and wants are disjoint
(format PortugueseLanguage wants "%1 %n{nao} quer %n %2")	portuguese_format.kif 71-71	dislikes and wants are disjoint
(format cz wants "%1 %n{doesn't} want%p{s} %2")	relations-cz.txt 97-97	dislikes and wants are disjoint
(format de wants "%1 wuenscht %2 %n{nicht}")	relations-de.txt 255-255	dislikes and wants are disjoint
(format hi wants "%1 %2 ko %n{nahiin} chaahataa hai")	relations-hindi.txt 347-347	dislikes and wants are disjoint
(format ro wants "%1 %n{nu} want%t{doreºte} %2")	relations-ro.kif 138-138	dislikes and wants are disjoint
(format sv wants "%1 vill %n{inte} ha %2")	relations-sv.txt 124-124	dislikes and wants are disjoint
(format tg wants "%1 mangailangan %2")	relations-tg.txt 504-504	dislikes and wants are disjoint
(relatedInternalConcept desires wants)	Merge.kif 2798-2798	desires is internally related to wants
(termFormat ChineseLanguage wants "想要")	chinese_format.kif 200-200	desires is internally related to wants
(termFormat ChineseTraditionalLanguage wants "想要")	domainEnglishFormat.kif 62132-62132	desires is internally related to wants
(termFormat EnglishLanguage wants "wants")	domainEnglishFormat.kif 62131-62131	desires is internally related to wants
(termFormat de wants "wuenscht")	terms-de.txt 81-81	desires is internally related to wants

antecedent

(=> (and (wants ?AGENT ?OBJ) (instance ?OBJ Object)) (desires ?AGENT (possesses ?AGENT ?OBJ)))	Merge.kif 2788-2793	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
(=> (wants ?AGENT ?OBJ) (exists (?PURP) (hasPurposeForAgent ?OBJ ?PURP ?AGENT)))	Merge.kif 2783-2786	If a cognitive agent wants a physical, then there exists a formula such that the physical has the purpose the formula for the cognitive agent

consequent

(=> (and (attribute ?A AppraisalAsJustTreatment) (instance ?AJT AppraisalProcess) (agent ?AJT ?A)) (exists (?P ?A2) (and (instance ?P Process) (refers ?AJT ?P) (agent ?P ?A2) (not (equal ?A ?A2)) (patient ?P ?A) (wants ?A ?P))))	emotion.kif 374-387	If appraisal as just treatment is an attribute of a cognitive agent and the cognitive agentJT is an instance of appraisal process and the cognitive agent is an agent of the cognitive agentJT, then there exist another process and the cognitive agent2 such that the other process is an instance of process and the cognitive agentJT includes a reference to the other process and the cognitive agent2 is an agent of the other process and equal the cognitive agent and the cognitive agent2 and the cognitive agent is a patient of the other process and the cognitive agent wants the other process
(=> (and (attribute ?A AppraisalAsUnjustTreatment) (instance ?AUJ AppraisalProcess) (agent ?AUJ ?A)) (exists (?P ?A2) (and (instance ?P Process) (refers ?AUJ ?P) (agent ?P ?A2) (not (equal ?A ?A2)) (patient ?P ?A) (not (wants ?A ?P)))))	emotion.kif 349-363	If appraisal as unjust treatment is an attribute of a cognitive agent and the cognitive agentUJ is an instance of appraisal process and the cognitive agent is an agent of the cognitive agentUJ, then there exist another process and the cognitive agent2 such that the other process is an instance of process and the cognitive agentUJ includes a reference to the other process and the cognitive agent2 is an agent of the other process and equal the cognitive agent and the cognitive agent2 and the cognitive agent is a patient of the other process and the cognitive agent doesn't want the other process
(=> (and (attribute ?C Collectible) (hasPurpose ?C ?P)) (exists (?H ?P2) (and (instance ?H Human) (wants ?H ?C) (desires ?H ?P2) (entails ?P2 (possesses ?H ?C)) (not (equal ?P ?P2)))))	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
(=> (and (defenseLawyer ?P ?A) (defendant ?P ?D)) (desires ?A (not (exists (?L) (and (instance ?L LegalDecision) (refers ?L ?P) (not (wants ?D ?L)))))))	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
(=> (and (instance ?A Apologizing) (agent ?A ?AG) (destination ?A ?P)) (exists (?ACT) (and (suffers ?ACT ?P) (agent ?ACT ?AG) (holdsDuring (WhenFn ?A) (not (wants ?AG ?ACT))))))	Mid-level-ontology.kif 31539-31551	If a process is an instance of apologizing and the processG is an agent of the process and the process ends up at another agent, then there exists the processCT such that the other agent suffers from the processCT and the processG is an agent of the processCT and the processG doesn't want the processCT holds during the time of existence of the process
(=> (and (instance ?EXPRESS ExpressingApproval) (agent ?EXPRESS ?AGENT) (patient ?EXPRESS ?THING)) (or (wants ?AGENT ?THING) (desires ?AGENT ?THING)))	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
(=> (and (instance ?HELPING Helping) (agent ?HELPING ?AGENT) (result ?HELPING ?RESULT)) (exists (?PATIENT) (and (not (equal ?AGENT ?PATIENT)) (or (patient ?HELPING ?PATIENT) (experiencer ?HELPING ?PATIENT)) (wants ?PATIENT ?RESULT))))	MilitaryProcesses.kif 1419-1431	If a process is an instance of helping and an agent is an agent of the process and a physical is a result of the process, then there exists a cognitive agent such that equal the agent and the cognitive agent and the cognitive agent is a patient of the process or the cognitive agent experiences the process and the cognitive agent wants the physical
(=> (and (instance ?PURSUE Pursuing) (agent ?PURSUE ?AGENT) (patient ?PURSUE ?OBJ)) (holdsDuring ?PURSUE (wants ?AGENT ?OBJ)))	Merge.kif 13039-13044	If a process is an instance of pursuing and an agent is an agent of the process and an entity is a patient of the process, then the agent wants the entity holds during the process
(=> (and (instance ?R Resigning) (agent ?R ?A)) (wants ?A ?R))	Mid-level-ontology.kif 18320-18324	If a process is an instance of resigning and a cognitive agent is an agent of the process, then the cognitive agent wants the process
(=> (and (instance ?S Spamming) (result ?S ?SPAM) (instance ?S Spam) (instance ?H Human) (destination ?S ?H)) (not (modalAttribute (wants ?H ?SPAM) Likely)))	ComputingBrands.kif 4205-4215	If a process is an instance of spamming and the processPAM is a result of the process and the process is an instance of spam and another entity is an instance of human and the process ends up at the other entity, then the statement the other entity wants the processPAM doesn't have the modal force of likely
(=> (and (instance ?THANK Thanking) (agent ?THANK ?AGENT) (patient ?THANK ?THING) (destination ?THANK ?PERSON)) (and (instance ?PERSON Human) (or (holdsDuring (WhenFn ?THANK) (wants ?AGENT ?THING)) (holdsDuring (WhenFn ?THANK) (desires ?AGENT ?THING)))))	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
(=> (and (prosecutor ?P ?A) (defendant ?P ?D)) (desires ?A (exists (?L) (and (instance ?L LegalDecision) (refers ?L ?P) (not (wants ?D ?L))))))	Law.kif 324-334	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
(=> (and (subjectiveAttribute ?X Favorite ?AGENT) (instance ?X ?CLASS)) (exists (?Y) (and (not (subjectiveAttribute ?Y Favorite ?AGENT)) (instance ?Y ?CLASS) (prefers ?AGENT (wants ?AGENT ?X) (wants ?AGENT ?Y)))))	Dining.kif 1012-1020	If a cognitive agent believes an entity is favorite and the entity is an instance of a class, then there exists another entity such that not the cognitive agent believes the other entity is favorite and the other entity is an instance of the class and the cognitive agent prefers the cognitive agent wants the entity over the cognitive agent wants the other entity
(=> (attribute ?H Anorexia) (exists (?E) (and (instance ?E Eating) (agent ?E ?H) (needs ?H ?E) (not (wants ?H ?E)))))	Medicine.kif 5044-5052	If anorexia nervosa is an attribute of a cognitive agent, then there exists a process such that the process is an instance of eating and the cognitive agent is an agent of the process and the cognitive agent &eeds$"need"s the process and the cognitive agent doesn't want the process
(=> (attribute ?H Bulimia) (exists (?E ?P) (and (instance ?E Eating) (or (instance ?P Vomiting) (instance ?P Defecating)) (agent ?P ?H) (wants ?H ?P) (earlier (WhenFn ?E) (WhenFn ?P)))))	Medicine.kif 5017-5029	If bulimia nervosa is an attribute of a cognitive agent, then there exist a physical and a process such that the physical is an instance of eating and the process is an instance of vomiting or the process is an instance of Defecating and the cognitive agent is an agent of the process and the cognitive agent wants the process and the time of existence of the physical happens earlier than the time of existence of the process
(=> (attribute ?H ObsessiveCompulsiveDisorder) (exists (?COL ?C) (and (memberType ?COL ?C) (or (subclass ?C Investigating) (subclass ?C Cleaning)) (=> (instance ?CI ?C) (and (agent ?CI ?H) (not (wants ?H ?CI)))))))	Medicine.kif 4028-4041	If obsessive–compulsive disorder is an attribute of a cognitive agent, then there exist a collection and a class such that the class is a member type of the collection and the class is a subclass of investigating or the class is a subclass of cleaning and if the classI is an instance of the class, then the cognitive agent is an agent of the classI and the cognitive agent doesn't want the classI
(=> (attribute ?M CoinOperated) (hasPurpose ?M (exists (?C ?FT ?A ?ACT) (and (instance ?C CurrencyCoin) (instance ?FT FinancialTransaction) (destination ?FT ?M) (patient ?FT ?C) (origin ?FT ?A) (causes ?FT ?ACT) (wants ?A ?ACT)))))	Mid-level-ontology.kif 31393-31404	If coin operated is an attribute of an object, then the object has the purpose there exist an entity, another entity,, , a third entity and the third entityCT such that the entity is an instance of coin and the other entity is an instance of financial transaction and the other entity ends up at the object and the entity is a patient of the other entity and the other entity originates at the third entity and the other entity causes the third entityCT and the third entity wants the third entityCT
(=> (benefits ?A ?B) (wants ?B ?A))	Mid-level-ontology.kif 31525-31527	If a cognitive agent is a beneficiary of a process, then the cognitive agent wants the process
(=> (holdsDuring ?T (attribute ?A Fear)) (believes ?A (modalAttribute (exists (?P) (and (not (wants ?A ?P)) (before ?T (WhenFn ?P)))) Likely)))	emotion.kif 1025-1036	If angst is an attribute of a cognitive agent holds during a time position, then the cognitive agent believes the statement there exists an entity such that the cognitive agent doesn't want the entity and the time position happens before the time of existence of the entity has the modal force of likely
(=> (holdsDuring ?T (attribute ?H Narcolepsy)) (exists (?S) (and (instance ?S Sleeping) (experiencer ?S ?H) (during (WhenFn ?S) ?T) (not (wants ?H ?S)))))	Medicine.kif 4790-4800	If narcolepsy is an attribute of a cognitive agent holds during a time interval, then there exists a process such that the process is an instance of sleeping and the cognitive agent experiences the process and the time of existence of the process takes place during the time interval and the cognitive agent doesn't want the process
(=> (instance ?C Congratulating) (exists (?P ?A ?D) (and (destination ?C ?D) (agent ?P ?D) (agent ?C ?A) (wants ?A ?P) (refers ?C ?P))))	Mid-level-ontology.kif 14326-14334	If a process is an instance of congratulating, then there exist another process, a cognitive agent and an agent such that the process ends up at the agent and the agent is an agent of the other process and the cognitive agent is an agent of the process and the cognitive agent wants the other process and the process includes a reference to the other process
(=> (instance ?R Raping) (exists (?A) (and (experiencer ?R ?A) (not (wants ?A ?R)))))	Mid-level-ontology.kif 25750-25756	If a process is an instance of raping, then there exists a cognitive agent such that the cognitive agent experiences the process and the cognitive agent doesn't want the process
(=> (needs ?AGENT ?OBJECT) (wants ?AGENT ?OBJECT))	Merge.kif 2768-2770	If a cognitive agent &eeds$"need"s a physical, then the cognitive agent wants the physical
(=> (punishes ?A ?H) (exists (?O ?POS ?PROC) (and (occupiesPosition ?A ?POS ?O) (agent ?PROC ?A) (wants ?O ?PROC))))	Law.kif 160-166	If a human punishes an agent, then there exist an organization, a position and a process such that the human holds the position of the position in the organization and the human is an agent of the process and the organization wants the process
(=> (punishes ?A ?H) (exists (?P) (and (agent ?P ?H) (not (wants ?A ?P)))))	Law.kif 147-153	If a cognitive agent punishes an agent, then there exists a process such that the agent is an agent of the process and the cognitive agent doesn't want the process

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: