| 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 Agent has awareness of a Proposition.") | Merge.kif 2604-2606 | |
| (subclass PropositionalAttitude AsymmetricRelation) | Merge.kif 2601-2601 | |
| (subclass PropositionalAttitude InheritableRelation) | Merge.kif 2602-2602 | |
| (subclass PropositionalAttitude IntentionalRelation) | Merge.kif 2600-2600 |
| appearance as argument number 2 |
|
|
| (disjoint ObjectAttitude PropositionalAttitude) | Merge.kif 2616-2616 | |
| (instance believes PropositionalAttitude) | Merge.kif 2713-2713 | |
| (instance considers PropositionalAttitude) | Merge.kif 2703-2703 | |
| (instance desires PropositionalAttitude) | Merge.kif 2690-2690 | |
| (instance disapproves PropositionalAttitude) | Mid-level-ontology.kif 7121-7121 | |
| (instance doubts PropositionalAttitude) | Mid-level-ontology.kif 7093-7093 | |
| (instance knows PropositionalAttitude) | Merge.kif 2728-2728 | |
| (termFormat ChineseLanguage PropositionalAttitude "命题态度") | chinese_format.kif 908-908 | |
| (termFormat EnglishLanguage PropositionalAttitude "propositional attitude") | english_format.kif 1028-1028 |
| antecedent |
|
|
| (=> (and (instance ?REL PropositionalAttitude) (?REL ?AGENT ?FORMULA)) (instance ?FORMULA Formula)) |
Merge.kif 2608-2612 |
|
|
|