| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2418-2418 | Dry bulk carrier ship is a subclass of cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2420-2420 | Bulk cargo ship is a subclass of dry bulk carrier ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2421-2421 | Ore carrier ship is a subclass of dry bulk carrier ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2422-2422 | Self discharging bulk carrier ship is a subclass of dry bulk carrier ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2423-2423 | Cement carrier ship is a subclass of dry bulk carrier ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2424-2424 | Wood chips carrier ship is a subclass of dry bulk carrier ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2425-2425 | Urea carrier ship is a subclass of dry bulk carrier ship |
|
|