![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(contraryAttribute Likely Unlikely) | Merge.kif 17410-17410 | |
(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 17411-17412 | |
(instance Likely ProbabilityAttribute) | Merge.kif 17409-17409 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Likely "容易") | domainEnglishFormat.kif 34406-34406 | |
(termFormat ChineseTraditionalLanguage Likely "容易") | domainEnglishFormat.kif 34405-34405 | |
(termFormat EnglishLanguage Likely "likely") | domainEnglishFormat.kif 34404-34404 |
antecedent |
![]() |
(=> (modalAttribute ?FORMULA Likely) (greaterThan (ProbabilityFn (truth ?FORMULA True)) (ProbabilityFn (truth ?FORMULA False)))) |
Merge.kif 17414-17416 |
consequent |
![]() |
![]() |
![]() |