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 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 Il numero 1 argomenti di hasPurposeForAgent è un istanza di Entit�Concreta
(domain hasPurposeForAgent 2 Formula) Merge.kif 3963-3963 Il numero 2 argomenti di hasPurposeForAgent è un istanza di Formula
(domain hasPurposeForAgent 3 AutonomousAgent) Merge.kif 3964-3964 Il numero 3 argomenti di hasPurposeForAgent è un istanza di AutonomousAgent
(instance hasPurposeForAgent TernaryPredicate) Merge.kif 3961-3961 hasPurposeForAgent è un' istanza di PredicatoTernario

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 13455-13464
(=>
    (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 13477-13486
(=>
    (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 7186-7199
(=>
    (and
        (instance ?INVESTIGATE Investigating)
        (agent ?INVESTIGATE ?AGENT)
        (patient ?INVESTIGATE ?PROP))
    (hasPurposeForAgent ?INVESTIGATE
        (knows ?AGENT ?PROP) ?AGENT))		 Merge.kif 12987-12993
(=>
    (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
(=>
    (and
        (instance ?PROC DiagnosticProcess)
        (agent ?PROC ?AGENT))
    (exists (?CAUSE)
        (hasPurposeForAgent ?PROC
            (knows ?AGENT
                (causes ?CAUSE ?PROC)) ?AGENT)))		 Merge.kif 13004-13009
(=>
    (and
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?AGENT))
    (exists (?PURP)
        (hasPurposeForAgent ?PROC ?PURP ?AGENT)))		 Merge.kif 10525-10530
(=>
    (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
(=>
    (hasPurpose ?THING ?PURPOSE)
    (exists (?AGENT)
        (hasPurposeForAgent ?THING ?PURPOSE ?AGENT)))		 Merge.kif 3974-3977
(=>
    (inhibits ?A ?P)
    (exists (?P2)
        (and
            (agent ?P2 ?A)
            (hasPurposeForAgent ?P2
                (not
                    (exists (?P3)
                        (instance ?P3 ?P))) ?A))))		 Mid-level-ontology.kif 18405-18414
(=>
    (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
(=>
    (instance ?COOPERATE Cooperation)
    (exists (?PURP)
        (forall (?AGENT)
            (=>
                (agent ?COOPERATE ?AGENT)
                (hasPurposeForAgent ?COOPERATE ?PURP ?AGENT)))))		 Merge.kif 13314-13320
(=>
    (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 13016-13028
(=>
    (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