| SentientAgent(sentient agent) | |
| appearance as argument number 1 |
|
|
| (documentation SentientAgent ChineseLanguage " SentientAgent 是一个能够 Perception (感知)的 Agent， 并且在某程度上能感受到意识 （同时参考 ConsciousnessAttribute)。如果一个 Agent 能够以相对高层次的理智去思考的话（表现出能够学习、计划和体会情感)，那么这个也是 CognitiveAgent 的一个实例。 DomesticAnimal 是一个 SentientAgent，但是它是不是一个 CognitiveAgent 却确定于究竟它是哪一种 Animal。") | chinese_format.kif 1684-1688 | |
| (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 1578-1584 | |
| (documentation SentientAgent JapaneseLanguage "SentientAgent は Perception が可能で、 ある程度の意識を経験する Agent である (ConsciousnessAttribute を参照)。Agent が、比較的 高いレベル（学習、計画、感情を感じる能力があると立証された）で論証できるのであれば、それはまた、 CognitiveAgent のインスタンスでもある。 DomesticAnimal は、SentientAgent だが、Animal の種類に応じて、CognitiveAgent である場合とそうでない場合がある。") | japanese_format.kif 277-281 | |
| (subclass SentientAgent AutonomousAgent) | Merge.kif 1576-1576 | Sentient agent est une sous-classe de AutonomousAgent |
| appearance as argument number 2 |
|
|
| (subclass CognitiveAgent SentientAgent) | Merge.kif 1586-1586 | Agent cognitif est une sous-classe de sentient agent |
| (termFormat ChineseLanguage SentientAgent "有感知的主事") | chinese_format.kif 849-849 | Agent cognitif est une sous-classe de sentient agent |
| (termFormat EnglishLanguage SentientAgent "sentient agent") | english_format.kif 900-900 | Agent cognitif est une sous-classe de sentient agent |
| (termFormat FrenchLanguage SentientAgent "sentient agent") | french_format.kif 525-525 | Agent cognitif est une sous-classe de sentient agent |
| (termFormat Hindi SentientAgent "sachetana kartaa") | terms-hindi.txt 56-56 | Agent cognitif est une sous-classe de sentient agent |
| (termFormat ItalianLanguage SentientAgent "AgenteSensibile") | terms-it.txt 59-59 | Agent cognitif est une sous-classe de sentient agent |
| (termFormat JapaneseLanguage SentientAgent "意識［知覚］を持つ代理(人)") | japanese_format.kif 2210-2210 | Agent cognitif est une sous-classe de sentient agent |
| (termFormat PortugueseLanguage SentientAgent "Agente Sentiente") | portuguese_format.kif 477-477 | Agent cognitif est une sous-classe de sentient agent |
| (termFormat cz SentientAgent "sentient agent") | terms-cz.txt 92-92 | Agent cognitif est une sous-classe de sentient agent |
| (termFormat de SentientAgent "empfindungsfaehiger Agent") | terms-de.txt 351-351 | Agent cognitif est une sous-classe de sentient agent |
| (termFormat ro SentientAgent "agent conºtient") | relations-ro.kif 546-546 | Agent cognitif est une sous-classe de sentient agent |
| (termFormat tg SentientAgent "kinatawanng mapag-isip") | terms-tg.txt 60-60 | Agent cognitif est une sous-classe de sentient agent |
| appearance as argument number 3 |
|
|
| (domain detainedAtTimeInPlace 1 SentientAgent) | Justice.kif 17-17 | Le nombre 1 argument de detainedAtTimeInPlace est une instance de sentient agent |
| (domain speaksLanguage 1 SentientAgent) | Mid-level-ontology.kif 729-729 | Le nombre 1 argument de speaksLanguage est une instance de sentient agent |
| antecedent |
|
|
| (=> (and (instance ?AGENT SentientAgent) (attribute ?AGENT Living)) (exists (?ATTR) (and (instance ?ATTR ConsciousnessAttribute) (attribute ?AGENT ?ATTR)))) |
Merge.kif 18486-18493 | |
| (=> (instance ?AGENT SentientAgent) (capability Perception experiencer ?AGENT)) |
Merge.kif 13615-13617 |
|
| consequent |
|
|
|
|
|