PropositionalAttitude
|
|
appearance as argument number 1 |
(documentation PropositionalAttitude ChineseLanguage "这是一个 IntentionalRelation Class,它的 Agent 对 Proposition 有认知。") | chinese_format.kif 1925-1926 | |
(documentation PropositionalAttitude EnglishLanguage "The Class of IntentionalRelations where the AutonomousAgent has awareness of a Proposition.") | Merge.kif 2698-2700 | |
(documentation PropositionalAttitude JapaneseLanguage "Agent が Proposition の認識を 持っている IntentionalRelations IR の Class。") | japanese_format.kif 552-553 | |
(subclass PropositionalAttitude AsymmetricRelation) | Merge.kif 2695-2695 | 命题态度 是 非对称关系 的 subclass |
(subclass PropositionalAttitude InheritableRelation) | Merge.kif 2696-2696 | 命题态度 是 可继承的关系 的 subclass |
(subclass PropositionalAttitude IntentionalRelation) | Merge.kif 2694-2694 | 命题态度 是 有意图的关系 的 subclass |
appearance as argument number 2 |
antecedent |
(=> (and (instance ?REL PropositionalAttitude) (?REL ?AGENT ?FORMULA)) (instance ?FORMULA Formula)) |
Merge.kif 2702-2706 |