| 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 2694-2696 | |
| (documentation PropositionalAttitude JapaneseLanguage "Agent が Proposition の認識を 持っている IntentionalRelations IR の Class。") | japanese_format.kif 552-553 | |
| (subclass PropositionalAttitude AsymmetricRelation) | Merge.kif 2691-2691 | |
| (subclass PropositionalAttitude InheritableRelation) | Merge.kif 2692-2692 | |
| (subclass PropositionalAttitude IntentionalRelation) | Merge.kif 2690-2690 |
| appearance as argument number 2 |
|
|
| (disjoint ObjectAttitude PropositionalAttitude) | Merge.kif 2706-2706 | |
| (instance believes PropositionalAttitude) | Merge.kif 2803-2803 | |
| (instance considers PropositionalAttitude) | Merge.kif 2793-2793 | |
| (instance desires PropositionalAttitude) | Merge.kif 2780-2780 | |
| (instance disapproves PropositionalAttitude) | Mid-level-ontology.kif 8620-8620 | |
| (instance doubts PropositionalAttitude) | Mid-level-ontology.kif 8592-8592 | |
| (instance knows PropositionalAttitude) | Merge.kif 2819-2819 | |
| (instance says PropositionalAttitude) | Merge.kif 2839-2839 | |
| (termFormat ChineseLanguage PropositionalAttitude "命题态度") | chinese_format.kif 908-908 | |
| (termFormat EnglishLanguage PropositionalAttitude "propositional attitude") | english_format.kif 1023-1023 | |
| (termFormat FrenchLanguage PropositionalAttitude "attitude propositionnelle") | french_format.kif 584-584 | |
| (termFormat Hindi PropositionalAttitude "prastaavaatmak abhivQtti") | terms-hindi.txt 114-114 | |
| (termFormat ItalianLanguage PropositionalAttitude "AtteggiamentoProposizionale") | terms-it.txt 117-117 | |
| (termFormat JapaneseLanguage PropositionalAttitude "命題態度") | japanese_format.kif 2269-2269 | |
| (termFormat PortugueseLanguage PropositionalAttitude "Atitude pProposicional") | portuguese_format.kif 536-536 | |
| (termFormat cz PropositionalAttitude "propositional attitude") | terms-cz.txt 151-151 | |
| (termFormat de PropositionalAttitude "propositionale Einstellung") | terms-de.txt 410-410 | |
| (termFormat ro PropositionalAttitude "atitudine propoziþionalã") | relations-ro.kif 605-605 | |
| (termFormat tg PropositionalAttitude "binabalak na kilos") | terms-tg.txt 118-118 |
| antecedent |
|
|
| (=> (and (instance ?REL PropositionalAttitude) (?REL ?AGENT ?FORMULA)) (instance ?FORMULA Formula)) |
Merge.kif 2698-2702 |
|
|
|