No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17546-17546 |
容易 是 概率属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17555-17555 |
较不可能 是 概率属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47486-47486 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47485-47485 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47484-47484 |
|