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 2576-2579 | |
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 2573-2573 | The number 1 argument of probability is an instance of formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2570-2570 | Probability is an instance of probability relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2571-2571 | Probability is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2572-2572 | Probability is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2574-2574 | 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 47504-47504 | |
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 47503-47503 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47502-47502 | |
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 3808-3818 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17499-17501 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17507-17509 |
|
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 |
|
![]() |
![]() |