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 2587-2590 | |
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 2584-2584 | The number 1 argument of probability is an instance of formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2581-2581 | Probability is an instance of probability relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2582-2582 | Probability is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2583-2583 | Probability is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2585-2585 | 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 47494-47494 | |
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 47493-47493 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47492-47492 | |
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 17704-17710 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17716-17722 |
|
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 |
|
![]() |
![]() |