Added and updated information for many vehicles.

Transportation.kif

@@ -1059,6 +1059,10 @@ the members of the &%Collection ?GROUP belong to the &%SetOrClass
 ?TYPE.")
 
 (subclass CargoShip Ship)
+(documentation CargoShip "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.")
 
 (subclass PetroleumTankerShip CargoShip)
 (names "petroleum tanker" PetroleumTankerShip)
@@ -1443,6 +1447,12 @@ the &%EarthsAtmosphere.")
 
 (documentation Airport "&%Airport is the subclass of &%TransitTerminals 
 for &%Airplanes (fixed-wing &%Aircraft).")
+(subclass AircraftCarrier MilitaryShip)
+(documentation AircraftCarrier "A MilitaryShip on which MilitaryAircraft can land 
+and take off.")
+(subclass Airway Transitway)
+(documentation Airway "The class of Transitways used to transport Air 
+to a location where it is absent or insufficient.")
 
 ;;----------------------------------------------------------------------
 
@@ -1997,6 +2007,8 @@ surface, including a frozen body of water or snow.")
 ;;	(1) a. Road Vehicles
 
 (subclass RoadVehicle LandVehicle)
+(documentation RoadVehicle "The class of LandVehicles that are not 
+RollingStock.")
 
 (subclass Automobile RoadVehicle) 
 (subclass Automobile PoweredVehicle) 
@@ -2015,6 +2027,8 @@ rear areas that can carry cargo are not defined as trucks.")
 
 (subclass Trailer RoadVehicle)	; also a CargoContainer
 (subclass Trailer UnpoweredVehicle)
+(disjoint Trailer SelfPoweredVehicle)
+(disjoint Trailer AgentPoweredVehicle)
 (documentation Trailer "Any &%RoadVehicle that is also an &%UnpoweredVehicle,
 and intended to be towed by a &%PoweredVehicle.")
 
@@ -2024,18 +2038,30 @@ and intended to be towed by a &%PoweredVehicle.")
 
 (subclass MotorScooter RoadVehicle)
 
-(subclass EmergencyVehicle Vehicle)
+(subclass EmergencyVehicle SelfPoweredVehicle)
+(documentation EmergencyVehicle "EmergencyVehicle is the subclass of 
+Vehicles that are used for special-purpose emergency response.")
 
 (subclass EmergencyRoadVehicle EmergencyVehicle)
+(subclass EmergencyRoadVehicle SelfPoweredRoadVehicle)
+(documentation EmergencyRoadVehicle "EmergencyRoadVehicle is the 
+subclass of EmergencyVehicle that includes RoadVehicles designed 
+for special use in emergencies, e.g., Ambulances, FireEngines.")
 
 (subclass FireEngine EmergencyRoadVehicle)
+(documentation FireEngine "FireEngine is the subclass of 
+EmergencyRoadVehicles that represents the various vehicles
+used by a fire department in fighting fires.")
 
 (subclass Ambulance EmergencyRoadVehicle)
 
 ; misc. motor or battery powered, e.g., forklift, tractor, lawnmower, snowmobile, various construction equipment such as bulldozer, backhoe.  Some of these are devices for moving stuff around, but moving their riders from one place to another is not the main point.
 
 (subclass Cycle LandVehicle)
 (subclass Cycle AgentPoweredVehicle)
+(documentation Cycle "Cycle is a class of wheeled, pedal-driven 
+UserPoweredVehicles that are designed to be ridden on roads or trails.")
+
 (subclass Bicycle Cycle)
 
 (subclass Scooter LandVehicle)
@@ -2061,7 +2087,8 @@ and intended to be towed by a &%PoweredVehicle.")
           (meetsSpatially ?X ?RAIL))))))
 
 (subclass Train RailVehicle)
-
+(subclass Train SelfPoweredVehicle)
+(subclass Train Collection)
 (documentation Train "&%Train is the subclass of 
 &%TransportationDevice whose instances are linked sequences 
 of &%RollingStock.")
@@ -2075,6 +2102,24 @@ of &%RollingStock.")
       (not 
         (equal ?X ?Y)))))
 
+(subclass TrainStation TerminalBuilding)
+(documentation TrainStation "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.")
+
+(subclass RailTransportationSystem TransportationSystem)
+(documentation RailTransportationSystem "RailTransportationSystem 
+is the subclass of &%TransportationSystems whose routes are &%Railways.")
+(subclass Railcar RollingStock)
+(disjoint Railcar SelfPoweredVehicle)
+(documentation Railcar "Railcar is the subclass of &%RollingStock that 
+includes all non-locomotive, non-self-powered &%RailVehicles.")
+(subclass RailwayTerminal TransitTerminal)
+(documentation RailwayTerminal "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).")
+
 (subclass RollingStock RailVehicle)
 (documentation RollingStock "A single rail car.  Any &%RailVehicle that is 
 not composed of other &%RailVehicles.") 
@@ -2090,7 +2135,7 @@ not composed of other &%RailVehicles.")
           (equal ?X ?Y))))))           
 
 (subclass Locomotive RollingStock)
-(subclass Locomotive PoweredVehicle)
+(subclass Locomotive SelfPoweredVehicle)
 (documentation Locomotive "An individual rail vehicle, i.e. a
 &%RollingStock which is also a &%PoweredVehicle.  Modern
 locomotives are typically diesel or electric powered, while
@@ -2118,7 +2163,9 @@ carry &%Humans.")
 (documentation FreightCar "A train car that is designed to
 carry freight, and not &%Humans.")
 
-(subclass Boxcar RollingStock)
+(subclass Boxcar FreightCar)
+(documentation Boxcar "Boxcar is the subclass of Railcars that are 
+general-purpose closed cars for hauling freight.")
 
 (subclass BusinessRailcar PassengerRailcar)
 
@@ -2136,51 +2183,49 @@ railway construction or maintenance workers in the field.  Also called
 'Camp Cars'.")
 
 (subclass CrewDormCar PassengerRailcar) 
-
 (documentation CrewDormCar "&%CrewDormCars are &%Railcars used for 
 housing the employee staff on long-distance trains.")
 
-(subclass FiveWellStackCar FreightCar)
+(subclass ElectrifiedRailwayCar RollingStock)
+(subclass ElectrifiedRailwayCar SelfPoweredVehicle)
+(subclass ElectrifiedRailwayCar ElectricDevice)
+(documentation ElectrifiedRailwayCar "ElectrifiedRailwayCar is the 
+subclass of railway cars that are powered by electricity, which is 
+provided to the car through an overhead link or electrified third rail.")
 
+(subclass FiveWellStackCar FreightCar)
 (documentation FiveWellStackCar "&%FiveWellStackCars are five-unit 
 that carry double-stacked containers.")
 
 (subclass Flatcar FreightCar)
-
 (subclass Flatcar OpenTopRailcar)
 (documentation Flatcar "&%Flatcars are &%Freightcars without sides 
 or roofs.")
 
 (subclass GalleryCar PassengerRailcar)
-
 (documentation GalleryCar "&%GalleryCars are double-decked passenger 
 cars that have a viewing area on the second floor.")
 
 (subclass HeadEndCar RollingStock)
-
 (documentation HeadEndCar "&%HeadEndCars are &%Railcars that were 
 typically placed at the front of the train, including mail and 
 baggage cars.")
 
 (subclass HydraCushionFreightCar FreightCar)
-
 (documentation HydraCushionFreightCar "&%HydraCushionFreightCars 
 are &%FreightCars with hydraulic underframes to cushion their loads.")
 
 (subclass LocomotiveCoalCar RollingStock)
-
 (documentation LocomotiveCoalCar "&%LocomotiveCoalCars are 
 &%Railcars put directly behind the &%Locomotive and used for 
 carrying fuel coal for the engine.")
 
 (subclass OpenTopRailcar FreightCar)
-
 (documentation OpenTopRailcar "&%OpenTopRailcars are &%FreightCars 
 that have no roof.  They may have sides or not.")
 
 (subclass MotorRailcar PassengerRailcar) 
 (subclass MotorRailcar PoweredVehicle) 
-
 (documentation MotorRailcar "&%MotorRailcars are &%PassengerRailcars 
 that carry their own power source.")
 
@@ -2264,7 +2309,16 @@ for travel on oceans, seas, or large lakes.")
 (subclass MultihullWatercraft Watercraft)
 (subclass Catamaran MultihullWatercraft)
 (subclass DisplacementHullWatercraft Watercraft)
+(disjoint DisplacementHullWatercraft PlaningHullWatercraft)
+(documentation DisplacementHullWatercraft "DisplacementHullWatercraft is 
+a subclass of Watercraft with hulls designed to move water aside as they 
+move through the water.  Contrast with PlaningHullWatercraft.")
+
 (subclass PlaningHullWatercraft Watercraft)
+(documentation PlaningHullWatercraft "PlaningHullWatercraft is a subclass 
+of Watercraft 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 DisplacementHullWatercraft.")
 
 (subclass CruiseShip PassengerShip)
 
@@ -2408,6 +2462,10 @@ partly bounded section of a &%Ship.")
 ; airplanes also travel on the ground, and some on water
 
 (subclass Aircraft Vehicle)
+(documentation Aircraft "Any Vehicle which is capable of 
+AirTransportation.  Note that this class covers both fixed-wing aircraft
+and helicopters.")
+
 (subclass Airplane Aircraft)
 (subclass Airplane PoweredVehicle)