| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30062-30062 | 货船 是 船 的 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 2325-2325 | 驳船运输船 是 货船 的 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 2332-2332 | 集装箱船 是 货船 的 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 2359-2359 | 多功能大型承载船 是 货船 的 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 2371-2371 | 化学品船 是 货船 的 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 2395-2395 | 组合散装批货船 是 货船 的 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 2427-2427 | 专业油轮 是 货船 的 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 2483-2483 | 远洋班轮 是 货船 的 subclass |
|
|