Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SentientAgent |  |
| appearance as argument number 1 |
|
|
| (subclass SentientAgent AutonomousAgent) | Merge.kif 1661-1661 | |
| (documentation SentientAgent EnglishLanguage "A SentientAgent is an AutonomousAgent that is capable of Perception and experiences some level of consciousness (see ConsciousnessAttribute). If the AutonomousAgent 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 1663-1669 |
| appearance as argument number 2 |
|
|
| (subclass CognitiveAgent SentientAgent) | Merge.kif 1671-1671 | |
| (termFormat EnglishLanguage SentientAgent "sentient agent") | english_format.kif 904-904 |
| appearance as argument number 3 |
|
|
| (domain speaksLanguage 1 SentientAgent) | Mid-level-ontology.kif 719-719 | |
| (domain detainedAtTimeInPlace 1 SentientAgent) | Justice.kif 17-17 |
| antecedent |
|
|
| (=> (instance ?AGENT SentientAgent) (capability Perception experiencer ?AGENT)) |
Merge.kif 13771-13773 | |
| (=> (and (instance ?AGENT SentientAgent) (attribute ?AGENT Living)) (exists (?ATTR) (and (instance ?ATTR ConsciousnessAttribute) (attribute ?AGENT ?ATTR)))) |
Merge.kif 18647-18654 |
| consequent |
|
|
| (=> (and (instance ?ATTR PsychologicalAttribute) (attribute ?AGENT ?ATTR)) (instance ?AGENT SentientAgent)) |
Merge.kif 18619-18623 | |
| (=> (and (instance ?ATTR ConsciousnessAttribute) (attribute ?AGENT ?ATTR)) (and (instance ?AGENT SentientAgent) (attribute ?AGENT Living))) |
Merge.kif 18656-18662 | |
| (=> (instance ?X HostageTaking) (exists (?A) (and (instance ?A SentientAgent) (patient ?X ?A)))) |
Mid-level-ontology.kif 24218-24223 | |
| (=> (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 24251-24266 |
|