consequent

(=>     (equal ?SPEED         (SpeedFn             (MeasureFn ?DISTANCE NauticalMile)             (MeasureFn ?TIME HourDuration)))     (equal ?SPEED         (MeasureFn             (DivisionFn ?DISTANCE ?TIME) KnotUnitOfSpeed)))	Geography.kif 5464-5472	If equal X and Y nautical mile(s) per Z hour duration(s), then equal X and Y and Z knot unit of speed(s)
(=>     (and         (measure             (FlowFn ?FLUID)             (MeasureFn ?NUM KnotUnitOfSpeed))         (piece ?PART ?FLUID))     (piece ?PART         (MeasureFn ?NUM KnotUnitOfSpeed)))	Geography.kif 6461-6465	If the measure of the flow of X is Y knot unit of speed(s) and Z is a piece of X, then Z is a piece of Y knot unit of speed(s)
(=>     (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 ?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