consequent

(=>     (equal ?SPEED         (Mean10MinutesWindSpeedFn ?PLACE ?TIME))     (holdsDuring ?TIME         (exists (?MLIST ?RLIST ?NLIST ?UNIT)             (and                 (instance ?MLIST MeasuringSurfaceWindSpeedList)                 (locationMeasuringList ?MLIST ?PLACE)                 (measuringListInterval ?MLIST                     (MeasureFn 5 SecondDuration))                 (measuringListDuration ?MLIST                     (MeasureFn 10 MinuteDuration))                 (equal 120                     (ListLengthFn ?MLIST))                 (measuringResult ?MLIST ?RLIST)                 (equal ?NLIST                     (PhysicalQuantityToNumberFn ?RLIST))                 (equal ?SPEED                     (MeasureFn                         (AverageFn ?NLIST) ?UNIT))))))	Weather.kif 3547-3564	If equal a function quantity and Mean10MinutesWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 5 second duration(s) interval. and The Measuring for list the entity takes 10 minute duration(s). and equal 120 and length of the entity and the other entity is the result of the entity and equal the third entity and PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and equal the function quantity and the average of the numbers in the third entity the fourth entity(s) holds during the time interval
(=>     (equal ?SPEED         (Mean1MinuteWindSpeedFn ?PLACE ?TIME))     (holdsDuring ?TIME         (exists (?MLIST ?RLIST ?NLIST ?UNIT)             (and                 (instance ?MLIST MeasuringSurfaceWindSpeedList)                 (locationMeasuringList ?MLIST ?PLACE)                 (measuringListInterval ?MLIST                     (MeasureFn 5 SecondDuration))                 (measuringListDuration ?MLIST                     (MeasureFn 1 MinuteDuration))                 (equal 12                     (ListLengthFn ?MLIST))                 (measuringResult ?MLIST ?RLIST)                 (equal ?NLIST                     (PhysicalQuantityToNumberFn ?RLIST))                 (equal ?SPEED                     (MeasureFn                         (AverageFn ?NLIST) ?UNIT))))))	Weather.kif 3652-3669	If equal a function quantity and Mean1MinuteWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 5 second duration(s) interval. and The Measuring for list the entity takes 1 minute duration(s). and equal 12 and length of the entity and the other entity is the result of the entity and equal the third entity and PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and equal the function quantity and the average of the numbers in the third entity the fourth entity(s) holds during the time interval
(=>     (equal ?SPEED         (Mean2MinutesWindSpeedFn ?PLACE ?TIME))     (holdsDuring ?TIME         (exists (?MLIST ?RLIST ?NLIST ?UNIT)             (and                 (instance ?MLIST MeasuringSurfaceWindSpeedList)                 (locationMeasuringList ?MLIST ?PLACE)                 (measuringListInterval ?MLIST                     (MeasureFn 5 SecondDuration))                 (measuringListDuration ?MLIST                     (MeasureFn 2 MinuteDuration))                 (equal 24                     (ListLengthFn ?MLIST))                 (measuringResult ?MLIST ?RLIST)                 (equal ?NLIST                     (PhysicalQuantityToNumberFn ?RLIST))                 (equal ?SPEED                     (MeasureFn                         (AverageFn ?NLIST) ?UNIT))))))	Weather.kif 3617-3634	If equal a function quantity and Mean2MinutesWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 5 second duration(s) interval. and The Measuring for list the entity takes 2 minute duration(s). and equal 24 and length of the entity and the other entity is the result of the entity and equal the third entity and PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and equal the function quantity and the average of the numbers in the third entity the fourth entity(s) holds during the time interval
(=>     (equal ?SPEED         (Mean3MinutesWindSpeedFn ?PLACE ?TIME))     (holdsDuring ?TIME         (exists (?MLIST ?RLIST ?NLIST ?UNIT)             (and                 (instance ?MLIST MeasuringSurfaceWindSpeedList)                 (locationMeasuringList ?MLIST ?PLACE)                 (measuringListInterval ?MLIST                     (MeasureFn 5 SecondDuration))                 (measuringListDuration ?MLIST                     (MeasureFn 2 MinuteDuration))                 (equal 36                     (ListLengthFn ?MLIST))                 (measuringResult ?MLIST ?RLIST)                 (equal ?NLIST                     (PhysicalQuantityToNumberFn ?RLIST))                 (equal ?SPEED                     (MeasureFn                         (AverageFn ?NLIST) ?UNIT))))))	Weather.kif 3582-3599	If equal a function quantity and Mean3MinutesWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 5 second duration(s) interval. and The Measuring for list the entity takes 2 minute duration(s). and equal 36 and length of the entity and the other entity is the result of the entity and equal the third entity and PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and equal the function quantity and the average of the numbers in the third entity the fourth entity(s) holds during the time interval
(=>     (equal ?SPEED         (Mean3SecondWindSpeedFn ?PLACE ?TIME))     (holdsDuring ?TIME         (exists (?MLIST ?RLIST ?NLIST ?UNIT)             (and                 (instance ?MLIST MeasuringSurfaceWindSpeedList)                 (locationMeasuringList ?MLIST ?PLACE)                 (measuringListInterval ?MLIST                     (MeasureFn 0.25 SecondDuration))                 (measuringListDuration ?MLIST                     (MeasureFn 3 SecondDuration))                 (equal 12                     (ListLengthFn ?MLIST))                 (measuringResult ?MLIST ?RLIST)                 (equal ?NLIST                     (PhysicalQuantityToNumberFn ?RLIST))                 (equal ?SPEED                     (MeasureFn                         (AverageFn ?NLIST) ?UNIT))))))	Weather.kif 3228-3245	If equal a function quantity and Mean3SecondWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 0.25 second duration(s) interval. and The Measuring for list the entity takes 3 second duration(s). and equal 12 and length of the entity and the other entity is the result of the entity and equal the third entity and PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and equal the function quantity and the average of the numbers in the third entity the fourth entity(s) holds during the time interval

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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners