Sigma KB Term Intersection

(=> (instance ?AREA TemperateClimateZone) (exists (?MO ?AMOUNT) (and (subclass ?MO Month) (averageTemperatureForPeriod ?AREA ?MO ?AMOUNT) (greaterThanOrEqualTo ?AMOUNT (MeasureFn -3 CelsiusDegree)) (lessThanOrEqualTo ?AMOUNT (MeasureFn 18 CelsiusDegree)))))	Geography.kif 1400-1407	If a geographic area is an instance of temperate climate zone, then there exist a time duration and a temperature measure such that the time duration is a subclass of month and the geographic area average temperature for period the time duration for the temperature measure and the temperature measure is greater than or equal to -3 celsius degree(s) and the temperature measure is less than or equal to 18 celsius degree(s)
(=> (and (instance ?AREA TemperateClimateZone) (subclass ?MO Month) (averageTemperatureForPeriod ?AREA ?MO ?TEMP)) (greaterThanOrEqualTo ?TEMP (MeasureFn -3 CelsiusDegree)))	Geography.kif 1393-1398	If a geographic area is an instance of temperate climate zone and a time duration is a subclass of month and the geographic area average temperature for period the time duration for a temperature measure, then the temperature measure is greater than or equal to -3 celsius degree(s)