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/Transportation.gf | 1343 --------------------------------------- 1 file changed, 1343 deletions(-) delete mode 100644 examples/SUMO/Transportation.gf (limited to 'examples/SUMO/Transportation.gf') diff --git a/examples/SUMO/Transportation.gf b/examples/SUMO/Transportation.gf deleted file mode 100644 index 7ea5d476e..000000000 --- a/examples/SUMO/Transportation.gf +++ /dev/null @@ -1,1343 +0,0 @@ -abstract Transportation = MidLevelOntology ** { - - -- A Vehicle which is powered by - -- one or more of its passengers or driver, for example, a Bicycle. - fun AgentPoweredVehicle : Class ; - fun AgentPoweredVehicle_Class : SubClass AgentPoweredVehicle Vehicle ; - - -- An AirRoute is a region of air space that - -- can be travelled between points by an air TransportationDevice. - fun AirRoute : Class ; - fun AirRoute_Class : SubClass AirRoute TransitRoute ; - - -- The subclass of Transitways that are through - -- the EarthsAtmosphere. - fun AirTransitway : Class ; - fun AirTransitway_Class : SubClass AirTransitway Transitway ; - - -- A MilitaryShip on which MilitaryAircraft can land - -- and take off. - fun AircraftCarrier : Class ; - fun AircraftCarrier_Class : SubClass AircraftCarrier MilitaryShip ; - - -- Airplane is the subclass of Aircraft that - -- are fixed_wing aircraft which carry their own power sources. Airplane - -- includes jet airplanes and propeller planes, but not gliders. - fun Airplane : Class ; - fun Airplane_Class : SubClass Airplane (both Aircraft PoweredVehicle) ; - - -- Airport is the subclass of TransitTerminals - -- for Airplanes (fixed_wing Aircraft). - fun Airport : Class ; - fun Airport_Class : SubClass Airport (both AirTransitway (both LandTransitway TransitTerminal)) ; - - -- AirportByRunwaySurface is a - -- subclass of AirportClassification attributes used to describe an - -- airport according to the surface type of its longest runway. - fun AirportByRunwaySurface : Class ; - fun AirportByRunwaySurface_Class : SubClass AirportByRunwaySurface AirportClassification ; - - -- AirportClassification - -- is a class of Attributes for representing systems that categorize - -- Airports according to some criteria. There are several such systems, - -- including the International Civil Aviation Organization categories A to - -- E, based on runway lengths, the Federal Aviation Administration system - -- associated with airport functions, and the airport categorization by - -- runway length used in the CIA World Fact Book. - fun AirportClassification : Class ; - fun AirportClassification_Class : SubClass AirportClassification RelationalAttribute ; - - -- AirportWithPavedRunway is an - -- AirportClassification attribute used to describe an airport whose - -- longest runway is a PavedRunway. - fun AirportWithPavedRunway : Ind AirportByRunwaySurface ; - - -- AirportWithUnpavedRunway is - -- an AirportClassification attribute used to describe an airport whose - -- longest runway is an UnpavedRunway. - fun AirportWithUnpavedRunway : Ind AirportByRunwaySurface ; - - -- The class of Transitways used to transport Air - -- to a location where it is absent or insufficient. - fun Airway : Class ; - fun Airway_Class : SubClass Airway Transitway ; - - -- Ambulance is the subclass of - -- EmergencyRoadVehicles that represents ambulances. - fun Ambulance : Class ; - fun Ambulance_Class : SubClass Ambulance EmergencyRoadVehicle ; - - -- Anchorage is the subclass of WaterAreas - -- where WaterVehicle may anchor with some shelter or safety. Anchorages - -- may be inside a Harbor or offshore. - fun Anchorage : Class ; - fun Anchorage_Class : SubClass Anchorage WaterArea ; - - fun Barge : Class ; - fun Barge_Class : SubClass Barge WaterVehicle ; - - fun BargeCarrierShip : Class ; - fun BargeCarrierShip_Class : SubClass BargeCarrierShip CargoShip ; - - -- Bicycle is a class of two_wheeled, - -- UserPoweredVehicles. - fun Bicycle : Class ; - fun Bicycle_Class : SubClass Bicycle Cycle ; - - -- Boxcar is the subclass of Railcars that are - -- general_purpose closed cars for hauling freight. - fun Boxcar : Class ; - fun Boxcar_Class : SubClass Boxcar FreightCar ; - - -- Bridge is the subclass of LandTransitways - -- that are artifacts used for crossing water or air_filled gaps that - -- could not be transited over a natural surface. - fun Bridge : Class ; - fun Bridge_Class : SubClass Bridge (both LandTransitway StationaryArtifact) ; - - -- BroadGauge is the attribute of - -- any Railway that has a TrackGauge wider than StandardGauge. - fun BroadGauge : Ind TrackGauge ; - - fun BroadGaugeRail : Ind RailGauge ; - - fun BroadGaugeRailway : Class ; - fun BroadGaugeRailway_Class : SubClass BroadGaugeRailway Railway ; - - fun BulkCargoShip : Class ; - fun BulkCargoShip_Class : SubClass BulkCargoShip DryBulkCarrierShip ; - - fun BusinessRailcar : Class ; - fun BusinessRailcar_Class : SubClass BusinessRailcar PassengerRailcar ; - - -- CIAAirportLengthClassification is a class of Attributes used to - -- characterize Airports according to the length of their longest - -- usable runway. - fun CIAAirportLengthClassification : Class ; - fun CIAAirportLengthClassification_Class : SubClass CIAAirportLengthClassification AirportClassification ; - - -- CabCar is the class of passenger railcars - -- that have an operating cab in one end of the from which train motion - -- can be controlled in 'push' mode. A CabCar is placed on the - -- opposite end of the train from the locomotive. - fun CabCar : Class ; - fun CabCar_Class : SubClass CabCar RollingStock ; - - fun CableShip : Class ; - fun CableShip_Class : SubClass CableShip Ship ; - - -- Canal is the subclass of navigable Waterways - -- flowing through an artificial course. Typically, a canal is a - -- Transitway connecting two bodies of water. - fun Canal : Class ; - fun Canal_Class : SubClass Canal (both StationaryArtifact Waterway) ; - - fun CanalLock : Class ; - fun CanalLock_Class : SubClass CanalLock (both StationaryArtifact Waterway) ; - - fun CanalLockGate : Class ; - fun CanalLockGate_Class : SubClass CanalLockGate (both Device TransitwayObstacle) ; - - fun CanalSystem : Class ; - fun CanalSystem_Class : SubClass CanalSystem WaterTransportationSystem ; - - fun Canoe : Class ; - fun Canoe_Class : SubClass Canoe (both AgentPoweredVehicle WaterVehicle) ; - - -- CarDistributionSystem is the - -- process of composing trains according to instructions or data. - fun CarDistributionSystem : Class ; - fun CarDistributionSystem_Class : SubClass CarDistributionSystem OrganizationalProcess ; - - -- CargoShip is the subclass of Ships that - -- transport goods in exchange for payment. CargoShip includes ships - -- that carry all kinds of cargo, including oil and bulk products as well - -- as packaged, palletized, or containerized goods. - fun CargoShip : Class ; - fun CargoShip_Class : SubClass CargoShip Ship ; - - fun Catamaran : Class ; - fun Catamaran_Class : SubClass Catamaran MultihullWaterVehicle ; - - fun CementCarrierShip : Class ; - fun CementCarrierShip_Class : SubClass CementCarrierShip DryBulkCarrierShip ; - - -- A Channel is a narrow deep waterway connecting - -- two larger bodies of water. May be natural or dredged, salt or fresh water. - fun Channel : Class ; - fun Channel_Class : SubClass Channel (both Waterway BodyOfWater) ; - - -- ChemicalTankerShip is the - -- subclass of ships that carry ChemicalProducts. - fun ChemicalTankerShip : Class ; - fun ChemicalTankerShip_Class : SubClass ChemicalTankerShip CargoShip ; - - fun Chemical_OilTankerShip : Class ; - fun Chemical_OilTankerShip_Class : SubClass Chemical_OilTankerShip ChemicalTankerShip ; - - fun ChiefSteward : Ind Position ; - - -- ClassIIIRailroad is the - -- subclass of RailroadCompany whose instances have an - -- average annual gross revenue below 20.5 million - -- UnitedStatesDollars. - fun ClassIIIRailroad : Class ; - fun ClassIIIRailroad_Class : SubClass ClassIIIRailroad RailroadCompany ; - - -- ClassIIRailroad is the - -- subclass of RailroadCompany whose instances have an - -- average annual gross revenue between 20.5 and 256.4 million - -- UnitedStatesDollars. - fun ClassIIRailroad : Class ; - fun ClassIIRailroad_Class : SubClass ClassIIRailroad RailroadCompany ; - - -- ClassIRailroad is the - -- subclass of RailroadCompany whose instances have an - -- average annual gross revenue above 256.4 million - -- UnitedStatesDollars. - fun ClassIRailroad : Class ; - fun ClassIRailroad_Class : SubClass ClassIRailroad RailroadCompany ; - - fun CombinationBulkCarrierShip : Class ; - fun CombinationBulkCarrierShip_Class : SubClass CombinationBulkCarrierShip CargoShip ; - - fun CombinationBulk_OilCarrierShip : Class ; - fun CombinationBulk_OilCarrierShip_Class : SubClass CombinationBulk_OilCarrierShip CombinationBulkCarrierShip ; - - fun CombinationOre_OilCarrierShip : Class ; - fun CombinationOre_OilCarrierShip_Class : SubClass CombinationOre_OilCarrierShip CombinationBulkCarrierShip ; - - -- CommonCarrier is the subclass of - -- TransportationCompany whose instances must offer services to all - -- customers. Contrast with ContractCarrier. - fun CommonCarrier : Class ; - fun CommonCarrier_Class : SubClass CommonCarrier TransportationCompany ; - - fun ContainerPort : Class ; - fun ContainerPort_Class : SubClass ContainerPort PortCity ; - - fun ContainerShip : Class ; - fun ContainerShip_Class : SubClass ContainerShip CargoShip ; - - fun Container_RoRoCargoShip : Class ; - fun Container_RoRoCargoShip_Class : SubClass Container_RoRoCargoShip RollOnRollOffCargoShip ; - - -- ContractCarrier is the subclass of - -- TransportationCompany whose instances offer services to only one - -- customer, under contract. Contrast with CommonCarrier. - fun ContractCarrier : Class ; - fun ContractCarrier_Class : SubClass ContractCarrier TransportationCompany ; - - fun CraneShip : Class ; - fun CraneShip_Class : SubClass CraneShip Ship ; - - -- CrewDormCars are Railcars used for - -- housing the employee staff on long_distance trains. - fun CrewDormCar : Class ; - fun CrewDormCar_Class : SubClass CrewDormCar PassengerRailcar ; - - -- CrudeOilPipeline is the subclass of - -- Pipelines that are used to carry CrudeOil. - fun CrudeOilPipeline : Class ; - fun CrudeOilPipeline_Class : SubClass CrudeOilPipeline Pipeline ; - - -- CruiseShip is the subclass of - -- PassengerShips designed for the purpose of carrying passengers - -- on extended trips. - fun CruiseShip : Class ; - fun CruiseShip_Class : SubClass CruiseShip PassengerShip ; - - -- CubicFoot is a unit for measuring volume, - -- equal to a volume of one foot length in each dimension of length, width, - -- and height. - fun CubicFoot : Ind UnitOfVolume ; - - -- Cycle is a class of wheeled, pedal_driven - -- UserPoweredVehicles that are designed to be ridden on roads or trails. - fun Cycle : Class ; - fun Cycle_Class : SubClass Cycle (both AgentPoweredVehicle LandVehicle) ; - - -- Dam is the subclass of StationaryArtifacts that - -- are walls built across a stream or river to hold back water. - fun Dam : Class ; - fun Dam_Class : SubClass Dam (both TransitwayObstacle StationaryArtifact) ; - - fun DeckCargoShip : Class ; - fun DeckCargoShip_Class : SubClass DeckCargoShip GeneralCargoShip ; - - -- DeepDraftHarbor is the subclass - -- of Harbors that have a waterDepth sufficient to accommodate - -- vessels of a ladenDraft of 45 feet (13.7 meters) or greater. - fun DeepDraftHarbor : Class ; - fun DeepDraftHarbor_Class : SubClass DeepDraftHarbor Harbor ; - - fun DeepDraftPort : Class ; - fun DeepDraftPort_Class : SubClass DeepDraftPort PortCity ; - - -- DeepwaterPort is the subclass of - -- PortFacility whose instances meet the criteria defined under 33 U.S.C. section 1502(1) as 'any fixed or floating man_made structures other than - -- a vessel, or any group of such structures, located beyond the territorial - -- sea and off the coast of the United States and which are used or intended - -- for use as a port or terminal for the loading or unloading and further - -- handling of oil for transportation to any State.... The term includes all associated components and equipment including pipelines, pumping stations, service platforms, mooring buoys, and similar appurtenances to the extent - -- they are located seaward of the high water mark.' - fun DeepwaterPort : Class ; - fun DeepwaterPort_Class : SubClass DeepwaterPort PortFacility ; - - fun Door_TransitwayObstacle : SubClass Door TransitwayObstacle ; - - fun Drawbridge : Class ; - fun Drawbridge_Class : SubClass Drawbridge MovableBridge ; - - fun Dredger : Class ; - fun Dredger_Class : SubClass Dredger Ship ; - - fun DrillingShip : Class ; - fun DrillingShip_Class : SubClass DrillingShip Ship ; - - fun DryBulkCarrierShip : Class ; - fun DryBulkCarrierShip_Class : SubClass DryBulkCarrierShip CargoShip ; - - -- DualGauge is the attribute of - -- any Railway that has three parallel rails, thus allowing - -- two different gauges of rolling stock to travel over it. - fun DualGauge : Ind TrackGauge ; - - fun DualGaugeRail : Ind RailGauge ; - - fun DualGaugeRailway : Class ; - fun DualGaugeRailway_Class : SubClass DualGaugeRailway Railway ; - - -- ElectrifiedRailway is the subclass - -- of Railway representing electrified railways. - fun ElectrifiedRailway : Class ; - fun ElectrifiedRailway_Class : SubClass ElectrifiedRailway Railway ; - - -- EmergencyRoadVehicle is the - -- subclass of EmergencyVehicle that includes RoadVehicles designed - -- for special use in emergencies, e.g., Ambulances, FireEngines. - fun EmergencyRoadVehicle : Class ; - fun EmergencyRoadVehicle_Class : SubClass EmergencyRoadVehicle (both EmergencyVehicle (both PoweredVehicle RoadVehicle)) ; - - -- EmergencyVehicle is the subclass of - -- Vehicles that are used for special_purpose emergency response. - fun EmergencyVehicle : Class ; - fun EmergencyVehicle_Class : SubClass EmergencyVehicle PoweredVehicle ; - - -- Expressway is the subclass of - -- SurfacedRoadways that are multiple_lane, limited_access highways - -- designed for rapid travel by MotorVehicles. - fun Expressway : Class ; - fun Expressway_Class : SubClass Expressway SurfacedRoadway ; - - fun FerryBoat : Class ; - fun FerryBoat_Class : SubClass FerryBoat WaterVehicle ; - - fun FireBoat : Class ; - fun FireBoat_Class : SubClass FireBoat WaterVehicle ; - - -- FireEngine is the subclass of - -- EmergencyRoadVehicles that represents the various vehicles - -- used by a fire department in fighting fires. - fun FireEngine : Class ; - fun FireEngine_Class : SubClass FireEngine EmergencyRoadVehicle ; - - fun FirstMate : Ind Position ; - - fun FishCarrierShip : Class ; - fun FishCarrierShip_Class : SubClass FishCarrierShip FishingShip ; - - fun FishFactoryShip : Class ; - fun FishFactoryShip_Class : SubClass FishFactoryShip FishingShip ; - - fun FishingShip : Class ; - fun FishingShip_Class : SubClass FishingShip WaterVehicle ; - - fun FishingVessel : Class ; - fun FishingVessel_Class : SubClass FishingVessel FishingShip ; - - -- FiveWellStackCars are five_unit - -- that carry double_stacked containers. - fun FiveWellStackCar : Class ; - fun FiveWellStackCar_Class : SubClass FiveWellStackCar FreightCar ; - - fun FixedBridge : Class ; - fun FixedBridge_Class : SubClass FixedBridge (both Bridge StationaryArtifact) ; - - -- FlagOfConvenienceRegister is the subclass of ShipRegisters - -- in which most of the registered ships are owned outside of the - -- GeopoliticalArea to which the registry belongs. - -- InternalShipRegisters and OffshoreShipRegisters both may act as - -- FlagOfConvenienceRegisters, if permitted by the maritime - -- regulations of the registry owner. - fun FlagOfConvenienceRegister : Class ; - fun FlagOfConvenienceRegister_Class : SubClass FlagOfConvenienceRegister ShipRegister ; - - -- Flatcars are Freightcars without sides or roofs. - fun Flatcar : Class ; - fun Flatcar_Class : SubClass Flatcar (both FreightCar OpenTopRailcar) ; - - -- A train car that is designed to - -- carry freight, and not Humans. - fun FreightCar : Class ; - fun FreightCar_Class : SubClass FreightCar RollingStock ; - - -- GalleryCars are double_decked passenger - -- cars that have a viewing area on the second floor. - fun GalleryCar : Class ; - fun GalleryCar_Class : SubClass GalleryCar PassengerRailcar ; - - fun GeneralCargoShip : Class ; - fun GeneralCargoShip_Class : SubClass GeneralCargoShip CargoShip ; - - fun GliderPlane : Class ; - fun GliderPlane_Class : SubClass GliderPlane (both Aircraft UnpoweredVehicle) ; - - -- Harbor is the subclass of WaterAreas that - -- provide shelter and anchorage for WaterVehicle. - fun Harbor : Class ; - fun Harbor_Class : SubClass Harbor (both WaterArea Waterway) ; - - -- HeadEndCars are Railcars that were - -- typically placed at the front of the train, including mail and - -- baggage cars. - fun HeadEndCar : Class ; - fun HeadEndCar_Class : SubClass HeadEndCar RollingStock ; - - -- Heliport is a TransitTerminal designed - -- for the takeoff and landing of Helicopters. - fun Heliport : Class ; - fun Heliport_Class : SubClass Heliport TransitTerminal ; - - fun HomeGarage : Class ; - fun HomeGarage_Class : SubClass HomeGarage Building ; - - fun HopperDredger : Class ; - fun HopperDredger_Class : SubClass HopperDredger Dredger ; - - -- HydraCushionFreightCars are FreightCars with hydraulic underframes to cushion their loads. - fun HydraCushionFreightCar : Class ; - fun HydraCushionFreightCar_Class : SubClass HydraCushionFreightCar FreightCar ; - - fun IceBreakerShip : Class ; - fun IceBreakerShip_Class : SubClass IceBreakerShip Ship ; - - -- IntermodalTrip is the class of - -- trips in which more than one mode (road, rail, sea, or air) of - -- Transportation is used. That is, there are at least two - -- subProcesses of the trip that use different modes of - -- TransportationDevice. - fun IntermodalTrip : Class ; - fun IntermodalTrip_Class : SubClass IntermodalTrip Trip ; - - -- InternalShipRegister is - -- a subset of a NationalShipRegister. Ships on an internal - -- register fly the same flag as on the national register but are - -- subject to different taxation and crewing rules, which are - -- typically more lenient. An internal register may function - -- primarily as a FlagOfConvenienceRegister. - fun InternalShipRegister : Class ; - fun InternalShipRegister_Class : SubClass InternalShipRegister ShipRegister ; - - fun JetAirplane : Class ; - fun JetAirplane_Class : SubClass JetAirplane Airplane ; - - fun Kayak : Class ; - fun Kayak_Class : SubClass Kayak (both AgentPoweredVehicle WaterVehicle) ; - - fun Lane : Class ; - fun Lane_Class : SubClass Lane Roadway ; - - fun LightTruck : Class ; - fun LightTruck_Class : SubClass LightTruck Truck ; - - fun LiquefiedGasTankerShip : Class ; - fun LiquefiedGasTankerShip_Class : SubClass LiquefiedGasTankerShip CargoShip ; - - fun LiquefiedGas_ChemicalTankerShip : Class ; - fun LiquefiedGas_ChemicalTankerShip_Class : SubClass LiquefiedGas_ChemicalTankerShip LiquefiedGasTankerShip ; - - fun LivestockCarrierShip : Class ; - fun LivestockCarrierShip_Class : SubClass LivestockCarrierShip CargoShip ; - - -- An individual rail vehicle, i.e. a - -- RollingStock which is also a PoweredVehicle. Modern - -- locomotives are typically diesel or electric powered, while - -- older locomotives ran on Coal. - fun Locomotive : Class ; - fun Locomotive_Class : SubClass Locomotive (both PoweredVehicle RollingStock) ; - - -- LocomotiveCoalCars are Railcars put directly behind the Locomotive and used for - -- carrying fuel coal for the engine. - fun LocomotiveCoalCar : Class ; - fun LocomotiveCoalCar_Class : SubClass LocomotiveCoalCar RollingStock ; - - -- LongRunwayAirport is a CIA category for Airports whose longest runway has a length between - -- 2,438 meters and 3,047 meters, inclusive. - fun LongRunwayAirport : Ind CIAAirportLengthClassification ; - - -- LongTon is the UnitOfMeasure, equal to 2,240 PoundMass, which is used to measure Dead Weight - -- Tonnage capacity of Ships. - fun LongTon : Ind UnitOfMass ; - - -- ManufacturedProduct is - -- the subclass of Product that includes goods that are produced - -- or assembled in factories or other manufacturing processes, - -- in contrast to AgriculturalProducts. - fun ManufacturedProduct : Class ; - fun ManufacturedProduct_Class : SubClass ManufacturedProduct Product ; - - -- MediumLengthRunwayAirport is a CIA - -- category for Airports whose longest runway has a length between - -- 1,524 meters and 2,437 meters, inclusive. - fun MediumLengthRunwayAirport : Ind CIAAirportLengthClassification ; - - -- MerchantMarine is a class of - -- Collections of Ships, each collection belonging to a particular - -- Nation or GeopoliticalArea, in whose ShipRegister the member - -- ships are enrolled. For example, the merchant marine of France. - fun MerchantMarine : Class ; - fun MerchantMarine_Class : SubClass MerchantMarine Collection ; - - -- (MerchantMarineFn ?AREA) denotes - -- the Collection of all commercial ships registered in the - -- ShipRegister of the GeopoliticalArea ?AREA. - fun MerchantMarineFn : El GeopoliticalArea -> Ind MerchantMarine ; - - -- MerchantMarineShip is the class - -- of Ships that carry goods or passengers in exchange for payment. - -- This excludes military ships, as well as working ships such as tugboats - -- and fishing vessels. Merchant Marine ships belong to the - -- MerchantMarine of some country and are registered in the related - -- ShipRegister. - fun MerchantMarineShip : Class ; - fun MerchantMarineShip_Class : SubClass MerchantMarineShip Ship ; - - fun MotorHopper : Class ; - fun MotorHopper_Class : SubClass MotorHopper Ship ; - - -- MotorRailcars are PassengerRailcars - -- that carry their own power source. - fun MotorRailcar : Class ; - fun MotorRailcar_Class : SubClass MotorRailcar (both PassengerRailcar PoweredVehicle) ; - - fun MotorScooter : Class ; - fun MotorScooter_Class : SubClass MotorScooter RoadVehicle ; - - fun MovableBridge : Class ; - fun MovableBridge_Class : SubClass MovableBridge Bridge ; - - -- MultiModalTransitSystem is - -- the class of TransitSystems that accommodate more than one type of - -- transportation device or method. - fun MultiModalTransitSystem : Class ; - fun MultiModalTransitSystem_Class : SubClass MultiModalTransitSystem TransitSystem ; - - fun MultifunctionalLargeLoadCarrierShip : Class ; - fun MultifunctionalLargeLoadCarrierShip_Class : SubClass MultifunctionalLargeLoadCarrierShip CargoShip ; - - fun MultihullWaterVehicle : Class ; - fun MultihullWaterVehicle_Class : SubClass MultihullWaterVehicle WaterVehicle ; - - -- MultipleTrackRailway is the - -- subclass of Railway whose instances consists of two or more sets of - -- tracks running in parallel, allowing motion in both directions along - -- a route without the need for sidings and delays. - fun MultipleTrackRailway : Class ; - fun MultipleTrackRailway_Class : SubClass MultipleTrackRailway Railway ; - - -- NarrowGauge is the attribute - -- of any Railway that has a TrackGauge narrower than - -- StandardGauge. There are several common track widths - -- among NarrowGauge railways. - fun NarrowGauge : Ind TrackGauge ; - - fun NarrowGaugeRail : Ind RailGauge ; - - fun NarrowGaugeRailway : Class ; - fun NarrowGaugeRailway_Class : SubClass NarrowGaugeRailway Railway ; - - -- A NationalShipRegister - -- is a record of the Ships that are officially registered with - -- a particular Nation, including their tonnage and ownership. - fun NationalShipRegister : Class ; - fun NationalShipRegister_Class : SubClass NationalShipRegister ShipRegister ; - - -- NaturalGasPipeline is the subclass - -- of Pipelines that are used to carry NaturalGas. - fun NaturalGasPipeline : Class ; - fun NaturalGasPipeline_Class : SubClass NaturalGasPipeline Pipeline ; - - -- NorthernSeaRoute represents the - -- seasonal waterway in the ArcticOcean adjacent to Russia and Norway. - fun NorthernSeaRoute : Ind Waterway ; - - -- NorthwestPassage represents the seasonal waterway in - -- the ArcticOcean adjacent to Canada and the UnitedStates. - fun NorthwestPassage : Ind Waterway ; - - -- OceanLiner is the subclass of Ships - -- that make regularly scheduled voyages to transport people and goods - -- from one place to another. - fun OceanLiner : Class ; - fun OceanLiner_Class : SubClass OceanLiner (both CargoShip PassengerShip) ; - - -- OffshoreAnchorage is the subclass - -- of Anchorages that are located offshore and not within a Harbor. - fun OffshoreAnchorage : Class ; - fun OffshoreAnchorage_Class : SubClass OffshoreAnchorage Anchorage ; - - -- OffshoreShipRegister is - -- the class of ShipRegisters maintained by a colony, territory, or - -- possession (OffshoreArea) of a nation. Typically such a register has more lenient maritime - -- regulations with respect to taxation and crewing of ships than does - -- the national register associated with the country of which the - -- offshore area is a dependency. - fun OffshoreShipRegister : Class ; - fun OffshoreShipRegister_Class : SubClass OffshoreShipRegister ShipRegister ; - - fun OffshoreSupplyShip : Class ; - fun OffshoreSupplyShip_Class : SubClass OffshoreSupplyShip Ship ; - - fun OffshoreSupportShip : Class ; - fun OffshoreSupportShip_Class : SubClass OffshoreSupportShip Ship ; - - fun OffshoreWellProductionShip : Class ; - fun OffshoreWellProductionShip_Class : SubClass OffshoreWellProductionShip Ship ; - - -- OpenTopRailcars are FreightCars - -- that have no roof. They may have sides or not. - fun OpenTopRailcar : Class ; - fun OpenTopRailcar_Class : SubClass OpenTopRailcar FreightCar ; - - -- (OperatingFn ?DEVICE) denotes the class - -- of events in which a Device of type ?device is operated. - fun OperatingFn: El Device -> Desc Process ; - - fun OreCarrierShip : Class ; - fun OreCarrierShip_Class : SubClass OreCarrierShip DryBulkCarrierShip ; - - -- OutfitCars are Railcars used for housing - -- railway construction or maintenance workers in the field. Also called - -- 'Camp Cars'. - fun OutfitCar : Class ; - fun OutfitCar_Class : SubClass OutfitCar RollingStock ; - - fun PCCCar : Class ; - fun PCCCar_Class : SubClass PCCCar Streetcar ; - - fun PalletizedCargoShip : Class ; - fun PalletizedCargoShip_Class : SubClass PalletizedCargoShip GeneralCargoShip ; - - fun ParkingGarage : Class ; - fun ParkingGarage_Class : SubClass ParkingGarage Building ; - - fun PassengerAndCargoShip : Class ; - fun PassengerAndCargoShip_Class : SubClass PassengerAndCargoShip (both CargoShip PassengerShip) ; - - -- A train car that is designed to - -- carry Humans. - fun PassengerRailcar : Class ; - fun PassengerRailcar_Class : SubClass PassengerRailcar (both PassengerVehicle RollingStock) ; - - -- PassengerShip is the subclass of - -- WaterVehicle designed for the purpose of carrying passengers. - fun PassengerShip : Class ; - fun PassengerShip_Class : SubClass PassengerShip Ship ; - - fun Passenger_LandingCraft : Class ; - fun Passenger_LandingCraft_Class : SubClass Passenger_LandingCraft (both PassengerAndCargoShip RollOnRollOffCargoShip) ; - - fun Paved : Ind Attribute ; - - -- PavedRunway is the subclass of Runways - -- that are surfaced with concrete or asphalt. - fun PavedRunway : Class ; - fun PavedRunway_Class : SubClass PavedRunway Runway ; - - -- PersonalWatercraft is the class - -- of motor_driven WaterVehicle ridden by one or more passengers, e.g., - -- a JetSki. - fun PersonalWatercraft : Class ; - fun PersonalWatercraft_Class : SubClass PersonalWatercraft WaterVehicle ; - - -- PetroleumProductPipeline is the subclass of Pipelines that are - -- used to carry PetroleumProducts. - fun PetroleumProductPipeline : Class ; - fun PetroleumProductPipeline_Class : SubClass PetroleumProductPipeline Pipeline ; - - fun PetroleumTankerShip : Class ; - fun PetroleumTankerShip_Class : SubClass PetroleumTankerShip CargoShip ; - - -- PlaningHullWaterVehicle is a subclass - -- of WaterVehicle with hulls designed for a position partially on or above - -- the water surface when they are in motion, in order to reduce drag. See - -- also DisplacementHullWaterVehicle. - fun PlaningHullWaterVehicle : Class ; - fun PlaningHullWaterVehicle_Class : SubClass PlaningHullWaterVehicle WaterVehicle ; - - fun PontoonBridge : Class ; - fun PontoonBridge_Class : SubClass PontoonBridge MovableBridge ; - - -- PortCity is the subclass of City whose - -- instances are cities or towns located adjacent to a Harbor, which is - -- included in the administrative area of the city. - fun PortCity : Class ; - fun PortCity_Class : SubClass PortCity City ; - - -- PortFacility is the class of port - -- complexes, including piers and docking space, moorings, cargo_handling - -- and other support facilities for marine traffic. Ships are loaded and - -- unloaded at a PortFacility. - fun PortFacility : Class ; - fun PortFacility_Class : SubClass PortFacility GeopoliticalArea ; - - -- (PortFacilityFn ?CITY) denotes the - -- PortFacility, including mooring areas, docking space, and on_land - -- support facilities for marine traffic, of the Port ?CITY, considered - -- as a whole. - fun PortFacilityFn : El PortCity -> Ind PortFacility ; - - fun PrivateRailcar : Class ; - fun PrivateRailcar_Class : SubClass PrivateRailcar RollingStock ; - - fun PropellerJet : Class ; - fun PropellerJet_Class : SubClass PropellerJet Airplane ; - - fun PropellerPlane : Class ; - fun PropellerPlane_Class : SubClass PropellerPlane Airplane ; - - fun PusherTug : Class ; - fun PusherTug_Class : SubClass PusherTug TugBoat ; - - fun RadioOperator : Ind Position ; - - -- RailCarrierControl is the process of - -- controlling the speed or direction of a train by sending high or - -- low frequency currents on the rails. - fun RailCarrierControl : Class ; - fun RailCarrierControl_Class : SubClass RailCarrierControl Guiding ; - - fun RailGauge : Class ; - fun RailGauge_Class : SubClass RailGauge InternalAttribute ; - - -- RailJunction is the subclass of - -- TransitwayJunctions where two or more Railway lines come together. - fun RailJunction : Class ; - fun RailJunction_Class : SubClass RailJunction (both Railway TransitwayJunction) ; - - -- Railcar is the subclass of RollingStock that - -- includes all non_locomotive, non_self_powered RailVehicles. - fun Railcar : Class ; - fun Railcar_Class : SubClass Railcar RollingStock ; - - fun RailcarCarrierShip : Class ; - fun RailcarCarrierShip_Class : SubClass RailcarCarrierShip RollOnRollOffCargoShip ; - - -- RailroadTrack is the class of - -- StationaryArtifacts consisting of rails laid on supports to form - -- a track for railway vehicles. - fun RailroadTrack : Class ; - fun RailroadTrack_Class : SubClass RailroadTrack StationaryArtifact ; - - -- Railway is the subclass of - -- LandTransitways that have rails along which Trains may travel. - -- A railway consists of the rail bed, sleepers, tracks, electric - -- rails, switches, sensors, lights, crossing grades, and any other - -- integral machinery or parts of a section of railway. - fun Railway : Class ; - fun Railway_Class : SubClass Railway (both LandTransitway StationaryArtifact) ; - - -- RailwayTerminal is the subclass of - -- TransitTerminals designed for Trains. A RailwayTerminal includes - -- all the RailroadTrack and any outbuildings or other related structure - -- in the terminal, as well as the TrainStation (if there is one). - fun RailwayTerminal : Class ; - fun RailwayTerminal_Class : SubClass RailwayTerminal TransitTerminal ; - - fun RefrigeratedCargoShip : Class ; - fun RefrigeratedCargoShip_Class : SubClass RefrigeratedCargoShip CargoShip ; - - fun RefrigeratorCar : Class ; - fun RefrigeratorCar_Class : SubClass RefrigeratorCar Boxcar ; - - -- RegistryTon is a unit of - -- measure used to represent the Gross Registered Tonnage (GRT) capacity - -- of Ships. GRT is based on a volume measure, with one RegistryTon - -- equal to a volume of 100 cubic feet. - fun RegistryTon : Ind UnitOfVolume ; - - fun ResearchShip : Class ; - fun ResearchShip_Class : SubClass ResearchShip Ship ; - - -- RiverPort is the subclass of PortCity - -- whose instances are port cities Adjacent to a navigable River. - fun RiverPort : Class ; - fun RiverPort_Class : SubClass RiverPort PortCity ; - - -- RoadJunction is the subclass of - -- TransitwayJunctions where two or more Roadways come together. - fun RoadJunction : Class ; - fun RoadJunction_Class : SubClass RoadJunction (both Roadway TransitwayJunction) ; - - fun RollOnRollOffCargoShip : Class ; - fun RollOnRollOffCargoShip_Class : SubClass RollOnRollOffCargoShip CargoShip ; - - fun RotaryDumpCar : Class ; - fun RotaryDumpCar_Class : SubClass RotaryDumpCar OpenTopRailcar ; - - fun Runabout : Class ; - fun Runabout_Class : SubClass Runabout WaterVehicle ; - - -- Runway is the class of Transitways that are - -- used for the takeoff and landing of Airplanes. Runways are - -- Transitways for an intermodal transit, which begins with a land transit - -- and ends with air transit, or vice versa. The Airspace immediately - -- above (and adjacent to) a Runway is an AirTransitway. - fun Runway : Class ; - fun Runway_Class : SubClass Runway LandTransitway ; - - fun Sailboat : Class ; - fun Sailboat_Class : SubClass Sailboat WaterVehicle ; - - -- ScaleTestCars are Railcars of - -- known weight used to test or calibrate track scales used for - -- weighing freight. - fun ScaleTestCar : Class ; - fun ScaleTestCar_Class : SubClass ScaleTestCar RollingStock ; - - fun Scooter : Class ; - fun Scooter_Class : SubClass Scooter (both AgentPoweredVehicle LandVehicle) ; - - fun SeaLane : Class ; - fun SeaLane_Class : SubClass SeaLane Waterway ; - - -- SeaPort is the subclass of PortCity whose instances are - -- port cities on or closely linked to a Sea or Ocean. - fun SeaPort : Class ; - fun SeaPort_Class : SubClass SeaPort PortCity ; - - fun SecondaryHighway : Class ; - fun SecondaryHighway_Class : SubClass SecondaryHighway Roadway ; - - fun SelfDischargingBulkCarrierShip : Class ; - fun SelfDischargingBulkCarrierShip_Class : SubClass SelfDischargingBulkCarrierShip DryBulkCarrierShip ; - - -- ShipBerth is the class of areas where - -- a Ship may be moored, whether at an Anchorage or dock. - fun ShipBerth : Class ; - fun ShipBerth_Class : SubClass ShipBerth WaterArea ; - - -- ShipBerthing is the class of - -- Translocation processes in which a vessel is brought to a - -- mooring, at dockside or anchorage. - fun ShipBerthing : Class ; - fun ShipBerthing_Class : SubClass ShipBerthing Translocation ; - - -- (ShipBerthingFn ?SHIP) denotes the - -- class of ShipBerthings of an individual WaterVehicle ?SHIP. - fun ShipBerthingFn: El Ship -> Desc ShipBerthing ; - - -- ShipCabin is the subclass of all - -- ShipCompartments for accommodating Humans aboard a ship. - fun ShipCabin : Class ; - fun ShipCabin_Class : SubClass ShipCabin ShipCompartment ; - - -- A ShipCompartment is any fully or - -- partly bounded section of a Ship. - fun ShipCompartment : Class ; - fun ShipCompartment_Class : SubClass ShipCompartment Artifact ; - - -- ShipContainer is the class of specialized - -- large containers designed for shipping goods aboard ContainerShips. - fun ShipContainer : Class ; - fun ShipContainer_Class : SubClass ShipContainer SelfConnectedObject ; - - -- A ShipCrew is an Organization of people - -- who operate a Ship, Plane, Train, or other transportation vehicle. - fun ShipCrew : Class ; - fun ShipCrew_Class : SubClass ShipCrew Organization ; - - -- (ShipCrewFn ?BOAT) denotes the - -- Organization consisting of the people charged with operating - -- the WaterVehicle ?BOAT. - fun ShipCrewFn : El WaterVehicle -> Ind Group ; - - -- ShipDeck is the class of decks on a ship, - -- considered as spaces or Regions in which passengers and crew work, - -- live, or ride, and/or in which machinery and cargo are stored on a - -- Ship. - fun ShipDeck : Class ; - fun ShipDeck_Class : SubClass ShipDeck Artifact ; - - -- A ShipRegister is a record of each Ship - -- and owner registered with the maritime authorities of a country or - -- possession, colony, or territory of a country. Ships on the - -- ShipRegister of a given region fly the flag of that region and are - -- subject to its maritime regulations and rules of taxation. - fun ShipRegister : Class ; - fun ShipRegister_Class : SubClass ShipRegister ContentBearingObject ; - - -- (ShipRegisterFn ?AREA) - -- denotes the ShipRegister of the Ships that fly the flag of - -- the GeopoliticalArea ?AREA. - fun ShipRegisterFn : El GeopoliticalArea -> Ind ShipRegister ; - - -- ShipRegistration is the official - -- document containing information about the ownership, size, and - -- flag state (flag of registry) of an individual Ship, as registered - -- in the ShipRegister maintained by the maritime authorities of a - -- particular Nation or OverseasArea of a nation. A ship flies the - -- flag of its registered nation or area, and the ship is subject to the - -- maritime regulations and rules of taxation of its flagState. - fun ShipRegistration : Class ; - fun ShipRegistration_Class : SubClass ShipRegistration ContentBearingObject ; - - fun ShippingChannel : Class ; - fun ShippingChannel_Class : SubClass ShippingChannel Waterway ; - - fun ShippingLane : Class ; - fun ShippingLane_Class : SubClass ShippingLane Waterway ; - - -- ShortRunwayAirport is a CIA - -- category for Airports whose longest runway has a length between 914 - -- meters and 1523 meters, inclusive. - fun ShortRunwayAirport : Ind CIAAirportLengthClassification ; - - fun ShortSeaPassengerShip : Class ; - fun ShortSeaPassengerShip_Class : SubClass ShortSeaPassengerShip PassengerShip ; - - fun SludgeDisposalVessel : Class ; - fun SludgeDisposalVessel_Class : SubClass SludgeDisposalVessel Ship ; - - fun SpecializedTankerShip : Class ; - fun SpecializedTankerShip_Class : SubClass SpecializedTankerShip CargoShip ; - - -- SpineCars are articulated Flatcars - -- used to carry trailers or containers. - fun SpineCar : Class ; - fun SpineCar_Class : SubClass SpineCar Flatcar ; - - -- StandardGauge is the attribute - -- of Railways having the standardized track width that is - -- used in North America and most Western European countries. - -- The standard is typically a distance of 4 ft., 8_1/2 inches - -- (1.44 meters). There is some variation within which usage is - -- compatible, e.g., 1.35 meters. Standard gauge originated in - -- England and was mandated by the U.S. Federal government for the - -- U.S. Transcontinental Railroad. It is also used in Canada, - -- Great Britain, and most of Western Europe (but not in Ireland, - -- or Spain and Portugal. - fun StandardGauge : Ind TrackGauge ; - - fun StandardGaugeRail : Ind RailGauge ; - - fun StandardGaugeRailway : Class ; - fun StandardGaugeRailway_Class : SubClass StandardGaugeRailway Railway ; - - fun Street : Class ; - fun Street_Class : SubClass Street Roadway ; - - fun Streetcar_RollingStock : SubClass Streetcar RollingStock ; - - -- SurfacedRoadway is the subclass of - -- Roadways that have been improved by covering them with a substance - -- to increase the hardness and smoothness of the surface. Covering - -- materials include pavement, concrete, asphalt, macadam, and gravel. - fun SurfacedRoadway : Class ; - fun SurfacedRoadway_Class : SubClass SurfacedRoadway Roadway ; - - -- TankCars are enclosed FreightCars used - -- to carry fluids. - fun TankCar : Class ; - fun TankCar_Class : SubClass TankCar FreightCar ; - - -- A TerminalBuilding is a Building - -- located at a TransitTerminal and used in connection with its - -- functions. - fun TerminalBuilding : Class ; - fun TerminalBuilding_Class : SubClass TerminalBuilding Building ; - - fun TollBooth : Class ; - fun TollBooth_Class : SubClass TollBooth Building ; - - -- TrackGauge is the collection of - -- attributes that characterize sections of railways, according - -- to the set distances between the two tracks of the Railway. - -- Precisely, the measurement of track gauge is the distance - -- between the inner vertical surfaces of the heads of the rails. - -- Track gauges include broad, dual, standard, and narrow gauges. - fun TrackGauge : Class ; - fun TrackGauge_Class : SubClass TrackGauge InternalAttribute ; - - fun TrafficLight : Class ; - fun TrafficLight_Class : SubClass TrafficLight Device ; - - fun Trail : Class ; - fun Trail_Class : SubClass Trail LandTransitway ; - - -- Any RoadVehicle that is also an UnpoweredVehicle, - -- and intended to be towed by a PoweredVehicle. - fun Trailer : Class ; - fun Trailer_Class : SubClass Trailer (both RoadVehicle UnpoweredVehicle) ; - - -- Train is the subclass of - -- TransportationDevice whose instances are linked sequences - -- of RollingStock. - fun Train : Class ; - fun Train_Class : SubClass Train (both Collection (both PoweredVehicle RailVehicle)) ; - - -- TrainStation is the subclass of - -- Buildings that are located at a RailwayTerminal and used in support - -- of its functions, especially for the handling of passengers and freight. - fun TrainStation : Class ; - fun TrainStation_Class : SubClass TrainStation (both TerminalBuilding TransitTerminal) ; - - -- (TransitFn ?WAY) denotes the class of - -- Translocations that consist of travelling along the Transitway ?WAY. - fun TransitFn: El Transitway -> Desc Translocation ; - - -- TransitRoute is the class of - -- Regions that are paths for Motion from one place to another. - fun TransitRoute : Class ; - fun TransitRoute_Class : SubClass TransitRoute Region ; - - -- TransitShelter is the class of - -- structures that provide shelter for passengers waiting at a - -- TransitStop. - fun TransitShelter : Class ; - fun TransitShelter_Class : SubClass TransitShelter Artifact ; - - -- TransitStop is the subclass of places - -- where a vehicle of a scheduled or common carrier makes a stop to - -- discharge or take on passengers or goods. - fun TransitStop : Class ; - fun TransitStop_Class : SubClass TransitStop Region ; - - -- A TransitTerminal is a place where - -- travellers or transportation devices begin or end their journeys, or - -- where passengers and/or goods may be transferred. At a terminal, - -- TransportationDevices may be received, assigned, sent out, or - -- stored. - fun TransitTerminal : Class ; - fun TransitTerminal_Class : SubClass TransitTerminal StationaryArtifact ; - - -- TransitwayJunction is the class of - -- regions where two or more Transitways meet and traffic may transfer - -- from one transitway to another. - fun TransitwayJunction : Class ; - fun TransitwayJunction_Class : SubClass TransitwayJunction Transitway ; - - -- TransitwayObstacle is the general class of Objects that - -- can act as obstacles to Motion along a Transitway. - fun TransitwayObstacle : Class ; - fun TransitwayObstacle_Class : SubClass TransitwayObstacle Object ; - - -- TransportationAuthority is the class of Organizations that are - -- responsible for one or more systems of transportation, usually within - -- a particular GeopoliticalArea. - fun TransportationAuthority : Class ; - fun TransportationAuthority_Class : SubClass TransportationAuthority Organization ; - - fun TransportationDevice_TransportationEquipment : SubClass TransportationDevice TransportationEquipment ; - - fun TransportationEquipment : Class ; - fun TransportationEquipment_Class : SubClass TransportationEquipment ManufacturedProduct ; - - -- (TransportationFn ?TYPE) denotes the subclass of Transportation - -- events in which a TransportationDevice of ?TYPE is the vehicle. - fun TransportationFn: Desc TransportationDevice -> Desc Transportation ; - - fun Trawler : Class ; - fun Trawler_Class : SubClass Trawler FishingShip ; - - -- Trip is the subclass of Motions along a - -- TransitRoute or Transitway. - fun Trip : Class ; - fun Trip_Class : SubClass Trip Motion ; - - -- (TripFn ?VEHICLE) denotes the subclass of Transportation - -- events in which a particular TransportationDevice ?VEHICLE is the - -- vehicle. Contrast this function with TransportationFn, which is - -- used to denote transportation events by a specific kind of vehicle. - fun TripFn: El Vehicle -> Desc Transportation ; - - fun TugBoat : Class ; - fun TugBoat_Class : SubClass TugBoat WaterVehicle ; - - -- Tunnel is a subclass of Transitways that - -- consist of a lengthwise enclosed Hole that allows for transit underground, - -- as through mountains, below a body of water, or beneath a city. - fun Tunnel : Class ; - fun Tunnel_Class : SubClass Tunnel (both LandTransitway StationaryArtifact) ; - - -- UniModalTransitSystem is - -- the class of TransitSystems that accommodate a single type of - -- transportation device or method. - fun UniModalTransitSystem : Class ; - fun UniModalTransitSystem_Class : SubClass UniModalTransitSystem TransitSystem ; - - fun Unpaved : Ind Attribute ; - - -- UnpavedRunways include Runways with - -- grass, dirt, sand, or gravel surfaces. Contrast with PavedRunway. - fun UnpavedRunway : Class ; - fun UnpavedRunway_Class : SubClass UnpavedRunway Runway ; - - -- A Vehicle that lacks a powerComponent. - -- It coasts like a glider or skateboard, thus deriving its power from the - -- potential energy of gravity, or by the power of its agent, as in a bicycle. - fun UnpoweredVehicle : Class ; - fun UnpoweredVehicle_Class : SubClass UnpoweredVehicle Vehicle ; - - -- UnsurfacedRoadway is the subclass - -- of Roadways that have natural, unimproved surfaces of dirt or sand. - fun UnsurfacedRoadway : Class ; - fun UnsurfacedRoadway_Class : SubClass UnsurfacedRoadway Roadway ; - - fun UreaCarrierShip : Class ; - fun UreaCarrierShip_Class : SubClass UreaCarrierShip DryBulkCarrierShip ; - - fun VehicleCarrierShip : Class ; - fun VehicleCarrierShip_Class : SubClass VehicleCarrierShip RollOnRollOffCargoShip ; - - -- VehicleRegistration is the class - -- of official documents containing information about a vehicle's ownership - -- and identifying characteristics, as required by the appropriate authority - -- for the type and location of individual vehicles. - fun VehicleRegistration : Class ; - fun VehicleRegistration_Class : SubClass VehicleRegistration ContentBearingObject ; - - -- VeryLongRunwayAirport is a CIA - -- category for Airports whose longest runway has a length greater - -- than 3,047 meters. - fun VeryLongRunwayAirport : Ind CIAAirportLengthClassification ; - - -- VeryShortRunwayAirport is a CIA - -- category for Airports whose longest runway is less than 914 meters long. - fun VeryShortRunwayAirport : Ind CIAAirportLengthClassification ; - - -- WaterJunction is the subclass of - -- TransitwayJunctions where two or more Waterways come together. - fun WaterJunction : Class ; - fun WaterJunction_Class : SubClass WaterJunction (both TransitwayJunction Waterway) ; - - fun WaterTransportationSystem : Class ; - fun WaterTransportationSystem_Class : SubClass WaterTransportationSystem TransitSystem ; - - -- Waterway is the class of navigable waters, - -- including Oceans, SeaLanes, Rivers, Canals, Lakes, and inland - -- bodies of water. - fun Waterway : Class ; - fun Waterway_Class : SubClass Waterway (both Transitway WaterArea) ; - - fun WoodChipsCarrierShip : Class ; - fun WoodChipsCarrierShip_Class : SubClass WoodChipsCarrierShip DryBulkCarrierShip ; - - -- (cargoType ?DEVICE ?TYPE) means that the - -- TransportationDevice ?DEVICE typically carries cargo of the kind ?TYPE. - fun cargoType: El TransportationDevice -> Desc Object -> Formula ; - - -- (fOCShipsByOrigin ?MM ?AREA ?COUNT) means that the - -- MerchantMarine ?MM has ?COUNT number of ships from the - -- GeopoliticalArea ?AREA in its ShipRegister, using it as - -- a FlagOfConvenience, although the owner of the ships is in - -- ?AREA. - fun fOCShipsByOrigin : El MerchantMarine -> El GeopoliticalArea -> El NonnegativeInteger -> Formula ; - - -- (flagState ?SHIP ?AREA) means that - -- the Ship ?SHIP is enrolled in the ShipRegister of the - -- GeopoliticalArea ?AREA and is subject to its maritime laws, - -- regulations for operation of the ship, and rules of taxation. - fun flagState : El WaterVehicle -> El GeopoliticalArea -> Formula ; - - -- (fleetDeadWeightTonnage ?FLEET ?AMOUNT) means that the Collection - -- of Ships ?FLEET has a total carrying capacity of ?AMOUNT in LongTons. - -- This is the total vesselDeadWeightTonnage of all the vessels combined. - -- Dead Weight Tonnage, or DWT, is the weight of cargo plus stores that a - -- vessel can carry when immersed to the proper load line. - fun fleetDeadWeightTonnage : El Collection -> El MassMeasure -> Formula ; - - -- (fleetGrossRegisteredTonnage ?FLEET ?AMOUNT) means that the - -- Collection of Ships ?FLEET has a total carrying capacity of ?AMOUNT - -- in RegistryTons. This is the total vesselGrossRegisteredTonnage of - -- all the vessels combined. Gross Registered Tonnage, or GRT, is the - -- capacity of a vessel calculated on an equivalence of 100 cubic feet of - -- sheltered area per ton. - fun fleetGrossRegisteredTonnage : El Collection -> El PhysicalQuantity -> Formula ; - - -- (ladenDraft ?SHIP ?AMOUNT) means that - -- the WaterVehicle ?SHIP requires a waterDepth of at least ?AMOUNT - -- to sail without running aground, when she is loaded at capacity. - fun ladenDraft : El WaterVehicle -> El LengthMeasure -> Formula ; - - -- (lengthOfBroadGaugeRailway ?AREA ?LENGTH) means that the sum length - -- of broad gauge railway routes in the GeographicArea ?AREA is the - -- LengthMeasure ?LENGTH. - fun lengthOfBroadGaugeRailway : El GeographicArea -> El LengthMeasure -> Formula ; - - -- (lengthOfCrudeOilPipeline ?AREA ?AMOUNT) means that in the - -- GeograpicArea ?AREA there is the LengthMeasure ?AMOUNT of - -- CrudeOilPipeline. - fun lengthOfCrudeOilPipeline : El GeographicArea -> El LengthMeasure -> Formula ; - - -- (lengthOfDualGaugeRailway ?AREA ?LENGTH) means that the sum length - -- of dual gauge railway routes in the GeographicArea ?AREA is the - -- LengthMeasure ?LENGTH. - fun lengthOfDualGaugeRailway : El GeographicArea -> El LengthMeasure -> Formula ; - - -- (lengthOfElectrifiedRailway ?AREA ?LENGTH) means that the sum - -- length of all ElectrifiedRailway routes in the GeographicArea - -- ?AREA is the LengthMeasure ?LENGTH. - fun lengthOfElectrifiedRailway : El GeographicArea -> El LengthMeasure -> Formula ; - - -- (lengthOfExpresswaySystem ?AREA ?LENGTH) means that the total length - -- of Expressway in the GeographicArea ?AREA is ?LENGTH. - fun lengthOfExpresswaySystem : El GeographicArea -> El LengthMeasure -> Formula ; - - -- (lengthOfMultipleTrackRailway ?AREA ?LENGTH) means that the sum - -- length of all MultipleTrackRailway routes in the GeographicArea - -- ?AREA is the LengthMeasure ?LENGTH. - fun lengthOfMultipleTrackRailway : El GeographicArea -> El LengthMeasure -> Formula ; - - -- (lengthOfNarrowGaugeRailway ?AREA ?LENGTH) means that the sum length - -- of narrow gauge railway routes in the GeographicArea ?AREA is the - -- LengthMeasure ?LENGTH. - fun lengthOfNarrowGaugeRailway : El GeographicArea -> El LengthMeasure -> Formula ; - - -- (lengthOfNaturalGasPipeline ?AREA ?AMOUNT) means that in the - -- GeograpicArea ?AREA there is the LengthMeasure ?AMOUNT of - -- NaturalGasPipeline. - fun lengthOfNaturalGasPipeline : El GeographicArea -> El LengthMeasure -> Formula ; - - -- (lengthOfPavedHighway ?AREA ?LENGTH) means that the total length - -- of SurfacedRoadway in the GeographicArea ?AREA is ?LENGTH. - fun lengthOfPavedHighway : El GeographicArea -> El LengthMeasure -> Formula ; - - -- (lengthOfPetroleumProductPipeline ?AREA ?AMOUNT) means that in the - -- GeograpicArea ?AREA there is the LengthMeasure ?AMOUNT of - -- PetroleumProductPipeline. - fun lengthOfPetroleumProductPipeline : El GeographicArea -> El LengthMeasure -> Formula ; - - -- (lengthOfStandardGaugeRailway ?AREA ?LENGTH) means that the sum length - -- of standard gauge railway routes in the GeographicArea ?AREA is the - -- LengthMeasure ?LENGTH. - fun lengthOfStandardGaugeRailway : El GeographicArea -> El LengthMeasure -> Formula ; - - -- (lengthOfUnclassifiedGaugeRailway ?AREA ?LENGTH) means that the sum length - -- of railway routes in the GeographicArea ?AREA classified as something - -- other than broad, dual, narrow, or standard gauge is the LengthMeasure - -- ?LENGTH. - fun lengthOfUnclassifiedGaugeRailway : El GeographicArea -> El LengthMeasure -> Formula ; - - -- (lengthOfUnpavedHighway ?AREA ?LENGTH) means that the total length - -- of UnsurfacedRoadway in the GeographicArea ?AREA is ?LENGTH. - fun lengthOfUnpavedHighway : El GeographicArea -> El LengthMeasure -> Formula ; - - -- A relation between a MerchantMarine - -- and a ShipRegister which is a member of that MerchantMarine - fun marineInventory : El MerchantMarine -> El ShipRegister -> Formula ; - - -- (navigableForDraft ?WATERWAY ?DRAFT) means that the Waterway - -- ?WATERWAY can be transited by vessels up to the draft ?DRAFT. - fun navigableForDraft : El WaterArea -> El LengthMeasure -> Formula ; - - -- (navigableForShippingTonnage ?WATERWAY ?TONNAGE) means that the - -- Waterway ?WATERWAY can be transited by vessels up to the tonnage - -- ?TONNAGE (in Dead Weight Tonnage). - fun navigableForShippingTonnage : El WaterArea -> El PhysicalQuantity -> Formula ; - - -- (passengerCapacityMaxNumber ?TRANSPORT ?NUMBER) means that the - -- TransportationDevice ?TRANSPORT has a safe carrying capacity for ?NUMBER - -- of passengers. - fun passengerCapacityMaxNumber : El TransportationDevice -> El Number -> Formula ; - - -- (powerComponent ?GENERATOR ?THING) - -- means that the Device ?THING is the power source for the Artifact - -- ?THING. - fun powerComponent: El Device -> Desc Artifact -> Formula ; - - -- (routeBetween ?ROUTE ?FROM ?TO) means - -- that the Transitway ?ROUTE is a route between the place ?FROM and - -- the place ?TO. - fun routeBetween : El Transitway -> El Region -> El Region -> Formula ; - - -- (routeEnd ?REGION ?SYSTEM) means - -- that within the given ?SYSTEM the given ?REGION is connected to - -- only one other Region. - fun routeEnd : El Region -> El TransitSystem -> Formula ; - - fun routeStart : El Region -> El TransitSystem -> Formula ; - - -- The maximum speed under normal conditions - -- for a vehicle. For a RoadVehicle this would be on level ground, no headwind or - -- tailwind, 70 degrees F, standard recommended fuel etc. For an Aircraft this would - -- mean level flight out of ground effect. Because of the number of external factors - -- on top speed, all that can be said formally is that higher speeds are unlikely. - fun topSpeed : El Vehicle -> El FunctionQuantity -> Formula ; - - -- (totalFacilityTypeInArea ?AREA ?TYPE ?COUNT) means that in the - -- GeographicArea ?AREA there a total of ?COUNT number of facilities - -- of type ?TYPE. - fun totalFacilityTypeInArea : El GeographicArea -> Class -> El NonnegativeInteger -> Formula ; - - -- (totalLengthOfHighwaySystem ?AREA ?LENGTH) means that the total - -- length of the highway system in the GeographicArea ?AREA is ?LENGTH. - -- The figure includes both paved and unpaved roads. - fun totalLengthOfHighwaySystem : El GeographicArea -> El LengthMeasure -> Formula ; - - -- (totalLengthOfRailwaySystem ?AREA ?LENGTH) means that the sum - -- length of all railway routes in the GeographicArea ?AREA - -- is the LengthMeasure ?LENGTH. - fun totalLengthOfRailwaySystem : El GeographicArea -> El LengthMeasure -> Formula ; - - -- (totalLengthOfWaterways ?AREA ?LENGTH) means that the - -- total length of navigable Waterways in the GeographicArea ?AREA - -- is the LengthMeasure ?LENGTH. - fun totalLengthOfWaterways : El GeographicArea -> El LengthMeasure -> Formula ; - - -- (totalPipelineInArea ?AREA ?LENGTH) means that the GeopoliticalArea - -- ?AREA has ?LENGTH of Pipelines. - fun totalPipelineInArea : El GeographicArea -> El LengthMeasure -> Formula ; - - -- The distance between the two rails - -- of a Railway. - fun trackWidth : El Railway -> El LengthMeasure -> Formula ; - - -- (trafficableForTrafficType ?WAY ?TYPE) means that Objects of ?TYPE - -- can move along the Transitway ?WAY. - fun trafficableForTrafficType: El Object -> Desc SelfConnectedObject -> Formula ; - - -- (transitwayCapacityCount ?WAY ?TYPE ?NUMBER) means that the - -- Transitway ?WAY can accommodate a maximum of ?NUMBER items of ?TYPE - -- at any one time. - fun transitwayCapacityCount: El Transitway -> Desc SelfConnectedObject -> El NonnegativeInteger -> Formula ; - - -- (transitwayCapacityRate ?WAY ?TYPE ?RATE) means that the - -- Transitway WAY can transit items of ?TYPE at the maximum - -- FunctionQuantity ?RATE. For example, - -- (transitwayCapacityRate SFBayBridgeWestbound Automobile 500). - fun transitwayCapacityRate: El Transitway -> Desc SelfConnectedObject -> El FunctionQuantity -> Formula ; - - -- (vesselDeadWeightTonnage ?VESSEL ?AMOUNT) means that the - -- WaterVehicle ?VESSEL has a carrying capacity when fully loaded of - -- ?AMOUNT in LongTons. This is the Dead Weight Tonnage, or DWT, - -- of the vessel, which is the total weight of cargo plus stores - -- that the vessel can carry when immersed to the proper load line. - fun vesselDeadWeightTonnage : El WaterVehicle -> El MassMeasure -> Formula ; - - -- (vesselDisplacement ?VESSEL ?AMOUNT) means that the displacement - -- of WaterVehicle ?VESSEL is the PhysicalQuantity ?AMOUNT. The - -- displacement of a vessel may be measured in LongTons (Dead Weight - -- Tonnage, or DWT) or by volume (Gross Registered Tonnage, or GRT). - fun vesselDisplacement : El WaterVehicle -> El PhysicalQuantity -> Formula ; - - -- (vesselGrossRegisteredTonnage ?VESSEL ?AMOUNT) means that the - -- WaterVehicle ?VESSEL has a carrying capacity when fully loaded of - -- ?AMOUNT, where ?AMOUNT is the Gross Registered Tonnage (GRT) of the - -- vessel, which is based on the total sheltered volume of the vessel - -- measured in hundreds of cubic feet, and converted to gross tons - -- at an equivalence of 100 cubic feet per ton. - fun vesselGrossRegisteredTonnage : El WaterVehicle -> El PhysicalQuantity -> Formula ; - -} -- cgit v1.2.3