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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SentientAgent

Sigma KEE - SentientAgent
SentientAgent(有感知的主事)

appearance as argument number 1
-------------------------


(documentation SentientAgent ChineseLanguage " SentientAgent 是一个能够 Perception (感知)的 Agent, 并且在某程度上能感受到意识 (同时参考 ConsciousnessAttribute)。如果一个 Agent 能够以相对高层次的理智去思考的话(表现出能够学习、计划和体会情感),那么这个也是 CognitiveAgent 的一个实例。 DomesticAnimal 是一个 SentientAgent,但是它是不是一个 CognitiveAgent 却确定于究竟它是哪一种 Animal。") Merge.kif 1590-1594
(documentation SentientAgent EnglishLanguage "A SentientAgent is an Agent that is capable of Perception and experiences some level of consciousness (see ConsciousnessAttribute). If the Agent is able to reason at a comparatively high level (evinced by the ability to learn, plan, and feel emotions), then it is also an instance of CognitiveAgent. A DomesticAnimal is a SentientAgent, but may or may not be a CognitiveAgent, depending on the type of Animal.") Merge.kif 1583-1589
(subclass SentientAgent Agent) Merge.kif 1573-1573 有感知的主事施事体subclass

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


(subclass CognitiveAgent SentientAgent) Merge.kif 1596-1596 有认知的主事有感知的主事subclass
(termFormat ChineseLanguage SentientAgent "有感知的主事") chinese_format.kif 849-849 termFormat ChineseLanguage, 有感知的主事 and "有感知的主事"
(termFormat EnglishLanguage SentientAgent "sentient agent") english_format.kif 608-608 termFormat EnglishLanguage, 有感知的主事 and "sentient agent"
(termFormat JapaneseLanguage SentientAgent "意識[知覚]を持つ代理(人)") english_format.kif 609-609 termFormat JapaneseLanguage, 有感知的主事 and "意識[知覚]を持つ代理(人)"

appearance as argument number 3
-------------------------


(domain detainedAtTimeInPlace 1 SentientAgent) Justice.kif 17-17 detainedAtTimeInPlace 的 1 数量 是 有感知的主事instance
(domain speaksLanguage 1 SentientAgent) Mid-level-ontology.kif 894-894 speaksLanguage 的 1 数量 是 有感知的主事instance

antecedent
-------------------------


(<=>
    (and
        (instance ?AGENT SentientAgent)
        (attribute ?AGENT Living))
    (exists (?ATTR)
        (and
            (instance ?ATTR ConsciousnessAttribute)
            (attribute ?AGENT ?ATTR))))
Merge.kif 18701-18708 客体有感知的主事instanceLiving那个 客体attribute 若且唯若 有存在 实体 这样 那个 实体意识状态instance那个 实体那个 客体attribute
(=>
    (instance ?AGENT SentientAgent)
    (capability Perception experiencer ?AGENT))
Merge.kif 13468-13470

consequent
-------------------------


(=>
    (and
        (instance ?ATTR PsychologicalAttribute)
        (attribute ?AGENT ?ATTR))
    (instance ?AGENT SentientAgent))
Merge.kif 18673-18677
(=>
    (instance ?X HostageTaking)
    (exists (?A)
        (and
            (instance ?A SentientAgent)
            (patient ?X ?A))))
Mid-level-ontology.kif 19712-19717
(=>
    (instance ?X Kidnapping)
    (exists (?A ?LOC1 ?LOC2)
        (and
            (instance ?A SentientAgent)
            (instance ?LOC1 GeographicArea)
            (instance ?LOC2 GeographicArea)
            (not
                (equal ?LOC1 ?LOC2))
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?X))
                (located ?A ?LOC1))
            (holdsDuring
                (WhenFn ?X)
                (located ?A ?LOC2)))))
Mid-level-ontology.kif 19745-19760


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