hasPurposeForAgent - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - hasPurposeForAgent

hasPurposeForAgent

appearance as argument number 1

(documentation hasPurposeForAgent ChineseLanguage "这个是由主事对于一个特定的物理实例表达的一种认知态度，更确实的说，(hasPurposeForAgent ?THING ?FORMULA ?AGENT) 的意思是 ?FORMULA 所表达的命题是 ?AGENT 做 ?THING 的目，这里包含了一些十分复杂的问题，特别是一阶逻辑的推理原则对于这个 Predicate 的第二个参数位置并不能保持真实。")	chinese_format.kif 2097-2100
(documentation hasPurposeForAgent EnglishLanguage "Expresses a cognitive attitude of an agent with respect to a particular instance of Physical. More precisely, (hasPurposeForAgent ?THING ?FORMULA ?AGENT) means that the purpose of ?THING for ?AGENT is the proposition expressed by ?FORMULA. Very complex issues are involved here. In particular, the rules of inference of the first order predicate calculus are not truth-preserving for the second argument position of this Predicate.")	Merge.kif 3966-3972
(documentation hasPurposeForAgent JapaneseLanguage "物理的な特定のインスタンスに対するエージェントの認知的態度を表す。より正確には、(hasPurposeForAgent ?THING ?FORMULA ?AGENT) とは、 ?AGENTに対する?THINGの目的が ?FORMULA によって表される命題であることを意味する。非常に複雑な問題がここで関与している。特に、第１次述語計算の推論の規則は、この Predicate の２番目の引数位置に対する真理保存ではない。")	japanese_format.kif 747-751
(domain hasPurposeForAgent 1 Physical)	Merge.kif 3962-3962	The number 1 argument of has purpose for agent is an instance of physical
(domain hasPurposeForAgent 2 Formula)	Merge.kif 3963-3963	The number 2 argument of has purpose for agent is an instance of formula
(domain hasPurposeForAgent 3 AutonomousAgent)	Merge.kif 3964-3964	The number 3 argument of has purpose for agent is an instance of agent
(instance hasPurposeForAgent TernaryPredicate)	Merge.kif 3961-3961	has purpose for agent is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage hasPurposeForAgent "%3 在 %1 的目的 %n 是 %2")	chinese_format.kif 117-117
(format EnglishLanguage hasPurposeForAgent "%1 %p{has} %n{does not have} the purpose %2 for %3")	english_format.kif 117-117
(format FrenchLanguage hasPurposeForAgent "%1 a %n le but %2 pour %3")	french_format.kif 80-80
(format ItalianLanguage hasPurposeForAgent "%1 ha &n scopo %2 per %3")	relations-it.txt 125-125
(format JapaneseLanguage hasPurposeForAgent "%1 は %3 の目的 %2 %n{ない}")	japanese_format.kif 1907-1907
(format PortugueseLanguage hasPurposeForAgent "%1 tem %n finalidade %2 para %3")	portuguese_format.kif 32-32
(format cz hasPurposeForAgent "%1 has %n purpose %2 for %3")	relations-cz.txt 121-121
(format de hasPurposeForAgent "%1 hat Zweck von %2 fuer %3 %n{nicht}")	relations-de.txt 136-136
(format hi hasPurposeForAgent "%3 ke lie %1 kaa lakshya %2 &n hai")	relations-hindi.txt 165-165
(format ro hasPurposeForAgent "%1 %n{nu} are purpose%t{scopul} %2 pentru %3")	relations-ro.kif 99-99
(format sv hasPurposeForAgent "%1 har &n syftet %2 för %3")	relations-sv.txt 79-79
(format tg hasPurposeForAgent "%1 %n may ang layon %2 sa %3")	relations-tg.txt 256-256
(termFormat ChineseLanguage hasPurposeForAgent "主事的意图")	chinese_format.kif 118-118
(termFormat ChineseLanguage hasPurposeForAgent "有代理人的目的")	domainEnglishFormat.kif 27581-27581
(termFormat ChineseTraditionalLanguage hasPurposeForAgent "有代理人的目的")	domainEnglishFormat.kif 27580-27580
(termFormat EnglishLanguage hasPurposeForAgent "has purpose for agent")	domainEnglishFormat.kif 27579-27579
(termFormat de hasPurposeForAgent "hatZweckFuerAgent")	terms-de.txt 40-40
(termFormat tg hasPurposeForAgent "may layon sa ahente")	relations-tg.txt 257-257

consequent

(=> (and (instance ?ATTACK Attack) (agent ?ATTACK ?AGENT) (patient ?ATTACK ?OBJ)) (hasPurposeForAgent ?ATTACK (exists (?DAMAGE) (and (instance ?DAMAGE Damaging) (patient ?DAMAGE ?OBJ))) ?AGENT))	Merge.kif 13455-13464	If a process is an instance of attack 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 exists another entity such that the other entity is an instance of damaging and the entity is a patient of the other entity for the agent
(=> (and (instance ?BC BoosterChair) (instance ?H HumanChild)) (hasPurposeForAgent ?BC (and (attribute ?H Sitting) (eventLocated ?H ?BC)) ?H))	Dining.kif 840-847	If a physical is an instance of booster chair and an agent is an instance of human child, then the physical has the purpose sitting is an attribute of the agent and the agent is located at the physical for the agent
(=> (and (instance ?DEFENSE DefensiveManeuver) (agent ?DEFENSE ?AGENT)) (hasPurposeForAgent ?DEFENSE (not (exists (?DAMAGE) (and (instance ?DAMAGE Damaging) (patient ?DAMAGE ?AGENT)))) ?AGENT))	Merge.kif 13477-13486	If a process is an instance of defensive maneuver and an agent is an agent of the process, then the process has the purpose there doesn't exist an entity such that the entity is an instance of damaging and the agent is a patient of the entity for the agent
(=> (and (instance ?I HealthInsuranceCompany) (customer ?I ?C)) (hasPurposeForAgent ?I (exists (?D ?P) (and (or (instance ?D DiagnosticProcess) (instance ?D TherapeuticProcess)) (experiencer ?D ?C) (instance ?P Payment) (agent ?P ?I) (refers ?P ?D))) ?C))	Mid-level-ontology.kif 7377-7390	If a cognitive agent is an instance of health insurance company and an agent is a customer of the cognitive agent, then the cognitive agent has the purpose there exist an entity and another entity such that the entity is an instance of diagnostic process or the entity is an instance of therapeutic process and the agent experiences the entity and the other entity is an instance of payment and the cognitive agent is an agent of the other entity and the other entity includes a reference to the entity for the agent
(=> (and (instance ?INVESTIGATE Investigating) (agent ?INVESTIGATE ?AGENT) (patient ?INVESTIGATE ?PROP)) (hasPurposeForAgent ?INVESTIGATE (knows ?AGENT ?PROP) ?AGENT))	Merge.kif 12987-12993	If a process is an instance of investigating and an agent is an agent of the process and an entity is a patient of the process, then the process has the purpose the agent knows the entity for the agent
(=> (and (instance ?PARK DisabledParking) (instance ?AGENT Human) (attribute ?AGENT ?ATTR) (instance ?ATTR Disability)) (hasPurposeForAgent ?PARK (exists (?EVENT ?TD) (and (instance ?EVENT Putting) (playsRoleInEvent ?PARK destination ?EVENT) (playsRoleInEvent ?TD patient ?EVENT) (instance ?TD TransportationDevice))) ?AGENT))	TransportDetail.kif 51-63	If a physical is an instance of disabled parking and an agent is an instance of human and an attribute is an attribute of the agent and the attribute is an instance of disability, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of putting and the physical plays role in event destination for the entity and the other entity plays role in event patient for the entity and the other entity is an instance of transportation device for the agent
(=> (and (instance ?PROC DiagnosticProcess) (agent ?PROC ?AGENT)) (exists (?CAUSE) (hasPurposeForAgent ?PROC (knows ?AGENT (causes ?CAUSE ?PROC)) ?AGENT)))	Merge.kif 13004-13009	If a process is an instance of diagnostic process and an agent is an agent of the process, then there exists an entity such that the process has the purpose the agent knows the entity causes the process for the agent
(=> (and (instance ?PROC IntentionalProcess) (agent ?PROC ?AGENT)) (exists (?PURP) (hasPurposeForAgent ?PROC ?PURP ?AGENT)))	Merge.kif 10525-10530	If a process is an instance of intentional process and an agent is an agent of the process, then there exists a formula such that the process has the purpose the formula for the agent
(=> (and (instance ?S Searching) (patient ?S ?OBJ) (instance ?OBJ Physical)) (exists (?LOC ?AGENT) (and (instance ?AGENT CognitiveAgent) (agent ?S ?AGENT) (instance ?LOC Object) (located ?OBJ ?LOC) (hasPurposeForAgent ?S (knows ?AGENT (located ?OBJ ?LOC)) ?AGENT))))	Merge.kif 13030-13043	If a process is an instance of searching and a physical is a patient of the process and the physical is an instance of physical, then there exist an object and an agent such that the agent is an instance of cognitive agent and the agent is an agent of the process and the object is an instance of object and the physical is located at the object and the process has the purpose the agent knows the physical is located at the object for the agent
(=> (hasPurpose ?THING ?PURPOSE) (exists (?AGENT) (hasPurposeForAgent ?THING ?PURPOSE ?AGENT)))	Merge.kif 3974-3977	If a physical has the purpose a formula, then there exists an agent such that the physical has the purpose the formula for the agent
(=> (inhibits ?A ?P) (exists (?P2) (and (agent ?P2 ?A) (hasPurposeForAgent ?P2 (not (exists (?P3) (instance ?P3 ?P))) ?A))))	Mid-level-ontology.kif 18636-18645	If an agent inhibits a kind of process, then there exists a kind of process2 such that the agent is an agent of the kind of process2 and the kind of process2 has the purpose there doesn't exist the kind of process3 such that the kind of process3 is an instance of the kind of process for the agent
(=> (instance ?CONTEST Contest) (exists (?AGENT1 ?AGENT2 ?PURP1 ?PURP2) (and (agent ?CONTEST ?AGENT1) (agent ?CONTEST ?AGENT2) (hasPurposeForAgent ?CONTEST ?PURP1 ?AGENT1) (hasPurposeForAgent ?CONTEST ?PURP2 ?AGENT2) (not (equal ?AGENT1 ?AGENT2)) (not (equal ?PURP1 ?PURP2)))))	Merge.kif 13355-13366	If a process is an instance of contest, then there exist an agent, another agent,, , a formula and another formula such that the agent is an agent of the process and the other agent is an agent of the process and the process has the purpose the formula for the agent and the process has the purpose the other formula for the other agent and the agent is not equal to the other agent and the formula is not equal to the other formula
(=> (instance ?COOPERATE Cooperation) (exists (?PURP) (forall (?AGENT) (=> (agent ?COOPERATE ?AGENT) (hasPurposeForAgent ?COOPERATE ?PURP ?AGENT)))))	Merge.kif 13314-13320	If a process is an instance of cooperation, then there exists a formula such that for all an agent if the agent is an agent of the process, then the process has the purpose the formula for the agent
(=> (instance ?DC DrugCandidate) (exists (?O) (and (instance ?O Organization) (hasPurposeForAgent ?DC (instance ?DC Medicine) ?O))))	Medicine.kif 3089-3096	If a physical is an instance of drug candidate, then there exists an agent such that the agent is an instance of organization and the physical has the purpose the physical is an instance of medicine for the agent
(=> (instance ?S Searching) (exists (?AGENT ?OBJ ?LOC) (and (instance ?AGENT CognitiveAgent) (agent ?S ?AGENT) (instance ?OBJ Physical) (patient ?S ?OBJ) (instance ?LOC Object) (located ?OBJ ?LOC) (hasPurposeForAgent ?S (knows ?AGENT (located ?OBJ ?LOC)) ?AGENT))))	Merge.kif 13016-13028	If a process is an instance of searching, then there exist an agent, a physical and an object such that the agent is an instance of cognitive agent and the agent is an agent of the process and the physical is an instance of physical and the physical is a patient of the process and the object is an instance of object and the physical is located at the object and the process has the purpose the agent knows the physical is located at the object for the agent
(=> (wants ?AGENT ?OBJ) (exists (?PURP) (hasPurposeForAgent ?OBJ ?PURP ?AGENT)))	Merge.kif 2772-2775	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

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