| 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 2646-2648 | |
| (subclass PropositionalAttitude AsymmetricRelation) | Merge.kif 2643-2643 | |
| (subclass PropositionalAttitude InheritableRelation) | Merge.kif 2644-2644 | |
| (subclass PropositionalAttitude IntentionalRelation) | Merge.kif 2642-2642 |
| appearance as argument number 2 |
|
|
| (disjoint ObjectAttitude PropositionalAttitude) | Merge.kif 2658-2658 | |
| (instance believes PropositionalAttitude) | Merge.kif 2755-2755 | |
| (instance considers PropositionalAttitude) | Merge.kif 2745-2745 | |
| (instance desires PropositionalAttitude) | Merge.kif 2732-2732 | |
| (instance disapproves PropositionalAttitude) | Mid-level-ontology.kif 7151-7151 | |
| (instance doubts PropositionalAttitude) | Mid-level-ontology.kif 7123-7123 | |
| (instance knows PropositionalAttitude) | Merge.kif 2770-2770 | |
| (termFormat ChineseLanguage PropositionalAttitude "命题态度") | chinese_format.kif 908-908 | |
| (termFormat EnglishLanguage PropositionalAttitude "propositional attitude") | english_format.kif 1023-1023 |
| antecedent |
|
|
| (=> (and (instance ?REL PropositionalAttitude) (?REL ?AGENT ?FORMULA)) (instance ?FORMULA Formula)) |
Merge.kif 2650-2654 |
|
|
|