TransportationAx.p

fof(axTransportation0, axiom, 
 ( ! [X] : 
 (hasType(type_AgentPoweredVehicle, X) => hasType(type_Vehicle, X)))).

fof(axTransportation1, axiom, 
 ( ! [X] : 
 (hasType(type_AirRoute, X) => hasType(type_TransitRoute, X)))).

fof(axTransportation2, axiom, 
 ( ! [X] : 
 (hasType(type_AirTransitway, X) => hasType(type_Transitway, X)))).

fof(axTransportation3, axiom, 
 ( ! [X] : 
 (hasType(type_AircraftCarrier, X) => hasType(type_MilitaryShip, X)))).

fof(axTransportation4, axiom, 
 ( ! [X] : 
 (hasType(type_Airplane, X) => hasType(type_Aircraft, X)))).

fof(axTransportation5, axiom, 
 ( ! [X] : 
 (hasType(type_Airplane, X) => hasType(type_PoweredVehicle, X)))).

fof(axTransportation6, axiom, 
 ( ! [X] : 
 (hasType(type_AirportByRunwaySurface, X) => hasType(type_AirportClassification, X)))).

fof(axTransportation7, axiom, 
 ( ! [X] : 
 (hasType(type_AirportClassification, X) => hasType(type_RelationalAttribute, X)))).

fof(axTransportation8, axiom, 
 ( ! [X] : 
 (hasType(type_Airport, X) => hasType(type_AirTransitway, X)))).

fof(axTransportation9, axiom, 
 ( ! [X] : 
 (hasType(type_Airport, X) => hasType(type_LandTransitway, X)))).

fof(axTransportation10, axiom, 
 ( ! [X] : 
 (hasType(type_Airport, X) => hasType(type_TransitTerminal, X)))).

fof(axTransportation11, axiom, 
 ( ! [X] : 
 (hasType(type_Airway, X) => hasType(type_Transitway, X)))).

fof(axTransportation12, axiom, 
 ( ! [X] : 
 (hasType(type_Ambulance, X) => hasType(type_EmergencyRoadVehicle, X)))).

fof(axTransportation13, axiom, 
 ( ! [X] : 
 (hasType(type_Anchorage, X) => hasType(type_WaterArea, X)))).

fof(axTransportation14, axiom, 
 ( ! [X] : 
 (hasType(type_BargeCarrierShip, X) => hasType(type_CargoShip, X)))).

fof(axTransportation15, axiom, 
 ( ! [X] : 
 (hasType(type_Barge, X) => hasType(type_WaterVehicle, X)))).

fof(axTransportation16, axiom, 
 ( ! [X] : 
 (hasType(type_Bicycle, X) => hasType(type_Cycle, X)))).

fof(axTransportation17, axiom, 
 ( ! [X] : 
 (hasType(type_Boxcar, X) => hasType(type_FreightCar, X)))).

fof(axTransportation18, axiom, 
 ( ! [X] : 
 (hasType(type_Bridge, X) => hasType(type_LandTransitway, X)))).

fof(axTransportation19, axiom, 
 ( ! [X] : 
 (hasType(type_Bridge, X) => hasType(type_StationaryArtifact, X)))).

fof(axTransportation20, axiom, 
 ( ! [X] : 
 (hasType(type_BroadGaugeRailway, X) => hasType(type_Railway, X)))).

fof(axTransportation21, axiom, 
 ( ! [X] : 
 (hasType(type_BulkCargoShip, X) => hasType(type_DryBulkCarrierShip, X)))).

fof(axTransportation22, axiom, 
 ( ! [X] : 
 (hasType(type_BusinessRailcar, X) => hasType(type_PassengerRailcar, X)))).

fof(axTransportation23, axiom, 
 ( ! [X] : 
 (hasType(type_CIAAirportLengthClassification, X) => hasType(type_AirportClassification, X)))).

fof(axTransportation24, axiom, 
 ( ! [X] : 
 (hasType(type_CabCar, X) => hasType(type_RollingStock, X)))).

fof(axTransportation25, axiom, 
 ( ! [X] : 
 (hasType(type_CableShip, X) => hasType(type_Ship, X)))).

fof(axTransportation26, axiom, 
 ( ! [X] : 
 (hasType(type_CanalLockGate, X) => hasType(type_Device, X)))).

fof(axTransportation27, axiom, 
 ( ! [X] : 
 (hasType(type_CanalLockGate, X) => hasType(type_TransitwayObstacle, X)))).

fof(axTransportation28, axiom, 
 ( ! [X] : 
 (hasType(type_CanalLock, X) => hasType(type_StationaryArtifact, X)))).

fof(axTransportation29, axiom, 
 ( ! [X] : 
 (hasType(type_CanalLock, X) => hasType(type_Waterway, X)))).

fof(axTransportation30, axiom, 
 ( ! [X] : 
 (hasType(type_CanalSystem, X) => hasType(type_WaterTransportationSystem, X)))).

fof(axTransportation31, axiom, 
 ( ! [X] : 
 (hasType(type_Canoe, X) => hasType(type_AgentPoweredVehicle, X)))).

fof(axTransportation32, axiom, 
 ( ! [X] : 
 (hasType(type_Canoe, X) => hasType(type_WaterVehicle, X)))).

fof(axTransportation33, axiom, 
 ( ! [X] : 
 (hasType(type_CarDistributionSystem, X) => hasType(type_OrganizationalProcess, X)))).

fof(axTransportation34, axiom, 
 ( ! [X] : 
 (hasType(type_CargoShip, X) => hasType(type_Ship, X)))).

fof(axTransportation35, axiom, 
 ( ! [X] : 
 (hasType(type_Catamaran, X) => hasType(type_MultihullWaterVehicle, X)))).

fof(axTransportation36, axiom, 
 ( ! [X] : 
 (hasType(type_CementCarrierShip, X) => hasType(type_DryBulkCarrierShip, X)))).

fof(axTransportation37, axiom, 
 ( ! [X] : 
 (hasType(type_Channel, X) => hasType(type_Waterway, X)))).

fof(axTransportation38, axiom, 
 ( ! [X] : 
 (hasType(type_ChemicalTankerShip, X) => hasType(type_CargoShip, X)))).

fof(axTransportation39, axiom, 
 ( ! [X] : 
 (hasType(type_Chemical_OilTankerShip, X) => hasType(type_ChemicalTankerShip, X)))).

fof(axTransportation40, axiom, 
 ( ! [X] : 
 (hasType(type_ClassIIIRailroad, X) => hasType(type_RailroadCompany, X)))).

fof(axTransportation41, axiom, 
 ( ! [X] : 
 (hasType(type_ClassIIRailroad, X) => hasType(type_RailroadCompany, X)))).

fof(axTransportation42, axiom, 
 ( ! [X] : 
 (hasType(type_ClassIRailroad, X) => hasType(type_RailroadCompany, X)))).

fof(axTransportation43, axiom, 
 ( ! [X] : 
 (hasType(type_CombinationBulkCarrierShip, X) => hasType(type_CargoShip, X)))).

fof(axTransportation44, axiom, 
 ( ! [X] : 
 (hasType(type_CombinationBulk_OilCarrierShip, X) => hasType(type_CombinationBulkCarrierShip, X)))).

fof(axTransportation45, axiom, 
 ( ! [X] : 
 (hasType(type_CombinationOre_OilCarrierShip, X) => hasType(type_CombinationBulkCarrierShip, X)))).

fof(axTransportation46, axiom, 
 ( ! [X] : 
 (hasType(type_CommonCarrier, X) => hasType(type_TransportationCompany, X)))).

fof(axTransportation47, axiom, 
 ( ! [X] : 
 (hasType(type_ContainerPort, X) => hasType(type_PortCity, X)))).

fof(axTransportation48, axiom, 
 ( ! [X] : 
 (hasType(type_ContainerShip, X) => hasType(type_CargoShip, X)))).

fof(axTransportation49, axiom, 
 ( ! [X] : 
 (hasType(type_Container_RoRoCargoShip, X) => hasType(type_RollOnRollOffCargoShip, X)))).

fof(axTransportation50, axiom, 
 ( ! [X] : 
 (hasType(type_ContractCarrier, X) => hasType(type_TransportationCompany, X)))).

fof(axTransportation51, axiom, 
 ( ! [X] : 
 (hasType(type_CraneShip, X) => hasType(type_Ship, X)))).

fof(axTransportation52, axiom, 
 ( ! [X] : 
 (hasType(type_CrewDormCar, X) => hasType(type_PassengerRailcar, X)))).

fof(axTransportation53, axiom, 
 ( ! [X] : 
 (hasType(type_CrudeOilPipeline, X) => hasType(type_Pipeline, X)))).

fof(axTransportation54, axiom, 
 ( ! [X] : 
 (hasType(type_CruiseShip, X) => hasType(type_PassengerShip, X)))).

fof(axTransportation55, axiom, 
 ( ! [X] : 
 (hasType(type_Cycle, X) => hasType(type_AgentPoweredVehicle, X)))).

fof(axTransportation56, axiom, 
 ( ! [X] : 
 (hasType(type_Cycle, X) => hasType(type_LandVehicle, X)))).

fof(axTransportation57, axiom, 
 ( ! [X] : 
 (hasType(type_Dam, X) => hasType(type_TransitwayObstacle, X)))).

fof(axTransportation58, axiom, 
 ( ! [X] : 
 (hasType(type_DeckCargoShip, X) => hasType(type_GeneralCargoShip, X)))).

fof(axTransportation59, axiom, 
 ( ! [X] : 
 (hasType(type_DeepDraftHarbor, X) => hasType(type_Harbor, X)))).

fof(axTransportation60, axiom, 
 ( ! [X] : 
 (hasType(type_DeepDraftPort, X) => hasType(type_PortCity, X)))).

fof(axTransportation61, axiom, 
 ( ! [X] : 
 (hasType(type_DeepwaterPort, X) => hasType(type_PortFacility, X)))).

fof(axTransportation62, axiom, 
 ( ! [X] : 
 (hasType(type_Door, X) => hasType(type_Device, X)))).

fof(axTransportation63, axiom, 
 ( ! [X] : 
 (hasType(type_Door, X) => hasType(type_TransitwayObstacle, X)))).

fof(axTransportation64, axiom, 
 ( ! [X] : 
 (hasType(type_Drawbridge, X) => hasType(type_MovableBridge, X)))).

fof(axTransportation65, axiom, 
 ( ! [X] : 
 (hasType(type_Dredger, X) => hasType(type_Ship, X)))).

fof(axTransportation66, axiom, 
 ( ! [X] : 
 (hasType(type_DrillingShip, X) => hasType(type_Ship, X)))).

fof(axTransportation67, axiom, 
 ( ! [X] : 
 (hasType(type_DryBulkCarrierShip, X) => hasType(type_CargoShip, X)))).

fof(axTransportation68, axiom, 
 ( ! [X] : 
 (hasType(type_DualGaugeRailway, X) => hasType(type_Railway, X)))).

fof(axTransportation69, axiom, 
 ( ! [X] : 
 (hasType(type_ElectrifiedRailway, X) => hasType(type_Railway, X)))).

fof(axTransportation70, axiom, 
 ( ! [X] : 
 (hasType(type_EmergencyRoadVehicle, X) => hasType(type_EmergencyVehicle, X)))).

fof(axTransportation71, axiom, 
 ( ! [X] : 
 (hasType(type_EmergencyRoadVehicle, X) => hasType(type_PoweredVehicle, X)))).

fof(axTransportation72, axiom, 
 ( ! [X] : 
 (hasType(type_EmergencyRoadVehicle, X) => hasType(type_RoadVehicle, X)))).

fof(axTransportation73, axiom, 
 ( ! [X] : 
 (hasType(type_EmergencyVehicle, X) => hasType(type_PoweredVehicle, X)))).

fof(axTransportation74, axiom, 
 ( ! [X] : 
 (hasType(type_Expressway, X) => hasType(type_SurfacedRoadway, X)))).

fof(axTransportation75, axiom, 
 ( ! [X] : 
 (hasType(type_FerryBoat, X) => hasType(type_WaterVehicle, X)))).

fof(axTransportation76, axiom, 
 ( ! [X] : 
 (hasType(type_FireBoat, X) => hasType(type_WaterVehicle, X)))).

fof(axTransportation77, axiom, 
 ( ! [X] : 
 (hasType(type_FireEngine, X) => hasType(type_EmergencyRoadVehicle, X)))).

fof(axTransportation78, axiom, 
 ( ! [X] : 
 (hasType(type_FishCarrierShip, X) => hasType(type_FishingShip, X)))).

fof(axTransportation79, axiom, 
 ( ! [X] : 
 (hasType(type_FishFactoryShip, X) => hasType(type_FishingShip, X)))).

fof(axTransportation80, axiom, 
 ( ! [X] : 
 (hasType(type_FishingShip, X) => hasType(type_WaterVehicle, X)))).

fof(axTransportation81, axiom, 
 ( ! [X] : 
 (hasType(type_FishingVessel, X) => hasType(type_FishingShip, X)))).

fof(axTransportation82, axiom, 
 ( ! [X] : 
 (hasType(type_FiveWellStackCar, X) => hasType(type_FreightCar, X)))).

fof(axTransportation83, axiom, 
 ( ! [X] : 
 (hasType(type_FixedBridge, X) => hasType(type_Bridge, X)))).

fof(axTransportation84, axiom, 
 ( ! [X] : 
 (hasType(type_FixedBridge, X) => hasType(type_StationaryArtifact, X)))).

fof(axTransportation85, axiom, 
 ( ! [X] : 
 (hasType(type_FlagOfConvenienceRegister, X) => hasType(type_ShipRegister, X)))).

fof(axTransportation86, axiom, 
 ( ! [X] : 
 (hasType(type_Flatcar, X) => hasType(type_FreightCar, X)))).

fof(axTransportation87, axiom, 
 ( ! [X] : 
 (hasType(type_Flatcar, X) => hasType(type_OpenTopRailcar, X)))).

fof(axTransportation88, axiom, 
 ( ! [X] : 
 (hasType(type_FreightCar, X) => hasType(type_RollingStock, X)))).

fof(axTransportation89, axiom, 
 ( ! [X] : 
 (hasType(type_GalleryCar, X) => hasType(type_PassengerRailcar, X)))).

fof(axTransportation90, axiom, 
 ( ! [X] : 
 (hasType(type_GeneralCargoShip, X) => hasType(type_CargoShip, X)))).

fof(axTransportation91, axiom, 
 ( ! [X] : 
 (hasType(type_GliderPlane, X) => hasType(type_Aircraft, X)))).

fof(axTransportation92, axiom, 
 ( ! [X] : 
 (hasType(type_GliderPlane, X) => hasType(type_UnpoweredVehicle, X)))).

fof(axTransportation93, axiom, 
 ( ! [X] : 
 (hasType(type_Harbor, X) => hasType(type_WaterArea, X)))).

fof(axTransportation94, axiom, 
 ( ! [X] : 
 (hasType(type_Harbor, X) => hasType(type_Waterway, X)))).

fof(axTransportation95, axiom, 
 ( ! [X] : 
 (hasType(type_HeadEndCar, X) => hasType(type_RollingStock, X)))).

fof(axTransportation96, axiom, 
 ( ! [X] : 
 (hasType(type_Heliport, X) => hasType(type_TransitTerminal, X)))).

fof(axTransportation97, axiom, 
 ( ! [X] : 
 (hasType(type_HomeGarage, X) => hasType(type_Building, X)))).

fof(axTransportation98, axiom, 
 ( ! [X] : 
 (hasType(type_HopperDredger, X) => hasType(type_Dredger, X)))).

fof(axTransportation99, axiom, 
 ( ! [X] : 
 (hasType(type_HydraCushionFreightCar, X) => hasType(type_FreightCar, X)))).

fof(axTransportation100, axiom, 
 ( ! [X] : 
 (hasType(type_IceBreakerShip, X) => hasType(type_Ship, X)))).

fof(axTransportation101, axiom, 
 ( ! [X] : 
 (hasType(type_IntermodalTrip, X) => hasType(type_Trip, X)))).

fof(axTransportation102, axiom, 
 ( ! [X] : 
 (hasType(type_InternalShipRegister, X) => hasType(type_ShipRegister, X)))).

fof(axTransportation103, axiom, 
 ( ! [X] : 
 (hasType(type_JetAirplane, X) => hasType(type_Airplane, X)))).

fof(axTransportation104, axiom, 
 ( ! [X] : 
 (hasType(type_Kayak, X) => hasType(type_AgentPoweredVehicle, X)))).

fof(axTransportation105, axiom, 
 ( ! [X] : 
 (hasType(type_Kayak, X) => hasType(type_WaterVehicle, X)))).

fof(axTransportation106, axiom, 
 ( ! [X] : 
 (hasType(type_Lane, X) => hasType(type_Roadway, X)))).

fof(axTransportation107, axiom, 
 ( ! [X] : 
 (hasType(type_LightTruck, X) => hasType(type_Truck, X)))).

fof(axTransportation108, axiom, 
 ( ! [X] : 
 (hasType(type_LiquefiedGasTankerShip, X) => hasType(type_CargoShip, X)))).

fof(axTransportation109, axiom, 
 ( ! [X] : 
 (hasType(type_LiquefiedGas_ChemicalTankerShip, X) => hasType(type_LiquefiedGasTankerShip, X)))).

fof(axTransportation110, axiom, 
 ( ! [X] : 
 (hasType(type_LivestockCarrierShip, X) => hasType(type_CargoShip, X)))).

fof(axTransportation111, axiom, 
 ( ! [X] : 
 (hasType(type_LocomotiveCoalCar, X) => hasType(type_RollingStock, X)))).

fof(axTransportation112, axiom, 
 ( ! [X] : 
 (hasType(type_Locomotive, X) => hasType(type_PoweredVehicle, X)))).

fof(axTransportation113, axiom, 
 ( ! [X] : 
 (hasType(type_Locomotive, X) => hasType(type_RollingStock, X)))).

fof(axTransportation114, axiom, 
 ( ! [X] : 
 (hasType(type_MerchantMarineShip, X) => hasType(type_Ship, X)))).

fof(axTransportation115, axiom, 
 ( ! [X] : 
 (hasType(type_MerchantMarine, X) => hasType(type_Collection, X)))).

fof(axTransportation116, axiom, 
 ( ! [X] : 
 (hasType(type_MotorHopper, X) => hasType(type_Ship, X)))).

fof(axTransportation117, axiom, 
 ( ! [X] : 
 (hasType(type_MotorRailcar, X) => hasType(type_PassengerRailcar, X)))).

fof(axTransportation118, axiom, 
 ( ! [X] : 
 (hasType(type_MotorRailcar, X) => hasType(type_PoweredVehicle, X)))).

fof(axTransportation119, axiom, 
 ( ! [X] : 
 (hasType(type_MotorScooter, X) => hasType(type_RoadVehicle, X)))).

fof(axTransportation120, axiom, 
 ( ! [X] : 
 (hasType(type_Motorcycle, X) => hasType(type_RoadVehicle, X)))).

fof(axTransportation121, axiom, 
 ( ! [X] : 
 (hasType(type_MovableBridge, X) => hasType(type_Bridge, X)))).

fof(axTransportation122, axiom, 
 ( ! [X] : 
 (hasType(type_MultiModalTransitSystem, X) => hasType(type_TransitSystem, X)))).

fof(axTransportation123, axiom, 
 ( ! [X] : 
 (hasType(type_MultifunctionalLargeLoadCarrierShip, X) => hasType(type_CargoShip, X)))).

fof(axTransportation124, axiom, 
 ( ! [X] : 
 (hasType(type_MultihullWaterVehicle, X) => hasType(type_WaterVehicle, X)))).

fof(axTransportation125, axiom, 
 ( ! [X] : 
 (hasType(type_MultipleTrackRailway, X) => hasType(type_Railway, X)))).

fof(axTransportation126, axiom, 
 ( ! [X] : 
 (hasType(type_NarrowGaugeRailway, X) => hasType(type_Railway, X)))).

fof(axTransportation127, axiom, 
 ( ! [X] : 
 (hasType(type_NationalShipRegister, X) => hasType(type_ShipRegister, X)))).

fof(axTransportation128, axiom, 
 ( ! [X] : 
 (hasType(type_NaturalGasPipeline, X) => hasType(type_Pipeline, X)))).

fof(axTransportation129, axiom, 
 ( ! [X] : 
 (hasType(type_OceanLiner, X) => hasType(type_CargoShip, X)))).

fof(axTransportation130, axiom, 
 ( ! [X] : 
 (hasType(type_OceanLiner, X) => hasType(type_PassengerShip, X)))).

fof(axTransportation131, axiom, 
 ( ! [X] : 
 (hasType(type_OffshoreAnchorage, X) => hasType(type_Anchorage, X)))).

fof(axTransportation132, axiom, 
 ( ! [X] : 
 (hasType(type_OffshoreShipRegister, X) => hasType(type_ShipRegister, X)))).

fof(axTransportation133, axiom, 
 ( ! [X] : 
 (hasType(type_OffshoreSupplyShip, X) => hasType(type_Ship, X)))).

fof(axTransportation134, axiom, 
 ( ! [X] : 
 (hasType(type_OffshoreSupportShip, X) => hasType(type_Ship, X)))).

fof(axTransportation135, axiom, 
 ( ! [X] : 
 (hasType(type_OffshoreWellProductionShip, X) => hasType(type_Ship, X)))).

fof(axTransportation136, axiom, 
 ( ! [X] : 
 (hasType(type_OpenTopRailcar, X) => hasType(type_FreightCar, X)))).

fof(axTransportation137, axiom, 
 ( ! [X] : 
 (hasType(type_OreCarrierShip, X) => hasType(type_DryBulkCarrierShip, X)))).

fof(axTransportation138, axiom, 
 ( ! [X] : 
 (hasType(type_OutfitCar, X) => hasType(type_RollingStock, X)))).

fof(axTransportation139, axiom, 
 ( ! [X] : 
 (hasType(type_PCCCar, X) => hasType(type_Streetcar, X)))).

fof(axTransportation140, axiom, 
 ( ! [X] : 
 (hasType(type_PalletizedCargoShip, X) => hasType(type_GeneralCargoShip, X)))).

fof(axTransportation141, axiom, 
 ( ! [X] : 
 (hasType(type_ParkingGarage, X) => hasType(type_Building, X)))).

fof(axTransportation142, axiom, 
 ( ! [X] : 
 (hasType(type_PassengerAndCargoShip, X) => hasType(type_CargoShip, X)))).

fof(axTransportation143, axiom, 
 ( ! [X] : 
 (hasType(type_PassengerAndCargoShip, X) => hasType(type_PassengerShip, X)))).

fof(axTransportation144, axiom, 
 ( ! [X] : 
 (hasType(type_PassengerRailcar, X) => hasType(type_PassengerVehicle, X)))).

fof(axTransportation145, axiom, 
 ( ! [X] : 
 (hasType(type_PassengerRailcar, X) => hasType(type_RollingStock, X)))).

fof(axTransportation146, axiom, 
 ( ! [X] : 
 (hasType(type_PassengerShip, X) => hasType(type_Ship, X)))).

fof(axTransportation147, axiom, 
 ( ! [X] : 
 (hasType(type_PassengerVehicle, X) => hasType(type_Vehicle, X)))).

fof(axTransportation148, axiom, 
 ( ! [X] : 
 (hasType(type_Passenger_LandingCraft, X) => hasType(type_PassengerAndCargoShip, X)))).

fof(axTransportation149, axiom, 
 ( ! [X] : 
 (hasType(type_Passenger_LandingCraft, X) => hasType(type_RollOnRollOffCargoShip, X)))).

fof(axTransportation150, axiom, 
 ( ! [X] : 
 (hasType(type_PavedRunway, X) => hasType(type_Runway, X)))).

fof(axTransportation151, axiom, 
 ( ! [X] : 
 (hasType(type_PersonalWatercraft, X) => hasType(type_WaterVehicle, X)))).

fof(axTransportation152, axiom, 
 ( ! [X] : 
 (hasType(type_PetroleumProductPipeline, X) => hasType(type_Pipeline, X)))).

fof(axTransportation153, axiom, 
 ( ! [X] : 
 (hasType(type_PetroleumTankerShip, X) => hasType(type_CargoShip, X)))).

fof(axTransportation154, axiom, 
 ( ! [X] : 
 (hasType(type_PlaningHullWaterVehicle, X) => hasType(type_WaterVehicle, X)))).

fof(axTransportation155, axiom, 
 ( ! [X] : 
 (hasType(type_PontoonBridge, X) => hasType(type_MovableBridge, X)))).

fof(axTransportation156, axiom, 
 ( ! [X] : 
 (hasType(type_PortCity, X) => hasType(type_City, X)))).

fof(axTransportation157, axiom, 
 ( ! [X] : 
 (hasType(type_PortFacility, X) => hasType(type_GeopoliticalArea, X)))).

fof(axTransportation158, axiom, 
 ( ! [X] : 
 (hasType(type_PrivateRailcar, X) => hasType(type_RollingStock, X)))).

fof(axTransportation159, axiom, 
 ( ! [X] : 
 (hasType(type_PropellerJet, X) => hasType(type_Airplane, X)))).

fof(axTransportation160, axiom, 
 ( ! [X] : 
 (hasType(type_PropellerPlane, X) => hasType(type_Airplane, X)))).

fof(axTransportation161, axiom, 
 ( ! [X] : 
 (hasType(type_PusherTug, X) => hasType(type_TugBoat, X)))).

fof(axTransportation162, axiom, 
 ( ! [X] : 
 (hasType(type_RailCarrierControl, X) => hasType(type_Guiding, X)))).

fof(axTransportation163, axiom, 
 ( ! [X] : 
 (hasType(type_RailGauge, X) => hasType(type_InternalAttribute, X)))).

fof(axTransportation164, axiom, 
 ( ! [X] : 
 (hasType(type_RailJunction, X) => hasType(type_Railway, X)))).

fof(axTransportation165, axiom, 
 ( ! [X] : 
 (hasType(type_RailJunction, X) => hasType(type_TransitwayJunction, X)))).

fof(axTransportation166, axiom, 
 ( ! [X] : 
 (hasType(type_RailcarCarrierShip, X) => hasType(type_RollOnRollOffCargoShip, X)))).

fof(axTransportation167, axiom, 
 ( ! [X] : 
 (hasType(type_Railcar, X) => hasType(type_RollingStock, X)))).

fof(axTransportation168, axiom, 
 ( ! [X] : 
 (hasType(type_RailroadTrack, X) => hasType(type_StationaryArtifact, X)))).

fof(axTransportation169, axiom, 
 ( ! [X] : 
 (hasType(type_RailwayTerminal, X) => hasType(type_TransitTerminal, X)))).

fof(axTransportation170, axiom, 
 ( ! [X] : 
 (hasType(type_Railway, X) => hasType(type_LandTransitway, X)))).

fof(axTransportation171, axiom, 
 ( ! [X] : 
 (hasType(type_Railway, X) => hasType(type_StationaryArtifact, X)))).

fof(axTransportation172, axiom, 
 ( ! [X] : 
 (hasType(type_RefrigeratedCargoShip, X) => hasType(type_CargoShip, X)))).

fof(axTransportation173, axiom, 
 ( ! [X] : 
 (hasType(type_RefrigeratorCar, X) => hasType(type_Boxcar, X)))).

fof(axTransportation174, axiom, 
 ( ! [X] : 
 (hasType(type_ResearchShip, X) => hasType(type_Ship, X)))).

fof(axTransportation175, axiom, 
 ( ! [X] : 
 (hasType(type_RiverPort, X) => hasType(type_PortCity, X)))).

fof(axTransportation176, axiom, 
 ( ! [X] : 
 (hasType(type_RoadJunction, X) => hasType(type_Roadway, X)))).

fof(axTransportation177, axiom, 
 ( ! [X] : 
 (hasType(type_RoadJunction, X) => hasType(type_TransitwayJunction, X)))).

fof(axTransportation178, axiom, 
 ( ! [X] : 
 (hasType(type_Road, X) => hasType(type_Roadway, X)))).

fof(axTransportation179, axiom, 
 ( ! [X] : 
 (hasType(type_Rocket, X) => hasType(type_Aircraft, X)))).

fof(axTransportation180, axiom, 
 ( ! [X] : 
 (hasType(type_RollOnRollOffCargoShip, X) => hasType(type_CargoShip, X)))).

fof(axTransportation181, axiom, 
 ( ! [X] : 
 (hasType(type_RotaryDumpCar, X) => hasType(type_OpenTopRailcar, X)))).

fof(axTransportation182, axiom, 
 ( ! [X] : 
 (hasType(type_Runabout, X) => hasType(type_WaterVehicle, X)))).

fof(axTransportation183, axiom, 
 ( ! [X] : 
 (hasType(type_Runway, X) => hasType(type_LandTransitway, X)))).

fof(axTransportation184, axiom, 
 ( ! [X] : 
 (hasType(type_Sailboat, X) => hasType(type_WaterVehicle, X)))).

fof(axTransportation185, axiom, 
 ( ! [X] : 
 (hasType(type_ScaleTestCar, X) => hasType(type_RollingStock, X)))).

fof(axTransportation186, axiom, 
 ( ! [X] : 
 (hasType(type_Scooter, X) => hasType(type_AgentPoweredVehicle, X)))).

fof(axTransportation187, axiom, 
 ( ! [X] : 
 (hasType(type_Scooter, X) => hasType(type_LandVehicle, X)))).

fof(axTransportation188, axiom, 
 ( ! [X] : 
 (hasType(type_SeaLane, X) => hasType(type_Waterway, X)))).

fof(axTransportation189, axiom, 
 ( ! [X] : 
 (hasType(type_SeaPort, X) => hasType(type_PortCity, X)))).

fof(axTransportation190, axiom, 
 ( ! [X] : 
 (hasType(type_SecondaryHighway, X) => hasType(type_Roadway, X)))).

fof(axTransportation191, axiom, 
 ( ! [X] : 
 (hasType(type_SelfDischargingBulkCarrierShip, X) => hasType(type_DryBulkCarrierShip, X)))).

fof(axTransportation192, axiom, 
 ( ! [X] : 
 (hasType(type_ShipBerth, X) => hasType(type_WaterArea, X)))).

fof(axTransportation193, axiom, 
 ( ! [X] : 
 (hasType(type_ShipBerthing, X) => hasType(type_Translocation, X)))).

fof(axTransportation194, axiom, 
 ( ! [X] : 
 (hasType(type_ShipCabin, X) => hasType(type_ShipCompartment, X)))).

fof(axTransportation195, axiom, 
 ( ! [X] : 
 (hasType(type_ShipCompartment, X) => hasType(type_Artifact, X)))).

fof(axTransportation196, axiom, 
 ( ! [X] : 
 (hasType(type_ShipContainer, X) => hasType(type_SelfConnectedObject, X)))).

fof(axTransportation197, axiom, 
 ( ! [X] : 
 (hasType(type_ShipCrew, X) => hasType(type_Organization, X)))).

fof(axTransportation198, axiom, 
 ( ! [X] : 
 (hasType(type_ShipDeck, X) => hasType(type_Artifact, X)))).

fof(axTransportation199, axiom, 
 ( ! [X] : 
 (hasType(type_ShipRegister, X) => hasType(type_ContentBearingObject, X)))).

fof(axTransportation200, axiom, 
 ( ! [X] : 
 (hasType(type_ShipRegistration, X) => hasType(type_ContentBearingObject, X)))).

fof(axTransportation201, axiom, 
 ( ! [X] : 
 (hasType(type_ShippingChannel, X) => hasType(type_Waterway, X)))).

fof(axTransportation202, axiom, 
 ( ! [X] : 
 (hasType(type_ShippingLane, X) => hasType(type_Waterway, X)))).

fof(axTransportation203, axiom, 
 ( ! [X] : 
 (hasType(type_ShortSeaPassengerShip, X) => hasType(type_PassengerShip, X)))).

fof(axTransportation204, axiom, 
 ( ! [X] : 
 (hasType(type_SludgeDisposalVessel, X) => hasType(type_Ship, X)))).

fof(axTransportation205, axiom, 
 ( ! [X] : 
 (hasType(type_SpecializedTankerShip, X) => hasType(type_CargoShip, X)))).

fof(axTransportation206, axiom, 
 ( ! [X] : 
 (hasType(type_SpineCar, X) => hasType(type_Flatcar, X)))).

fof(axTransportation207, axiom, 
 ( ! [X] : 
 (hasType(type_StandardGaugeRailway, X) => hasType(type_Railway, X)))).

fof(axTransportation208, axiom, 
 ( ! [X] : 
 (hasType(type_Street, X) => hasType(type_Roadway, X)))).

fof(axTransportation209, axiom, 
 ( ! [X] : 
 (hasType(type_Streetcar, X) => hasType(type_RollingStock, X)))).

fof(axTransportation210, axiom, 
 ( ! [X] : 
 (hasType(type_SurfacedRoadway, X) => hasType(type_Roadway, X)))).

fof(axTransportation211, axiom, 
 ( ! [X] : 
 (hasType(type_TankCar, X) => hasType(type_FreightCar, X)))).

fof(axTransportation212, axiom, 
 ( ! [X] : 
 (hasType(type_TerminalBuilding, X) => hasType(type_Building, X)))).

fof(axTransportation213, axiom, 
 ( ! [X] : 
 (hasType(type_TollBooth, X) => hasType(type_Building, X)))).

fof(axTransportation214, axiom, 
 ( ! [X] : 
 (hasType(type_TrackGauge, X) => hasType(type_InternalAttribute, X)))).

fof(axTransportation215, axiom, 
 ( ! [X] : 
 (hasType(type_TrafficLight, X) => hasType(type_Device, X)))).

fof(axTransportation216, axiom, 
 ( ! [X] : 
 (hasType(type_Trail, X) => hasType(type_LandTransitway, X)))).

fof(axTransportation217, axiom, 
 ( ! [X] : 
 (hasType(type_Trailer, X) => hasType(type_RoadVehicle, X)))).

fof(axTransportation218, axiom, 
 ( ! [X] : 
 (hasType(type_Trailer, X) => hasType(type_UnpoweredVehicle, X)))).

fof(axTransportation219, axiom, 
 ( ! [X] : 
 (hasType(type_TrainStation, X) => hasType(type_TerminalBuilding, X)))).

fof(axTransportation220, axiom, 
 ( ! [X] : 
 (hasType(type_TrainStation, X) => hasType(type_TransitTerminal, X)))).

fof(axTransportation221, axiom, 
 ( ! [X] : 
 (hasType(type_Train, X) => hasType(type_Collection, X)))).

fof(axTransportation222, axiom, 
 ( ! [X] : 
 (hasType(type_Train, X) => hasType(type_PoweredVehicle, X)))).

fof(axTransportation223, axiom, 
 ( ! [X] : 
 (hasType(type_Train, X) => hasType(type_RailVehicle, X)))).

fof(axTransportation224, axiom, 
 ( ! [X] : 
 (hasType(type_TransitRoute, X) => hasType(type_Region, X)))).

fof(axTransportation225, axiom, 
 ( ! [X] : 
 (hasType(type_TransitShelter, X) => hasType(type_Artifact, X)))).

fof(axTransportation226, axiom, 
 ( ! [X] : 
 (hasType(type_TransitStop, X) => hasType(type_Region, X)))).

fof(axTransportation227, axiom, 
 ( ! [X] : 
 (hasType(type_TransitTerminal, X) => hasType(type_StationaryArtifact, X)))).

fof(axTransportation228, axiom, 
 ( ! [X] : 
 (hasType(type_TransitwayJunction, X) => hasType(type_Transitway, X)))).

fof(axTransportation229, axiom, 
 ( ! [X] : 
 (hasType(type_TransitwayObstacle, X) => hasType(type_Object, X)))).

fof(axTransportation230, axiom, 
 ( ! [X] : 
 (hasType(type_TransportationAuthority, X) => hasType(type_Organization, X)))).

fof(axTransportation231, axiom, 
 ( ! [X] : 
 (hasType(type_TransportationDevice, X) => hasType(type_TransportationEquipment, X)))).

fof(axTransportation232, axiom, 
 ( ! [X] : 
 (hasType(type_TransportationEquipment, X) => hasType(type_ManufacturedProduct, X)))).

fof(axTransportation233, axiom, 
 ( ! [X] : 
 (hasType(type_Trawler, X) => hasType(type_FishingShip, X)))).

fof(axTransportation234, axiom, 
 ( ! [X] : 
 (hasType(type_Trip, X) => hasType(type_Motion, X)))).

fof(axTransportation235, axiom, 
 ( ! [X] : 
 (hasType(type_TugBoat, X) => hasType(type_WaterVehicle, X)))).

fof(axTransportation236, axiom, 
 ( ! [X] : 
 (hasType(type_Tunnel, X) => hasType(type_LandTransitway, X)))).

fof(axTransportation237, axiom, 
 ( ! [X] : 
 (hasType(type_Tunnel, X) => hasType(type_StationaryArtifact, X)))).

fof(axTransportation238, axiom, 
 ( ! [X] : 
 (hasType(type_UniModalTransitSystem, X) => hasType(type_TransitSystem, X)))).

fof(axTransportation239, axiom, 
 ( ! [X] : 
 (hasType(type_UnpavedRunway, X) => hasType(type_Runway, X)))).

fof(axTransportation240, axiom, 
 ( ! [X] : 
 (hasType(type_UnpoweredVehicle, X) => hasType(type_Vehicle, X)))).

fof(axTransportation241, axiom, 
 ( ! [X] : 
 (hasType(type_UnsurfacedRoadway, X) => hasType(type_Roadway, X)))).

fof(axTransportation242, axiom, 
 ( ! [X] : 
 (hasType(type_UreaCarrierShip, X) => hasType(type_DryBulkCarrierShip, X)))).

fof(axTransportation243, axiom, 
 ( ! [X] : 
 (hasType(type_VehicleCarrierShip, X) => hasType(type_RollOnRollOffCargoShip, X)))).

fof(axTransportation244, axiom, 
 ( ! [X] : 
 (hasType(type_VehicleRegistration, X) => hasType(type_ContentBearingObject, X)))).

fof(axTransportation245, axiom, 
 ( ! [X] : 
 (hasType(type_WaterJunction, X) => hasType(type_TransitwayJunction, X)))).

fof(axTransportation246, axiom, 
 ( ! [X] : 
 (hasType(type_WaterJunction, X) => hasType(type_Waterway, X)))).

fof(axTransportation247, axiom, 
 ( ! [X] : 
 (hasType(type_WaterTransportationSystem, X) => hasType(type_TransitSystem, X)))).

fof(axTransportation248, axiom, 
 ( ! [X] : 
 (hasType(type_Waterway, X) => hasType(type_Transitway, X)))).

fof(axTransportation249, axiom, 
 ( ! [X] : 
 (hasType(type_Waterway, X) => hasType(type_WaterArea, X)))).

fof(axTransportation250, axiom, 
 ( ! [X] : 
 (hasType(type_WoodChipsCarrierShip, X) => hasType(type_DryBulkCarrierShip, X)))).

fof(axTransportation251, axiom, 
 ( ! [X] : 
 (hasType(type_ManufacturedProduct, X) => hasType(type_Product, X)))).

fof(axTransportation252, axiom, 
 (hasType(type_AirportByRunwaySurface, inst_AirportWithPavedRunway))).

fof(axTransportation253, axiom, 
 (hasType(type_AirportByRunwaySurface, inst_AirportWithUnpavedRunway))).

fof(axTransportation254, axiom, 
 (hasType(type_TrackGauge, inst_BroadGauge))).

fof(axTransportation255, axiom, 
 (hasType(type_RailGauge, inst_BroadGaugeRail))).

fof(axTransportation256, axiom, 
 (hasType(type_Position, inst_ChiefSteward))).

fof(axTransportation257, axiom, 
 (hasType(type_UnitOfVolume, inst_CubicFoot))).

fof(axTransportation258, axiom, 
 (hasType(type_TrackGauge, inst_DualGauge))).

fof(axTransportation259, axiom, 
 (hasType(type_RailGauge, inst_DualGaugeRail))).

fof(axTransportation260, axiom, 
 (hasType(type_Position, inst_FirstMate))).

fof(axTransportation261, axiom, 
 (hasType(type_CIAAirportLengthClassification, inst_LongRunwayAirport))).

fof(axTransportation262, axiom, 
 (hasType(type_UnitOfMass, inst_LongTon))).

fof(axTransportation263, axiom, 
 (hasType(type_CIAAirportLengthClassification, inst_MediumLengthRunwayAirport))).

fof(axTransportation264, axiom, 
 (hasType(type_TrackGauge, inst_NarrowGauge))).

fof(axTransportation265, axiom, 
 (hasType(type_RailGauge, inst_NarrowGaugeRail))).

fof(axTransportation266, axiom, 
 (hasType(type_Waterway, inst_NorthernSeaRoute))).

fof(axTransportation267, axiom, 
 (hasType(type_Waterway, inst_NorthwestPassage))).

fof(axTransportation268, axiom, 
 (hasType(type_Attribute, inst_Paved))).

fof(axTransportation269, axiom, 
 (hasType(type_Position, inst_RadioOperator))).

fof(axTransportation270, axiom, 
 (hasType(type_UnitOfVolume, inst_RegistryTon))).

fof(axTransportation271, axiom, 
 (hasType(type_CIAAirportLengthClassification, inst_ShortRunwayAirport))).

fof(axTransportation272, axiom, 
 (hasType(type_TrackGauge, inst_StandardGauge))).

fof(axTransportation273, axiom, 
 (hasType(type_RailGauge, inst_StandardGaugeRail))).

fof(axTransportation274, axiom, 
 (hasType(type_Attribute, inst_Unpaved))).

fof(axTransportation275, axiom, 
 (hasType(type_CIAAirportLengthClassification, inst_VeryLongRunwayAirport))).

fof(axTransportation276, axiom, 
 (hasType(type_CIAAirportLengthClassification, inst_VeryShortRunwayAirport))).