| 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 2344-2344 | ContainerRoRoCargoShip is a subclass of roll on roll off cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2346-2346 | Vehicle carrier ship is a subclass of roll on roll off cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2351-2351 | Passenger- landing craft is a subclass of roll on roll off cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2354-2354 | Railcar carrier ship is a subclass of roll on roll off cargo ship |
|
|