No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2329-2329 |
子類 甲板貨船 and 普通貨船 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2328-2328 |
子類 托盤貨船 and 普通貨船 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25656-25656 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25655-25655 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25654-25654 |
|