| 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 2581-2581 |
例 條件概率 and ProbabilityRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2613-2613 |
例 降低可能性 and ProbabilityRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2593-2593 |
例 增加可能性 and ProbabilityRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2630-2630 |
例 獨立概率 and ProbabilityRelation |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 905-905 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1017-1017 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 581-581 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 111-111 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 114-114 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2266-2266 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 533-533 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 148-148 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 602-602 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 115-115 |
|
ProbabilityRelation