1 files changed, 0 insertions, 1083 deletions
diff --git a/examples/SUMO/TPTP/TransportationAx.p b/examples/SUMO/TPTP/TransportationAx.p
deleted file mode 100644
index 82a93b560..000000000
--- a/examples/SUMO/TPTP/TransportationAx.p
+++ /dev/null
@@ -1,1083 +0,0 @@
-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))).
-