Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  hasPurposeForAgent

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 3965-3971
(documentation hasPurposeForAgent JapaneseLanguage "物理的な特定のインスタンスに対するエー ジェントの認知的態度を表す。より正確には、(hasPurposeForAgent ?THING ?FORMULA ?AGENT) とは、 ?AGENTに対する?THINGの目的が ?FORMULA によって表される命題であることを意味する。非常に複雑な問題 がここで関与している。特に、第1次述語計算の推論の規則は、この Predicate の2番目の引数位置に対 する真理保存ではない。") japanese_format.kif 747-751
(domain hasPurposeForAgent 1 Physical) Merge.kif 3961-3961 Le nombre 1 argument de hasPurposeForAgent est une instance de physique
(domain hasPurposeForAgent 2 Formula) Merge.kif 3962-3962 Le nombre 2 argument de hasPurposeForAgent est une instance de formule
(domain hasPurposeForAgent 3 AutonomousAgent) Merge.kif 3963-3963 Le nombre 3 argument de hasPurposeForAgent est une instance de AutonomousAgent
(instance hasPurposeForAgent TernaryPredicate) Merge.kif 3960-3960 hasPurposeForAgent est une instance de pr�dicat ternaire

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 27552-27552
(termFormat ChineseTraditionalLanguage hasPurposeForAgent "有代理人的目的") domainEnglishFormat.kif 27551-27551
(termFormat EnglishLanguage hasPurposeForAgent "has purpose for agent") domainEnglishFormat.kif 27550-27550
(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 13409-13418
(=>
    (and
        (instance ?BC BoosterChair)
        (instance ?H HumanChild))
    (hasPurposeForAgent ?BC
        (and
            (attribute ?H Sitting)
            (eventLocated ?H ?BC)) ?H))
Dining.kif 840-847
(=>
    (and
        (instance ?DEFENSE DefensiveManeuver)
        (agent ?DEFENSE ?AGENT))
    (hasPurposeForAgent ?DEFENSE
        (not
            (exists (?DAMAGE)
                (and
                    (instance ?DAMAGE Damaging)
                    (patient ?DAMAGE ?AGENT)))) ?AGENT))
Merge.kif 13431-13440
(=>
    (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 7159-7172
(=>
    (and
        (instance ?INVESTIGATE Investigating)
        (agent ?INVESTIGATE ?AGENT)
        (patient ?INVESTIGATE ?PROP))
    (hasPurposeForAgent ?INVESTIGATE
        (knows ?AGENT ?PROP) ?AGENT))
Merge.kif 12941-12947
(=>
    (and
        (instance ?PARK DisabledParking)
        (instance ?AGENT Human)
        (attribute ?AGENT ?ATTR)
        (instance ?ATTR Disability))
    (hasPurposeForAgent ?PARK
        (and
            (playsRoleInEvent ?PARK destination ?EVENT)
            (playsRoleInEvent ?TD patient ?EVENT)
            (instance ?TD TransportationDevice)) ?AGENT))
TransportDetail.kif 49-59
(=>
    (and
        (instance ?PROC DiagnosticProcess)
        (agent ?PROC ?AGENT))
    (exists (?CAUSE)
        (hasPurposeForAgent ?PROC
            (knows ?AGENT
                (causes ?CAUSE ?PROC)) ?AGENT)))
Merge.kif 12958-12963
(=>
    (and
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?AGENT))
    (exists (?PURP)
        (hasPurposeForAgent ?PROC ?PURP ?AGENT)))
Merge.kif 10491-10496
(=>
    (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 12984-12997
(=>
    (hasPurpose ?THING ?PURPOSE)
    (exists (?AGENT)
        (hasPurposeForAgent ?THING ?PURPOSE ?AGENT)))
Merge.kif 3973-3976
(=>
    (inhibits ?A ?P)
    (exists (?P2)
        (and
            (agent ?P2 ?A)
            (hasPurposeForAgent ?P2
                (not
                    (exists (?P3)
                        (instance ?P3 ?P))) ?A))))
Mid-level-ontology.kif 18378-18387
(=>
    (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 13309-13320
(=>
    (instance ?COOPERATE Cooperation)
    (exists (?PURP)
        (forall (?AGENT)
            (=>
                (agent ?COOPERATE ?AGENT)
                (hasPurposeForAgent ?COOPERATE ?PURP ?AGENT)))))
Merge.kif 13268-13274
(=>
    (instance ?DC DrugCandidate)
    (exists (?O)
        (and
            (instance ?O Organization)
            (hasPurposeForAgent ?DC
                (instance ?DC Medicine) ?O))))
Medicine.kif 3089-3096
(=>
    (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 12970-12982
(=>
    (wants ?AGENT ?OBJ)
    (exists (?PURP)
        (hasPurposeForAgent ?OBJ ?PURP ?AGENT)))
Merge.kif 2772-2775


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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