wants - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1934-1935
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2673-2675
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2670-2670	The number 1 argument of wants is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2671-2671	The number 2 argument of wants is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2667-2667	wants is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2666-2666	wants is an instance of object attitude
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2669-2669	wants is internally related to desires
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2668-2668	wants 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 7108-7108	dislikes and wants are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 199-199
No TPTP formula. May not be expressible in strict first order.	english_format.kif 203-203
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2692-2692	desires is internally related to wants
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 200-200
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62122-62122
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62121-62121

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2682-2687	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.	Merge.kif 2677-2680	If a cognitive agent wants a physical, then there exists a formula such that the physical purpose the formula for the cognitive agent

consequent

No TPTP formula. May not be expressible in strict first order.	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 the cognitive agent is not equal to the cognitive agent2 and the cognitive agent is a patient of the other process and the cognitive agent wants the other process
No TPTP formula. May not be expressible in strict first order.	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 the cognitive agent is not equal to the cognitive agent2 and the cognitive agent is a patient of the other process and the cognitive agent doesn't want the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27715-27727	If Collectible is an attribute of an object and the object 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.	Law.kif 338-349	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.	Mid-level-ontology.kif 27830-27842	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10587-10594	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.	MilitaryProcesses.kif 1418-1430	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 the agent is not equal to 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11974-11979	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14516-14520	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
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4151-4161	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10783-10793	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.	Law.kif 361-371	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.	Dining.kif 965-973	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27682-27693	If CoinOperated is an attribute of an object, then the object purpose there exist an entity, another entity,, , a third entity and the third entityCT such that the entity is an instance of currency 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27814-27816	If a cognitive agent is a beneficiary of a process, then the cognitive agent wants the process
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1033-1044	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10631-10639	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21911-21917	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2662-2664	If a cognitive agent needs a physical, then the cognitive agent wants the physical
No TPTP formula. May not be expressible in strict first order.	Law.kif 173-179	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
No TPTP formula. May not be expressible in strict first order.	Law.kif 160-166	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
No TPTP formula. May not be expressible in strict first order.	Law.kif 129-135	If a human rewards 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
No TPTP formula. May not be expressible in strict first order.	Law.kif 117-122	If a cognitive agent rewards an agent, then there exists a process such that the agent is an agent of the process and the cognitive agent wants the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27818-27821	If a cognitive agent suffers from a process, then the cognitive agent doesn't want the process

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: