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 的第二个参数位置并不能保持真实。") Merge.kif 4107-4110
(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 4100-4106
(domain hasPurposeForAgent 1 Physical) Merge.kif 4097-4097
(domain hasPurposeForAgent 2 Formula) Merge.kif 4098-4098
(domain hasPurposeForAgent 3 Agent) Merge.kif 4099-4099
(instance hasPurposeForAgent TernaryPredicate) Merge.kif 4096-4096

appearance as argument number 2
-------------------------


(format ChineseLanguage hasPurposeForAgent "%3 在 %1 的 目的 %n 是 %2") chinese_format.kif 117-117
(format EnglishLanguage hasPurposeForAgent "%1 has %n purpose %2 for %3") english_format.kif 85-85
(termFormat ChineseLanguage hasPurposeForAgent "主事的意图") chinese_format.kif 118-118
(termFormat EnglishLanguage hasPurposeForAgent "has purpose for agent") domainEnglishFormat.kif 5013-5013

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 13412-13421
(=>
    (and
        (instance ?BC BoosterChair)
        (instance ?H HumanChild))
    (hasPurposeForAgent ?BC
        (and
            (attribute ?H Sitting)
            (eventLocated ?H ?BC)) ?H))
Dining.kif 797-804
(=>
    (and
        (instance ?DEFENSE DefensiveManeuver)
        (agent ?DEFENSE ?AGENT))
    (hasPurposeForAgent ?DEFENSE
        (not
            (exists (?DAMAGE)
                (and
                    (instance ?DAMAGE Damaging)
                    (patient ?DAMAGE ?AGENT)))) ?AGENT))
Merge.kif 13436-13445
(=>
    (and
        (instance ?INVESTIGATE Investigating)
        (agent ?INVESTIGATE ?AGENT)
        (patient ?INVESTIGATE ?PROP))
    (hasPurposeForAgent ?INVESTIGATE
        (knows ?AGENT ?PROP) ?AGENT))
Merge.kif 12870-12876
(=>
    (and
        (instance ?KL KnockLight)
        (attribute ?X Deaf)
        (located ?KL ?LOC)
        (located ?X ?LOC)
        (instance ?DOOR Door)
        (part ?DOOR ?LOC))
    (hasPurposeForAgent ?KL
        (knows ?X
            (exists (?KNOCK)
                (and
                    (instance ?KNOCK Impacting)
                    (patient ?KNOCK ?DOOR)))) ?X))
Mid-level-ontology.kif 23757-23770
(=>
    (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 12891-12896
(=>
    (and
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?AGENT))
    (exists (?PURP)
        (hasPurposeForAgent ?PROC ?PURP ?AGENT)))
Merge.kif 10526-10531
(=>
    (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 12919-12932
(=>
    (hasPurpose ?THING ?PURPOSE)
    (exists (?AGENT)
        (hasPurposeForAgent ?THING ?PURPOSE ?AGENT)))
Merge.kif 4112-4115
(=>
    (inhibits ?A ?P)
    (exists (?P2)
        (and
            (agent ?P2 ?A)
            (hasPurposeForAgent ?P2
                (not
                    (exists (?P3)
                        (instance ?P3 ?P))) ?A))))
Law.kif 199-208
(=>
    (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 13295-13306
(=>
    (instance ?COOPERATE Cooperation)
    (exists (?PURP)
        (forall (?AGENT)
            (=>
                (agent ?COOPERATE ?AGENT)
                (hasPurposeForAgent ?COOPERATE ?PURP ?AGENT)))))
Merge.kif 13249-13255
(=>
    (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 12905-12917
(=>
    (wants ?AGENT ?OBJ)
    (exists (?PURP)
        (hasPurposeForAgent ?OBJ ?PURP ?AGENT)))
Merge.kif 2962-2965


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners