| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2570-2570 |
表示机率的函数 是 概率关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2581-2581 |
机率 是 概率关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2613-2613 |
降低可能性 是 概率关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2593-2593 |
提高可能性 是 概率关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2630-2630 |
独立发生机率 是 概率关系 的 instance |
| 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