From f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Mon, 16 Sep 2013 07:17:27 +0000 Subject: Remove contribs and examples Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb --- examples/SUMO/TPTP/TransportationAx.p | 1083 --------------------------------- 1 file changed, 1083 deletions(-) delete mode 100644 examples/SUMO/TPTP/TransportationAx.p (limited to 'examples/SUMO/TPTP/TransportationAx.p') 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))). - -- cgit v1.2.3