No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2396-2396 |
组合散装批货船 的名 是 "combination carrier" |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2398-2398 |
CombinationBulkOilCarrierShip 是 组合散装批货船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2408-2408 |
CombinationOreOilCarrierShip 是 组合散装批货船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15732-15732 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15731-15731 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15730-15730 |
|