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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SentientAgent
SentientAgent(sentient agent)Aglaia, Alcyone, Alecto, Arjuna, Atreus, Augeas, Bigfoot, Cerberus, Chimaera, Chimera, Chiron, Dardanus, Erinyes, Eumenides, Euphrosyne, Fafnir, Fenrir, Fury, Galatea, Gargantua, Geryon, Gog_and_Magog, Grim_Reaper, Halcyon, Harpy, Hero, Humpty_Dumpty, Hydra, Hyperborean, Iphigenia, Leander, Lilith, Loch_Ness_monster, Maxwell's_demon, Megaera, Minotaur, Nemean_lion, Nessie, Nibelung, Niobe, Paris, Patroclus, Pegasus, Python, Reaper, Sarpedon, Sasquatch, Scylla, Siegfried, Sigurd...

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


s__documentation(s__SentientAgent,s__ChineseLanguage,'" SentientAgent 是一个能够 Perception (感知)的 Agent, 并且在某程度上能感受到意识 (同时参考 ConsciousnessAttribute)。如果一个 Agent 能够以相对高层次的理智去思考的话(表现出能够学习、计划和体会情感),那么这个也是 CognitiveAgent 的一个实例。 DomesticAnimal 是一个 SentientAgent,但是它是不是一个 CognitiveAgent 却确定于究竟它是哪一种 Animal。"')

chinese_format.kif 1684-1688
s__documentation(s__SentientAgent,s__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 1492-1498
s__instance(s__SentientAgent,s__Class)

s__instance(s__Agent,s__Class)

s__subclass(s__SentientAgent,s__Agent)

Merge.kif 1481-1481 Sentient agent is a subclass of agent

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


s__instance(s__CognitiveAgent,s__Class)

s__instance(s__SentientAgent,s__Class)

s__subclass(s__CognitiveAgent,s__SentientAgent)

Merge.kif 1500-1500 Cognitive agent is a subclass of sentient agent
s__termFormat(s__ChineseLanguage,s__SentientAgent,'"有感知的主事"')

chinese_format.kif 849-849
s__termFormat(s__EnglishLanguage,s__SentientAgent,'"sentient agent"')

english_format.kif 905-905

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


s__domain(s__detainedAtTimeInPlace__m,n__1,s__SentientAgent)

Justice.kif 17-17 The number 1 argument of detained at time in place is an instance of sentient agent
s__domain(s__speaksLanguage__m,n__1,s__SentientAgent)

Mid-level-ontology.kif 680-680 The number 1 argument of speaks language is an instance of sentient agent

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


( ! [V__AGENT] :
   ((((s__instance(V__AGENT,s__SentientAgent) &
           s__attribute(V__AGENT,s__Living))
         =>
         ( ? [V__ATTR] :
           ((s__instance(V__ATTR,s__ConsciousnessAttribute) &
               s__attribute(V__AGENT,V__ATTR)))))
     &
     (( ? [V__ATTR] :
         ((s__instance(V__ATTR,s__ConsciousnessAttribute) &
             s__attribute(V__AGENT,V__ATTR))))
     =>
     (s__instance(V__AGENT,s__SentientAgent) &
       s__attribute(V__AGENT,s__Living))))
)
)

Merge.kif 17575-17582 An object is an instance of sentient agent and living is an attribute of the object if and only if there exists an attribute such that the attribute is an instance of consciousness attribute and the attribute is an attribute of the object
( ! [V__AGENT] :
   ((s__instance(V__AGENT,s__SentientAgent) =>
       (s__capability(s__Perception,s__experiencer__m,V__AGENT)))
   )
)

Merge.kif 12838-12840

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


( ! [V__AGENT,V__ATTR] :
   ((s__instance(V__AGENT,s__Object) =>
       (((s__instance(V__ATTR,s__PsychologicalAttribute) &
             s__attribute(V__AGENT,V__ATTR))
         =>
         (s__instance(V__AGENT,s__SentientAgent)))))
   )
)

Merge.kif 17554-17558
( ! [V__X] :
   ((s__instance(V__X,s__HostageTaking) =>
       (( ? [V__A] :
           ((s__instance(V__A,s__SentientAgent) &
               s__patient(V__X,V__A))))))
   )
)

Mid-level-ontology.kif 21052-21057
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21085-21100


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 3.0 is open source software produced by Articulate Software and its partners