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 | 域 可能性, 1 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2570-2570 | 例 可能性 and ProbabilityRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2571-2571 | 例 可能性 and TotalValuedRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2572-2572 | 例 可能性 and UnaryFunction |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2574-2574 | 範圍 可能性 and RealNumber |
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 47492-47492 | |
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 47491-47491 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47490-47490 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 112-112 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2623-2628 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18343-18358 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2884-2902 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2606-2611 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2640-2645 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1718-1736 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22832-22849 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23640-23657 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1453-1470 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23677-23694 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1493-1510 |
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 17529-17531 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17537-17539 | |
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 |
|