| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30062-30062 | Cargo ship is a subclass of ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2315-2315 | General cargo ship is a subclass of cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2325-2325 | Barge carrier ship is a subclass of cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2327-2327 | Livestock carrier ship is a subclass of cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2332-2332 | Container ship is a subclass of cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2337-2337 | Refrigerated cargo ship is a subclass of cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2340-2340 | Roll on roll off cargo ship is a subclass of cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2359-2359 | Multifunctional large load carrier ship is a subclass of cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2363-2363 | Petroleum tanker ship is a subclass of cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2371-2371 | Chemical tanker ship is a subclass of cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2382-2382 | Liquefied gas tanker ship is a subclass of cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2395-2395 | Combination bulk carrier ship is a subclass of cargo ship |
| 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 2427-2427 | Specialized tanker ship is a subclass of cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2433-2433 | Passenger and cargo ship is a subclass of cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2483-2483 | Ocean liner is a subclass of cargo ship |
|
|