No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2372-2372 |
名 "chemical carrier" and 化學品船 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2380-2380 |
子類 化學品 - 油輪船 and 化學品船 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14340-14340 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14339-14339 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14338-14338 |
|