Added axioms for railway gauges

Transportation.kif

@@ -358,6 +358,7 @@ 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.")
 
+(contraryAttribute BroadGauge StandardGauge NarrowGauge DualGauge)
 (instance trackWidth BinaryPredicate)
 (subrelation trackWidth measure)
 (documentation trackWidth EnglishLanguage "The distance between the two rails
@@ -376,6 +377,10 @@ any &%Railway that has a &%TrackGauge wider than &%StandardGauge.")
 		(trackWidth ?RR ?WIDTH))
 	(greaterThan ?WIDTH (MeasureFn 1.44 Meter)))
 
+(<=>
+  (instance ?RR BroadGaugeRailway)
+  (property ?RR BroadGauge))
+
 (instance StandardGauge TrackGauge)
 (documentation StandardGauge EnglishLanguage "&%StandardGauge is the attribute  
 of &%Railways having the standardized track width that is 
@@ -402,6 +407,10 @@ or Spain and Portugal.")
 		(trackWidth ?RR ?WIDTH))
 	(lessThanOrEqualTo ?WIDTH (MeasureFn 1.44 Meter)))
 
+(<=>
+  (instance ?RR StandardGaugeRailway)
+  (property ?RR StandardGauge))
+
 (instance NarrowGauge TrackGauge)
 (documentation NarrowGauge EnglishLanguage "&%NarrowGauge is the attribute  
 of any &%Railway that has a &%TrackGauge narrower than 
@@ -415,11 +424,19 @@ among &%NarrowGauge railways.")
 		(trackWidth ?RR ?WIDTH))
 	(lessThanOrEqualTo ?WIDTH (MeasureFn 1.435 Meter)))
 
+(<=>
+  (instance ?RR NarrowGaugeRailway)
+  (property ?RR NarrowGauge))
+
 (instance DualGauge TrackGauge)
 (documentation DualGauge EnglishLanguage "&%DualGauge is the attribute of  
 any &%Railway that has three parallel rails, thus allowing 
 two different gauges of rolling stock to travel over it.") 
 
+(<=>
+  (instance ?RR DualGaugeRailway)
+  (property ?RR DualGauge))
+
 ;;----------------------------------------------------------------------
 ;;	B. Highways
 
@@ -1570,12 +1587,6 @@ city.")
 ;; Railway is defined in Part I.
 
 ; CIA factbook gauge types for Railways:
-(subclass RailGauge InternalAttribute)
-(instance BroadGaugeRail RailGauge)
-(instance StandardGaugeRail RailGauge)
-(instance NarrowGaugeRail RailGauge)
-(instance DualGaugeRail RailGauge)
-(contraryAttribute BroadGaugeRail StandardGaugeRail NarrowGaugeRail DualGaugeRail)
 
 ;;----------------------------------
 ;;	2. Water Transitways
@@ -2409,6 +2420,8 @@ that make regularly scheduled voyages to transport people and goods
 from one place to another.")
 
 (subclass Barge WaterVehicle)
+(documentation Barge EnglishLanguage "A &%Flat bottomed &%CargoShip.")
+
 (subclass TugBoat WaterVehicle)
 (subclass FireBoat WaterVehicle)
 (subclass FerryBoat WaterVehicle)