SUO‐KIF Units and Measures

SUO-KIF for the beginner

General Guidance

Two terms: Quantities and Units. Quantity is a number and a unit together.

There are constant quantities, and function quantity.

Examples

5 feet of length

(measure ?X (MeasureFn 5.0 FootLength))

5 cubic feet

(measure ?X (MeasureFn 5.0 CubicFoot))

Measurement of windspeed during an event

(holdsDuring ?T
  (surfaceWindSpeed ?L
    (MeasureFn ?N MilesPerHour)))

PerFn - Measurement of rainfall per hour. (measure per time measure)

(rainfallIntensity ?AREA
 (WhenFn ?HR)
 (PerFn
   (MeasureFn ?NUM Millimeter)
   (MeasureFn 1 HourDuration)))

Jimmy weighs 53 pounds.

(exists (?J)
  (and
    (instance ?J Human)
    (names "Jimmy" ?J)
    (weight ?J
      (MeasureFn 53 PoundMass))))

The cubic centimeter of contaminated lead measures 40 becquerels.

(exists (?L ?RN)
  (and
    (instance ?L Lead)
    (instance ?RN RadiatingNuclear)
    (origin ?RN ?L)
    (measure ?L (MeasureFn 0.0000353147 CubicFoot)
    (measure ?RN (MeasureFn 40 Bequerel))))