No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2591-2591 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2590-2590 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2589-2589 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2536-2536 |
船舶重量吨位 是 船只位移 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2547-2547 |
船舶总注册吨位 是 船只位移 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61580-61580 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61579-61579 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61578-61578 |
|