| 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 |
|
|
| (subclass SentientAgent AutonomousAgent) | Merge.kif 1601-1601 | Sentient agent is a subclass of agent |
| (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 1603-1609 | Sentient agent is a subclass of agent |
| appearance as argument number 2 |
|
|
| (subclass CognitiveAgent SentientAgent) | Merge.kif 1611-1611 | Cognitive agent is a subclass of sentient agent |
| (termFormat EnglishLanguage SentientAgent "sentient agent") | english_format.kif 900-900 | Cognitive agent is a subclass of sentient agent |
| appearance as argument number 3 |
|
|
| (domain detainedAtTimeInPlace 1 SentientAgent) | Justice.kif 17-17 | The number 1 argument of detained at time in place is an instance of sentient agent |
| (domain speaksLanguage 1 SentientAgent) | Mid-level-ontology.kif 732-732 | The number 1 argument of speaks language is an instance of sentient agent |
| antecedent |
|
|
| (=> (instance ?AGENT SentientAgent) (capability Perception experiencer ?AGENT)) |
Merge.kif 13637-13639 | If X is an instance of sentient agent, then X is capable of doing perception as a experiencer |
| (=> (and (instance ?AGENT SentientAgent) (attribute ?AGENT Living)) (exists (?ATTR) (and (instance ?ATTR ConsciousnessAttribute) (attribute ?AGENT ?ATTR)))) |
Merge.kif 18513-18520 | If X is an instance of sentient agent and living is an attribute of X, then there exists Y such that Y is an instance of consciousness attribute and Y is an attribute of X |
| consequent |
|
|
|
|
|