![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Unlikely ChineseLanguage "这是表示不可能发生的 ProbabilityAttribute,即是 即是有可能是 False 的机会比不可能的大。") | chinese_format.kif 3919-3920 | |
(documentation Unlikely EnglishLanguage "The ProbabilityAttribute of being improbable, i.e. more likely than not to be False.") | Merge.kif 17615-17616 | |
(instance Unlikely ProbabilityAttribute) | Merge.kif 17614-17614 | Unlikely est une instance de ProbabilityAttribute |
appearance as argument number 2 |
![]() |
(contraryAttribute Likely Unlikely) | Merge.kif 17602-17602 | Likely est l'oppos� de Unlikely |
(termFormat ChineseLanguage Unlikely "较不可能") | domainEnglishFormat.kif 60501-60501 | Likely est l'oppos� de Unlikely |
(termFormat ChineseTraditionalLanguage Unlikely "較不可能") | domainEnglishFormat.kif 60500-60500 | Likely est l'oppos� de Unlikely |
(termFormat EnglishLanguage Unlikely "unlikely") | domainEnglishFormat.kif 60499-60499 | Likely est l'oppos� de Unlikely |
antecedent |
![]() |
(=> (modalAttribute ?FORMULA Unlikely) (greaterThan (ProbabilityFn (truth ?FORMULA False)) (ProbabilityFn (truth ?FORMULA True)))) |
Merge.kif 17618-17624 |
consequent |
![]() |
![]() |
![]() |