Merge remote-tracking branch 'origin/master'

Transportation.kif

@@ -2563,6 +2563,18 @@ Tonnage, or DWT) or by volume (Gross Registered Tonnage, or GRT).")
 of the vessel, which is the total weight of cargo plus stores 
 that the vessel can carry when immersed to the proper load line.")
 
+(=>
+  (and
+    (fleetDeadWeightTonnage ?FLEET (MeasureFn ?T LongTon))
+    (vesselDeadWeightTonnage ?VESSEL (MeasureFn ?X LongTon))
+    (member ?VESSEL ?FLEET))
+  (exists (?L)
+    (and
+      (instance ?L List)
+      (inList ?X ?L)
+      (equal ?T
+        (listSumFn ?L)))))
+
 (instance vesselGrossRegisteredTonnage BinaryPredicate)
 (domain vesselGrossRegisteredTonnage 1 WaterVehicle)
 (domain vesselGrossRegisteredTonnage 2 PhysicalQuantity)