![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(contraryAttribute Likely Unlikely) | Merge.kif 17272-17272 | Likely is the opposite of unlikely |
(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 17273-17274 | |
(instance Likely ProbabilityAttribute) | Merge.kif 17271-17271 | Likely is an instance of probability attribute |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Likely "容易") | domainEnglishFormat.kif 34380-34380 | |
(termFormat ChineseTraditionalLanguage Likely "容易") | domainEnglishFormat.kif 34379-34379 | |
(termFormat EnglishLanguage Likely "likely") | domainEnglishFormat.kif 34378-34378 |
antecedent |
![]() |
(=> (modalAttribute ?FORMULA Likely) (greaterThan (ProbabilityFn (truth ?FORMULA True)) (ProbabilityFn (truth ?FORMULA False)))) |
Merge.kif 17276-17278 |
|
consequent |
![]() |
![]() |
![]() |