consequent

(=>     (surfaceWindVelocity ?PLACE ?SPEED ?DIRECTION)     (surfaceWindSpeed ?PLACE ?SPEED))	Weather.kif 132-134	If X is surface wind velocity Y for Z, then Y is a surface wind speed of X
(=>     (and         (instance ?ZEPHYR WindFlow)         (instance ?PLACE Object)         (partlyLocated ?ZEPHYR ?PLACE)         (elevation ?ZEPHYR             (MeasureFn ?X FootLength))         (lessThanOrEqualTo ?X 500.0)         (measure ?ZEPHYR             (SpeedFn ?DIST ?TIME)))     (surfaceWindSpeed ?PLACE         (SpeedFn ?DIST ?TIME)))	Weather.kif 136-145	If All of the following hold: (1) X is an instance of wind flow (2) Y is an instance of object (3) X is partly located in Y (4) Z foot length(s) is an elevation of X (5) Z is less than or equal to 500.0 (6) the measure of X is W per V, then W per V is a surface wind speed of Y
(=>     (and         (instance ?ZEPHYR WindFlow)         (instance ?PLACE Object)         (partlyLocated ?ZEPHYR ?PLACE)         (measure ?ZEPHYR             (MeasureFn ?SPEED KnotUnitOfSpeed)))     (surfaceWindSpeed ?PLACE         (MeasureFn ?SPEED KnotUnitOfSpeed)))	Weather.kif 147-153	If X is an instance of wind flow, Y is an instance of object, X is partly located in Y, and the measure of X is Z knot unit of speed(s), then Z knot unit of speed(s) is a surface wind speed of Y
(=>     (and         (instance ?W Wind)         (instance ?BN BeaufortNumberAttribute)         (eventLocated ?W ?AREA)         (believes ?A             (property ?W ?BN))         (speedScaleAttributeMinMax ?BN             (MeasureFn ?MIN ?U)             (MeasureFn ?MAX ?U))         (instance ?U UnitOfMeasure))     (exists (?SPEED)         (and             (greaterThanOrEqualTo ?SPEED ?MIN)             (lessThanOrEqualTo ?SPEED ?MAX)             (believes ?A                 (surfaceWindSpeed ?AREA                     (MeasureFn ?SPEED ?U))))))	Weather.kif 321-338	If All of the following hold: (1) X is an instance of wind (2) Y is an instance of Beaufort number attribute (3) X is located at Z (4) W believes X the attribute Y (5) V U(s) and T U(s) are the min and max speed of Y (6) U is an instance of unit of measure, then there exists S such that S is greater than or equal to V and S is less than or equal to T and W believes S U(s) is a surface wind speed of Z
(=>     (and         (instance ?W Wind)         (instance ?BN BeaufortNumber12)         (eventLocated ?W ?AREA)         (believes ?A             (property ?W ?BN)))     (exists (?SPEED)         (and             (greaterThan ?SPEED 73.0)             (believes ?A                 (surfaceWindSpeed ?AREA                     (MeasureFn ?SPEED MilesPerHour))))))	Weather.kif 456-468	If X is an instance of wind, Y is an instance of Beaufort number 12, X is located at Z, and W believes X the attribute Y, then there exists V such that V is greater than 73.0 and W believes V miles per hour(s) is a surface wind speed of Z
(=>     (and         (instance ?DUSTSTORM DustStorm)         (instance ?WIND Wind)         (subProcess ?DUSTSTORM ?WIND))     (exists (?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)         (and             (instance ?A1 LandArea)             (eventLocated ?WIND ?A1)             (surfaceWindSpeed ?A1                 (MeasureFn ?STRONG KnotUnitOfSpeed))             (greaterThan ?STRONG 30.0)             (instance ?TRANSLOCATE Translocation)             (subProcess ?TRANSLOCATE ?DUSTSTORM)             (objectTransferred ?TRANSLOCATE ?PM)             (objectTransferred ?TRANSLOCATE ?SAND)             (instance ?PM ParticulateMatter)             (instance ?SAND Sand)             (instance ?A2 LandArea)             (destination ?TRANSLOCATE ?A2)             (not                 (overlapsSpatially ?A1 ?A2)))))	Weather.kif 2436-2457	If X is an instance of dust storm, Y is an instance of wind, and X is a subprocess of Y, then there exist Z, W,, , V,, , U,, , T and S such that U is an instance of land area and Y is located at U and S knot unit of speed(s) is a surface wind speed of U and S is greater than 30.0 and Z is an instance of translocation and Z is a subprocess of X and the object transferred in Z is W and the object transferred in Z is V and W is an instance of PM and V is an instance of sand and T is an instance of land area and Z ends up at T and U and T doesn't overlapsSpatially
(=>     (instance ?PROCESS Blizzard)     (holdsDuring         (WhenFn ?PROCESS)         (exists (?AREA ?GALE ?DURATION)             (and                 (instance ?AREA GeographicArea)                 (eventLocated ?PROCESS ?AREA)                 (surfaceWindSpeed ?AREA                     (MeasureFn ?GALE KnotUnitOfSpeed))                 (greaterThan ?GALE 35.0)                 (duration                     (WhenFn ?PROCESS)                     (MeasureFn ?DURATION HourDuration))                 (greaterThan ?DURATION 3)))))	Weather.kif 3894-3907	If X is an instance of blizzard, then there exist Y, Z and W such that Y is an instance of geographic area and X is located at Y and Z knot unit of speed(s) is a surface wind speed of Y and Z is greater than 35.0 and duration of the time of existence of X is W hour duration(s) and W is greater than 3 holds during the time of existence of X
(=>     (instance ?STORM Storm)     (holdsDuring         (WhenFn ?STORM)         (exists (?AREA ?STRONG)             (and                 (instance ?AREA GeographicArea)                 (surfaceWindSpeed ?AREA                     (MeasureFn ?STRONG KnotUnitOfSpeed))                 (greaterThan ?STRONG 30.0)))))	Weather.kif 4173-4182	If X is an instance of storm, then there exist Y and Z such that Y is an instance of geographic area and Z knot unit of speed(s) is a surface wind speed of Y and Z is greater than 30.0 holds during the time of existence of X

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners