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 3842-3848
(domain hasPurposeForAgent 1 Physical) Merge.kif 3838-3838
(domain hasPurposeForAgent 2 Formula) Merge.kif 3839-3839
(domain hasPurposeForAgent 3 Agent) Merge.kif 3840-3840
(instance hasPurposeForAgent TernaryPredicate) Merge.kif 3837-3837

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
(termFormat ChineseLanguage hasPurposeForAgent "主事的意图") chinese_format.kif 118-118
(termFormat ChineseLanguage hasPurposeForAgent "有代理人的目的") domainEnglishFormat.kif 27543-27543
(termFormat ChineseTraditionalLanguage hasPurposeForAgent "有代理人的目的") domainEnglishFormat.kif 27542-27542
(termFormat EnglishLanguage hasPurposeForAgent "has purpose for agent") domainEnglishFormat.kif 27541-27541

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 12835-12844
(=>
    (and
        (instance ?BC BoosterChair)
        (instance ?H HumanChild))
    (hasPurposeForAgent ?BC
        (and
            (attribute ?H Sitting)
            (eventLocated ?H ?BC)) ?H))
Dining.kif 793-800
(=>
    (and
        (instance ?DEFENSE DefensiveManeuver)
        (agent ?DEFENSE ?AGENT))
    (hasPurposeForAgent ?DEFENSE
        (not
            (exists (?DAMAGE)
                (and
                    (instance ?DAMAGE Damaging)
                    (patient ?DAMAGE ?AGENT)))) ?AGENT))
Merge.kif 12857-12866
(=>
    (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 6793-6806
(=>
    (and
        (instance ?INVESTIGATE Investigating)
        (agent ?INVESTIGATE ?AGENT)
        (patient ?INVESTIGATE ?PROP))
    (hasPurposeForAgent ?INVESTIGATE
        (knows ?AGENT ?PROP) ?AGENT))
Merge.kif 12371-12377
(=>
    (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 12388-12393
(=>
    (and
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?AGENT))
    (exists (?PURP)
        (hasPurposeForAgent ?PROC ?PURP ?AGENT)))
Merge.kif 10117-10122
(=>
    (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 12414-12427
(=>
    (hasPurpose ?THING ?PURPOSE)
    (exists (?AGENT)
        (hasPurposeForAgent ?THING ?PURPOSE ?AGENT)))
Merge.kif 3850-3853
(=>
    (inhibits ?A ?P)
    (exists (?P2)
        (and
            (agent ?P2 ?A)
            (hasPurposeForAgent ?P2
                (not
                    (exists (?P3)
                        (instance ?P3 ?P))) ?A))))
Law.kif 200-209
(=>
    (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 12735-12746
(=>
    (instance ?COOPERATE Cooperation)
    (exists (?PURP)
        (forall (?AGENT)
            (=>
                (agent ?COOPERATE ?AGENT)
                (hasPurposeForAgent ?COOPERATE ?PURP ?AGENT)))))
Merge.kif 12694-12700
(=>
    (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 12400-12412
(=>
    (wants ?AGENT ?OBJ)
    (exists (?PURP)
        (hasPurposeForAgent ?OBJ ?PURP ?AGENT)))
Merge.kif 2684-2687


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