No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2340-2340 | RollOnRollOffCargoShip est une sous-classe de CargoShip |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2344-2344 | ContainerRoRoCargoShip est une sous-classe de RollOnRollOffCargoShip |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2346-2346 | VehicleCarrierShip est une sous-classe de RollOnRollOffCargoShip |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2351-2351 | PassengerLandingCraft est une sous-classe de RollOnRollOffCargoShip |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2354-2354 | RailcarCarrierShip est une sous-classe de RollOnRollOffCargoShip |