| 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 2709-2711 | |
| (documentation PropositionalAttitude JapaneseLanguage "Agent が Proposition の認識を 持っている IntentionalRelations IR の Class。") | japanese_format.kif 552-553 | |
| (subclass PropositionalAttitude AsymmetricRelation) | Merge.kif 2706-2706 | |
| (subclass PropositionalAttitude InheritableRelation) | Merge.kif 2707-2707 | |
| (subclass PropositionalAttitude IntentionalRelation) | Merge.kif 2705-2705 |
| appearance as argument number 2 |
|
|
| (disjoint ObjectAttitude PropositionalAttitude) | Merge.kif 2721-2721 | |
| (instance believes PropositionalAttitude) | Merge.kif 2818-2818 | |
| (instance considers PropositionalAttitude) | Merge.kif 2808-2808 | |
| (instance desires PropositionalAttitude) | Merge.kif 2795-2795 | |
| (instance disapproves PropositionalAttitude) | Mid-level-ontology.kif 8601-8601 | |
| (instance doubts PropositionalAttitude) | Mid-level-ontology.kif 8573-8573 | |
| (instance knows PropositionalAttitude) | Merge.kif 2834-2834 | |
| (instance says PropositionalAttitude) | Merge.kif 2854-2854 | |
| (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 2713-2717 |
|
|
|