Likely(容易) | ![]() |
appearance as argument number 1 |
![]() |
(contraryAttribute Likely Unlikely) | Merge.kif 17376-17376 | 容易 是 较不可能 的相反 |
(documentation Likely ChineseLanguage "这是表示有可能发生的 ProbabilityAttribute,即是有可能是 True 的机会比不可能的大。") | chinese_format.kif 3917-3918 | |
(documentation Likely EnglishLanguage "The ProbabilityAttribute of being probable, i.e. more likely than not to be True.") | Merge.kif 17377-17378 | |
(instance Likely ProbabilityAttribute) | Merge.kif 17375-17375 | 容易 是 概率属性 的 instance |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Likely "容易") | domainEnglishFormat.kif 34375-34375 | |
(termFormat ChineseTraditionalLanguage Likely "容易") | domainEnglishFormat.kif 34374-34374 | |
(termFormat EnglishLanguage Likely "likely") | domainEnglishFormat.kif 34373-34373 |
antecedent |
![]() |
(=> (modalAttribute ?FORMULA Likely) (greaterThan (ProbabilityFn (truth ?FORMULA True)) (ProbabilityFn (truth ?FORMULA False)))) |
Merge.kif 17380-17382 |
consequent |
![]() |
![]() |
![]() |