added new definitions for EFScale

Weather.kif

@@ -1682,45 +1682,67 @@ returns the highest running 3-second average wind speed recorded at ?PLACE in th
       (equal ?SPEED 
         (MeasureFn (MaxValueFn ?NLIST) ?UNIT)))))
 
-;(documentation EFWindScale EnglishLanguage "&%EFWindScale is the &%Wind speeds
-;for the Enhanced Fujita Scale or EF Scale, which is used to assign a 
-;&%Tornado a 'rating' based on estimated wind speeds and related damage. 
-;The lightest tornados (EFO) have wind speeds ranging between 65 to 85 mph, 
-;and the severest &%Tornades (EF5) have wind speeds &%GreaterThan 200 mph.")
-;(termFormat EnglishLanguage EFWindScale "enhanced fuijita wind scale")
-;
-;(subclass EFWindScale RelationalAttribute)
-;
-;(=>
-;  (and
-;    (instance ?EF EFWindScale)
-;    (property ?ENTITY ?EF))
-;  (instance ?ENTITY Tornado))
-;
-;(documentation EF0 EnglishLanguage "An EF0 tornado has wind speeds between
-;65 and 85mph (105 and 137km/h).")
-;(termFormat EnglishLanguage EF0 "EF0")
-;(instance EF0 EFWindScale)
-;(successorAttribute EF0 EF1)
-;
-;(=>
-;  (and
-;    (instance ?T Tornado)
-;    (property ?T EF0))
-;  (exist (?AREA ?WIND ?DIST)
-;    (and
-;      (instance ?AREA GeographicArea)
-;      (eventLocated ?T ?AREA)
-;      (instance ?WIND Wind)
-;     (subProcess ?WIND ?T)
-;      (surfaceWindSpeed ?AREA
-;        (SpeedFn
-;          (MeasureFn ?DIST Mile)
-;          (MeasureFn 1 HourDuration)))
-;      (greaterThanOrEqualTo ?DIST 65)
-;      (lessThanOrEqualTo ?DIST 85))))
-;  
-
+(documentation EFScale EnglishLanguage "&%EFScale is short for the Enhanced 
+Fujita Scale. It is the &%Attribute for indicating the intensity of a &%Tornado according to a 
+set of 3-second gusts wind estimates based on damage it caused. The lightest tornados(EFO) 
+have wind gusts ranging between 65 to 85 mph,and the severest &%Tornades (EF5) 
+&%GreaterThan 200 mph.")
+(termFormat EnglishLanguage EFScale "E F Scale")
+(termFormat EnglishLanguage EFScale "enhanced fuijita scale")
+(subclass EFScale RelationalAttribute)
+
+(=>
+  (and
+    (instance ?EF EFScale)
+    (property ?T ?EF))
+  (instance ?T Tornado))
+
+(documentation TornadoDamage EnglishLanguage "&%TornadoDamage is the class of &%Objects, 
+that are damaged by &%Tornados.")
+(termFormat EnglishLanguage TornadoDamage "tornado damage")
+(subclass TornadoDamage Object)
+
+(=>
+  (instance ?TD TornadoDamage)
+  (exists (?T ?D)
+    (and
+      (instance ?T Tornado)
+      (instance ?D Damaging)
+      (causes ?T ?D)
+      (patient ?D ?TD))))
+
+(documentation EF0 EnglishLanguage "The estimated 3-second Gusts for tornado of &%EFScale
+&%EF0 ranges between 65 and 85mph (105 and 137km/h).")
+(termFormat EnglishLanguage EF0 "EF0")
+(instance EF0 EFScale)
+(successorAttribute EF0 EF1)
+
+(=>
+  (and
+    (instance ?T Tornado)
+    (property ?T EF0)
+    (eventLocated ?T ?AREA)
+    (equal ?GUST
+      (ThreeSecondGustSpeedFn ?AREA
+        (WhenFn ?T))))
+  (exists (?TD ?R ?A)
+    (and
+      (instance ?TD TornadoDamage)
+      (instance ?R Reasoning)
+      (agent ?T ?A)
+      (believes ?A
+        (and     
+          (greaterThanOrEqualTo ?GUST 
+            (MeasureFn 65 MilesPerHour))
+          (lessThanOrEqualTo ?GUST 
+            (MeasureFn 85 MilesPerHour)))))))
+
+(documentation EF1 EnglishLanguage "The estimated 3-second Gusts for tornado of &%EFScale
+&%EF1 ranges between 86 and 110mph (138 and 177km/h).")
+(termFormat EnglishLanguage EF1 "EF1")
+(instance EF1 EFScale)
+(successorAttribute EF1 EF2)
+
 (subclass Tsunami WeatherProcess)
 
 (documentation Tsunami EnglishLanguage "&%Tsunami is the class of highly destructive