No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2316-2316 |
货船 的名 是 "freighter" |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2325-2325 |
驳船运输船 是 货船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2371-2371 |
化学品船 是 货船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2395-2395 |
组合散装批货船 是 货船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2332-2332 |
集装箱船 是 货船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2418-2418 |
干散货船 是 货船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2315-2315 |
普通货船 是 货船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2382-2382 |
液化气罐船 是 货船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2327-2327 |
牲畜运输船 是 货船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2359-2359 |
多功能大型承载船 是 货船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2483-2483 |
远洋班轮 是 货船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2433-2433 |
客货船 是 货船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2363-2363 |
石油油轮船 是 货船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2337-2337 |
冷藏货船 是 货船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2340-2340 |
滚上滚下货船 是 货船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2427-2427 |
专业油轮 是 货船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13236-13236 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13235-13235 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13234-13234 |
|