| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2418-2418 | 子類 乾散貨船 and 貨船 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2420-2420 | 子類 散貨船 and 乾散貨船 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2421-2421 | 子類 礦石運輸船 and 乾散貨船 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2422-2422 | 子類 自卸式散貨船 and 乾散貨船 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2423-2423 | 子類 水泥運輸船 and 乾散貨船 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2424-2424 | 子類 木屑運輸船 and 乾散貨船 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2425-2425 | 子類 尿素載體船 and 乾散貨船 |
|
|