No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2402-2402 |
名 "combination carrier" and 組合散裝批貨船 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2404-2404 |
子類 CombinationBulkOilCarrierShip and 組合散裝批貨船 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2414-2414 |
子類 CombinationOreOilCarrierShip and 組合散裝批貨船 |
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 |
|