No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2372-2372 |
化学品船 的名 是 "chemical carrier" |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2380-2380 |
化學品 - 油輪船 是 化学品船 的 subclass |
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 |
|