believes |
appearance as argument number 1 |
![]() |
(documentation believes ChineseLanguage "这是信念的知识谓词,(believes ?AGENT ?FORMULA)的 意思是 ?AGENT 相信 ?FORMULA 所表达的命题。") | chinese_format.kif 1941-1942 | |
(documentation believes EnglishLanguage "The epistemic predicate of belief. (believes ?AGENT ?FORMULA) means that ?AGENT believes the proposition expressed by ?FORMULA.") | Merge.kif 2790-2792 | |
(domain believes 1 CognitiveAgent) | Merge.kif 2787-2787 | 相信 的 1 数量 是 有认知的主事 的 instance |
(domain believes 2 Formula) | Merge.kif 2788-2788 | 相信 的 2 数量 是 公式 的 instance |
(instance believes BinaryPredicate) | Merge.kif 2785-2785 | 相信 是 二元谓语 的 instance |
(instance believes PropositionalAttitude) | Merge.kif 2784-2784 | 相信 是 命题态度 的 instance |
(subrelation believes inScopeOfInterest) | Merge.kif 2786-2786 | 相信 是 感兴趣 的 subrelation |
appearance as argument number 2 |
![]() |
(format ChineseLanguage believes "%1 %n{doesn't} believes %2") | chinese_format.kif 61-61 | |
(format EnglishLanguage believes "%1 %n{doesn't} believe%p{s} %2") | english_format.kif 61-61 | |
(termFormat ChineseLanguage believes "相信") | chinese_format.kif 62-62 | |
(termFormat ChineseTraditionalLanguage believes "相信") | domainEnglishFormat.kif 10682-10682 | |
(termFormat EnglishLanguage believes "believes") | domainEnglishFormat.kif 10681-10681 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |