No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2323-2323 |
子類 甲板貨船 and 普通貨船 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2322-2322 |
子類 托盤貨船 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 |
|