ProbabilityFn |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1901-1902 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2570-2573 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 527-529 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2567-2567 | The number 1 argument of probability is an instance of formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2564-2564 | Probability is an instance of probability relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2565-2565 | Probability is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2566-2566 | Probability is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2568-2568 | The range of probability is an instance of real number |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 271-271 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 276-276 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 154-154 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 232-232 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1982-1982 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 106-106 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 350-350 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 270-270 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 173-173 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 160-160 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 424-424 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47523-47523 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 272-272 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47522-47522 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47521-47521 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 112-112 |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 531-537 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 569-575 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 146-153 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3800-3810 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17655-17661 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17667-17673 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 388-407 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 607-617 |
|
![]() |
![]() |