測量函數 (MeasureFn)
This BinaryFunction maps a RealNumber and
a UnitOfMeasure to that Number of units. It is used for expressing
ConstantQuantities. For example, the concept of three meters is
represented as (MeasureFn 3 Meter).
Ontology
SUMO / UNITS-OF-MEASUREClass(es)
Coordinate term(s)
加法函數
日函數
密度函數
除法函數
（文本）版本函數
指數函數
圖路徑函數
小時函數
交集函數
間隔函數
種類描述函數
列結函數
列序函數
對數函數
最大值函數
最大量路徑函數
部分整體差異函數
部分整體交集函數
部分整體加總函數
最小值函數
最小量路徑函數
分鐘函數
月份函數
乘法函數
期刊一期函數
週期性時距函數
關係互補函數
相對時間函數
餘數函數
秒鐘函數
系列一卷函數
速度函數
減法函數
時間單位函數
時間歷程函數
聯集函數
位置函數
Type restrictions
常量 MeasureFn(實數, 量度單位)
Axioms (71)
If "number unit(s)" 等於 quant and unit 是 quanttype 的 次種類, then quant 是 quanttype 的 實例.
(=>
(and
(equal
(MeasureFn ?NUMBER ?UNIT)
?QUANT)
(subclass ?UNIT ?QUANTTYPE))
(instance ?QUANT ?QUANTTYPE))
- if rel 是 與量關係 的 實例 and rel 是 三元關係 的 實例 and number1 是 實數 的 實例 and number2 是 實數 的 實例 and rel(number1,number2,value) (不) 成立s,
- then for all unit holds: if unit 是 量度單位 的 實例, then rel("number1 unit(s)","number2 unit(s)","value unit(s)") (不) 成立s
.
(=>
(and
(instance ?REL RelationExtendedToQuantities)
(instance ?REL TernaryRelation)
(instance ?NUMBER1 RealNumber)
(instance ?NUMBER2 RealNumber)
(holds ?REL ?NUMBER1 ?NUMBER2 ?VALUE))
(forall
(?UNIT)
(=>
(instance ?UNIT UnitOfMeasure)
(holds
?REL
(MeasureFn ?NUMBER1 ?UNIT)
(MeasureFn ?NUMBER2 ?UNIT)
(MeasureFn ?VALUE ?UNIT)))))
- if rel 是 與量關係 的 實例 and rel 是 二元關係 的 實例 and number1 是 實數 的 實例 and number2 是 實數 的 實例 and rel(number1,number2) (不) 成立s,
- then for all unit holds: if unit 是 量度單位 的 實例, then rel("number1 unit(s)","number2 unit(s)") (不) 成立s
.
(=>
(and
(instance ?REL RelationExtendedToQuantities)
(instance ?REL BinaryRelation)
(instance ?NUMBER1 RealNumber)
(instance ?NUMBER2 RealNumber)
(holds ?REL ?NUMBER1 ?NUMBER2))
(forall
(?UNIT)
(=>
(instance ?UNIT UnitOfMeasure)
(holds
?REL
(MeasureFn ?NUMBER1 ?UNIT)
(MeasureFn ?NUMBER2 ?UNIT)))))
If unit 是 量度單位 的 實例, then "1 千 units" 等於 " unit(s)".
(=>
(instance ?UNIT UnitOfMeasure)
(equal
(KiloFn ?UNIT)
(MeasureFn 1000 ?UNIT)))
If unit 是 量度單位 的 實例, then "1 百萬 units" 等於 " unit(s)".
(=>
(instance ?UNIT UnitOfMeasure)
(equal
(MegaFn ?UNIT)
(MeasureFn 1000000 ?UNIT)))
If unit 是 量度單位 的 實例, then "1 十億 units" 等於 " unit(s)".
(=>
(instance ?UNIT UnitOfMeasure)
(equal
(GigaFn ?UNIT)
(MeasureFn 1000000000 ?UNIT)))
If unit 是 量度單位 的 實例, then "1 兆 units" 等於 " unit(s)".
(=>
(instance ?UNIT UnitOfMeasure)
(equal
(TeraFn ?UNIT)
(MeasureFn 1000000000000 ?UNIT)))
If unit 是 量度單位 的 實例, then "unit 的 千分之�@" 等於 " unit(s)".
(=>
(instance ?UNIT UnitOfMeasure)
(equal
(MilliFn ?UNIT)
(MeasureFn 0.001 ?UNIT)))
If unit 是 量度單位 的 實例, then "unit 的 百萬分之�@" 等於 " unit(s)".
(=>
(instance ?UNIT UnitOfMeasure)
(equal
(MicroFn ?UNIT)
(MeasureFn 0.000001 ?UNIT)))
If unit 是 量度單位 的 實例, then "unit 的 十億分之�@" 等於 " unit(s)".
(=>
(instance ?UNIT UnitOfMeasure)
(equal
(NanoFn ?UNIT)
(MeasureFn 0.000000001 ?UNIT)))
If unit 是 量度單位 的 實例, then "1 的 兆分之�@ " 等於 " unit(s)".
(=>
(instance ?UNIT UnitOfMeasure)
(equal
(PicoFn ?UNIT)
(MeasureFn 0.000000000001 ?UNIT)))
If number 是 實數 的 實例 and unit 是 量度單位 的 實例, then "1 的 級數" 等於 number.
(=>
(and
(instance ?NUMBER RealNumber)
(instance ?UNIT UnitOfMeasure))
(equal
(MagnitudeFn
(MeasureFn ?NUMBER ?UNIT))
?NUMBER))
If number 是 實數 的 實例, then "number 公分(s)" 等於 ""number*" 公尺(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Centimeter)
(MeasureFn
(MultiplicationFn ?NUMBER 0.01)
Meter)))
If number 是 實數 的 實例, then "number 攝氏(s)" 等於 ""(number-)" 絕對溫標(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER CelsiusDegree)
(MeasureFn
(SubtractionFn ?NUMBER 273.15)
KelvinDegree)))
If number 是 實數 的 實例, then "number 攝氏(s)" 等於 """(number-)"/" 華氏-度(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER CelsiusDegree)
(MeasureFn
(DivisionFn
(SubtractionFn ?NUMBER 32)
1.8)
FahrenheitDegree)))
If number 是 實數 的 實例, then "number 日計(s)" 等於 ""number*" 時計(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER DayDuration)
(MeasureFn
(MultiplicationFn ?NUMBER 24)
HourDuration)))
If number 是 實數 的 實例, then "number 時計(s)" 等於 ""number*" 分計(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER HourDuration)
(MeasureFn
(MultiplicationFn ?NUMBER 60)
MinuteDuration)))
If number 是 實數 的 實例, then "number 分計(s)" 等於 ""number*" 秒計(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER MinuteDuration)
(MeasureFn
(MultiplicationFn ?NUMBER 60)
SecondDuration)))
If number 是 實數 的 實例, then "number 周計(s)" 等於 ""number*" 日計(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER WeekDuration)
(MeasureFn
(MultiplicationFn ?NUMBER 7)
DayDuration)))
If number 是 實數 的 實例, then "number 年計(s)" 等於 ""number*" 日計(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER YearDuration)
(MeasureFn
(MultiplicationFn ?NUMBER 365)
DayDuration)))
If number 是 實數 的 實例, then "number 原子質量單位(s)" 等於 ""number**" 克(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Amu)
(MeasureFn
(MultiplicationFn ?NUMBER 1.6605402 E-24)
Gram)))
If number 是 實數 的 實例, then "number 電壓單位-電伏特(s)" 等於 ""number**" 功或能的單位-焦爾(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER ElectronVolt)
(MeasureFn
(MultiplicationFn ?NUMBER 1.60217733 E-19)
Joule)))
If number 是 實數 的 實例, then "number 光譜線波長單位(s)" 等於 ""number**" 公尺(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Angstrom)
(MeasureFn
(MultiplicationFn ?NUMBER 1.0 E-10)
Meter)))
If number 是 實數 的 實例, then "number 英尺(s)" 等於 ""number*" 公尺(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Foot)
(MeasureFn
(MultiplicationFn ?NUMBER 0.3048)
Meter)))
If number 是 實數 的 實例, then "number 英吋(s)" 等於 ""number*" 公尺(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Inch)
(MeasureFn
(MultiplicationFn ?NUMBER 0.0254)
Meter)))
If number 是 實數 的 實例, then "number 英里(s)" 等於 ""number*" 公尺(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Mile)
(MeasureFn
(MultiplicationFn ?NUMBER 1609.344)
Meter)))
If number 是 實數 的 實例, then "number 美制液量單位-加侖(s)" 等於 ""number*" 公升(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER UnitedStatesGallon)
(MeasureFn
(MultiplicationFn ?NUMBER 3.785411784)
Liter)))
If number 是 實數 的 實例, then "number 容量或液量單位(s)" 等於 ""number/" 美制液量單位-加侖(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Quart)
(MeasureFn
(DivisionFn ?NUMBER 4)
UnitedStatesGallon)))
If number 是 實數 的 實例, then "number 品脫(s)" 等於 ""number/" 容量或液量單位(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Pint)
(MeasureFn
(DivisionFn ?NUMBER 2)
Quart)))
If number 是 實數 的 實例, then "number 半品脫之量(s)" 等於 ""number/" 品脫(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Cup)
(MeasureFn
(DivisionFn ?NUMBER 2)
Pint)))
If number 是 實數 的 實例, then "number 盎司(s)" 等於 ""number/" 半品脫之量(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Ounce)
(MeasureFn
(DivisionFn ?NUMBER 8)
Cup)))
If number 是 實數 的 實例, then "number 英制液量單位-加侖(s)" 等於 ""number*" 公升(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER UnitedKingdomGallon)
(MeasureFn
(MultiplicationFn ?NUMBER 4.54609)
Liter)))
If number 是 實數 的 實例, then "number 磅(s)" 等於 ""number*" 克(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER PoundMass)
(MeasureFn
(MultiplicationFn ?NUMBER 453.59237)
Gram)))
If number 是 實數 的 實例, then "number 質量單位(s)" 等於 ""number*" 克(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Slug)
(MeasureFn
(MultiplicationFn ?NUMBER 14593.90)
Gram)))
If number 是 實數 的 實例, then "number 摩擦角度(s)" 等於 ""number*" 絕對溫標(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER RankineDegree)
(MeasureFn
(MultiplicationFn ?NUMBER 1.8)
KelvinDegree)))
If number 是 實數 的 實例, then "number 力量單位(s)" 等於 ""number*" 力的單位-牛頓(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER PoundForce)
(MeasureFn
(MultiplicationFn ?NUMBER 4.448222)
Newton)))
If number 是 實數 的 實例, then "number 熱量的單位-卡路里(s)" 等於 ""number*" 功或能的單位-焦爾(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Calorie)
(MeasureFn
(MultiplicationFn ?NUMBER 4.1868)
Joule)))
If number 是 實數 的 實例, then "number 英國熱量單位-BTU(s)" 等於 ""number*" 功或能的單位-焦爾(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER BritishThermalUnit)
(MeasureFn
(MultiplicationFn ?NUMBER 1055.05585262)
Joule)))
If number 是 實數 的 實例, then "number 角度(s)" 等於 ""number*"圓周率/"" 弧度(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER AngularDegree)
(MeasureFn
(MultiplicationFn
?NUMBER
(DivisionFn Pi 180))
Radian)))
If number 是 實數 的 實例, then "number 美元一分(s)" 等於 ""number*" 美元一元(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER UnitedStatesCent)
(MeasureFn
(MultiplicationFn ?NUMBER 0.01)
UnitedStatesDollar)))
If number 是 實數 的 實例, then "number 歐元一分(s)" 等於 ""number*" 歐元一元(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER EuroCent)
(MeasureFn
(MultiplicationFn ?NUMBER 0.01)
EuroDollar)))
If number 是 實數 的 實例, then "number 位元組(s)" 等於 ""number*" 位元(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Byte)
(MeasureFn
(MultiplicationFn ?NUMBER 8)
Bit)))
If number 是 實數 的 實例, then "number 千位元組(s)" 等於 ""number*" 位元組(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER KiloByte)
(MeasureFn
(MultiplicationFn ?NUMBER 1024)
Byte)))
If number 是 實數 的 實例, then "number 百萬位元組(s)" 等於 ""number*" 千位元組(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER MegaByte)
(MeasureFn
(MultiplicationFn ?NUMBER 1024)
KiloByte)))
- if obj1 大於 obj2,
- then for all quant1,quant2 holds: if obj1 的 測量 是 "quant1 長度單位(s)" and obj2 的 測量 是 "quant2 長度單位(s)", then quant1 (不) 大於 quant2
.
(=>
(larger ?OBJ1 ?OBJ2)
(forall
(?QUANT1 ?QUANT2)
(=>
(and
(measure
?OBJ1
(MeasureFn ?QUANT1 LengthMeasure))
(measure
?OBJ2
(MeasureFn ?QUANT2 LengthMeasure)))
(greaterThan ?QUANT1 ?QUANT2))))
If year 是 年 的 實例, then year 的 持續 是 " 年計(s)".
(=>
(instance ?YEAR Year)
(duration
?YEAR
(MeasureFn 1 YearDuration)))
If leap 是 閏年 的 實例 and leap 等於 "number 年(s)", then
(=>
(and
(instance ?LEAP LeapYear)
(equal
?LEAP
(MeasureFn ?NUMBER Year)))
(or
(and
(equal
(RemainderFn ?NUMBER 4)
0)
(not
(equal
(RemainderFn ?NUMBER 100)
0)))
(equal
(RemainderFn ?NUMBER 400)
0)))
If month 是 一月 的 實例, then month 的 持續 是 " 日計(s)".
(=>
(instance ?MONTH January)
(duration
?MONTH
(MeasureFn 31 DayDuration)))
If "月份 二月" 等於 month and year 是 閏年 的 實例, then month 的 持續 是 " 日計(s)".
(=>
(and
(equal
(MonthFn February ?YEAR)
?MONTH)
(not
(instance ?YEAR LeapYear)))
(duration
?MONTH
(MeasureFn 28 DayDuration)))
If "月份 二月" 等於 month and year 是 閏年 的 實例, then month 的 持續 是 " 日計(s)".
(=>
(and
(equal
(MonthFn February ?YEAR)
?MONTH)
(instance ?YEAR LeapYear))
(duration
?MONTH
(MeasureFn 29 DayDuration)))
If month 是 三月 的 實例, then month 的 持續 是 " 日計(s)".
(=>
(instance ?MONTH March)
(duration
?MONTH
(MeasureFn 31 DayDuration)))
If month 是 四月 的 實例, then month 的 持續 是 " 日計(s)".
(=>
(instance ?MONTH April)
(duration
?MONTH
(MeasureFn 30 DayDuration)))
If month 是 五月 的 實例, then month 的 持續 是 " 日計(s)".
(=>
(instance ?MONTH May)
(duration
?MONTH
(MeasureFn 31 DayDuration)))
If month 是 六月 的 實例, then month 的 持續 是 " 日計(s)".
(=>
(instance ?MONTH June)
(duration
?MONTH
(MeasureFn 30 DayDuration)))
If month 是 七月 的 實例, then month 的 持續 是 " 日計(s)".
(=>
(instance ?MONTH July)
(duration
?MONTH
(MeasureFn 31 DayDuration)))
If month 是 八月 的 實例, then month 的 持續 是 " 日計(s)".
(=>
(instance ?MONTH August)
(duration
?MONTH
(MeasureFn 31 DayDuration)))
If month 是 九月 的 實例, then month 的 持續 是 " 日計(s)".
(=>
(instance ?MONTH September)
(duration
?MONTH
(MeasureFn 30 DayDuration)))
If month 是 十月 的 實例, then month 的 持續 是 " 日計(s)".
(=>
(instance ?MONTH October)
(duration
?MONTH
(MeasureFn 31 DayDuration)))
If month 是 十一月 的 實例, then month 的 持續 是 " 日計(s)".
(=>
(instance ?MONTH November)
(duration
?MONTH
(MeasureFn 30 DayDuration)))
If month 是 十二月 的 實例, then month 的 持續 是 " 日計(s)".
(=>
(instance ?MONTH December)
(duration
?MONTH
(MeasureFn 31 DayDuration)))
If day 是 日 的 實例, then day 的 持續 是 " 日計(s)".
(=>
(instance ?DAY Day)
(duration
?DAY
(MeasureFn 1 DayDuration)))
If week 是 週 的 實例, then week 的 持續 是 " 周計(s)".
(=>
(instance ?WEEK Week)
(duration
?WEEK
(MeasureFn 1 WeekDuration)))
If hour 是 小時 的 實例, then hour 的 持續 是 " 時計(s)".
(=>
(instance ?HOUR Hour)
(duration
?HOUR
(MeasureFn 1 HourDuration)))
If minute 是 分 的 實例, then minute 的 持續 是 " 分計(s)".
(=>
(instance ?MINUTE Minute)
(duration
?MINUTE
(MeasureFn 1 MinuteDuration)))
If second 是 秒 的 實例, then second 的 持續 是 " 秒計(s)".
(=>
(instance ?SECOND Second)
(duration
?SECOND
(MeasureFn 1 SecondDuration)))
If month 是 月 的 實例 and month 的 持續 是 "number 日計(s)", then ""month 分解成 ? 日s" 中 實例 的 數目" 等於 number.
(=>
(and
(instance ?MONTH Month)
(duration
?MONTH
(MeasureFn ?NUMBER DayDuration)))
(equal
(CardinalityFn
(TemporalCompositionFn ?MONTH Day))
?NUMBER))
If increase 是 增加 的 實例 and obj 是 increase 的 受事者, then there exist unit,quant1,quant2 so that "obj unit(s)" 等於 quant1 ""increase 存在 的 時間" 不久 之前"a(之中) "increase 存在 的 時間" 不久 之前 and "obj unit(s)" 等於 quant2 ""increase 存在 的 時間" 不久 之後"a(之中) "increase 存在 的 時間" 不久 之後 and quant2 (不) 大於 quant1.
(=>
(and
(instance ?INCREASE Increasing)
(patient ?INCREASE ?OBJ))
(exists
(?UNIT ?QUANT1 ?QUANT2)
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?INCREASE))
(equal
(MeasureFn ?OBJ ?UNIT)
?QUANT1))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?INCREASE))
(equal
(MeasureFn ?OBJ ?UNIT)
?QUANT2))
(greaterThan ?QUANT2 ?QUANT1))))
If heat 是 加溫 的 實例 and obj 是 heat 的 受事者, then there exist 溫度單位 unit,quant1,quant2 so that "obj unit(s)" 等於 quant1 ""heat 存在 的 時間" 不久 之前"a(之中) "heat 存在 的 時間" 不久 之前 and "obj unit(s)" 等於 quant2 ""heat 存在 的 時間" 不久 之後"a(之中) "heat 存在 的 時間" 不久 之後 and quant2 (不) 大於 quant1.
(=>
(and
(instance ?HEAT Heating)
(patient ?HEAT ?OBJ))
(exists
(?UNIT ?QUANT1 ?QUANT2)
(and
(instance ?UNIT TemperatureMeasure)
(holdsDuring
(ImmediatePastFn
(WhenFn ?HEAT))
(equal
(MeasureFn ?OBJ ?UNIT)
?QUANT1))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?HEAT))
(equal
(MeasureFn ?OBJ ?UNIT)
?QUANT2))
(greaterThan ?QUANT2 ?QUANT1))))
If decrease 是 減少 的 實例 and obj 是 decrease 的 受事者, then there exist unit,quant1,quant2 so that "obj unit(s)" 等於 quant1 ""decrease 存在 的 時間" 不久 之前"a(之中) "decrease 存在 的 時間" 不久 之前 and "obj unit(s)" 等於 quant2 ""decrease 存在 的 時間" 不久 之後"a(之中) "decrease 存在 的 時間" 不久 之後 and quant2 小於 quant1.
(=>
(and
(instance ?DECREASE Decreasing)
(patient ?DECREASE ?OBJ))
(exists
(?UNIT ?QUANT1 ?QUANT2)
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?DECREASE))
(equal
(MeasureFn ?OBJ ?UNIT)
?QUANT1))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?DECREASE))
(equal
(MeasureFn ?OBJ ?UNIT)
?QUANT2))
(lessThan ?QUANT2 ?QUANT1))))
If cool 是 降溫 的 實例 and obj 是 cool 的 受事者, then there exist 溫度單位 unit,quant1,quant2 so that "obj unit(s)" 等於 quant1 ""cool 存在 的 時間" 不久 之前"a(之中) "cool 存在 的 時間" 不久 之前 and "obj unit(s)" 等於 quant2 ""cool 存在 的 時間" 不久 之後"a(之中) "cool 存在 的 時間" 不久 之後 and quant2 小於 quant1.
(=>
(and
(instance ?COOL Cooling)
(patient ?COOL ?OBJ))
(exists
(?UNIT ?QUANT1 ?QUANT2)
(and
(instance ?UNIT TemperatureMeasure)
(holdsDuring
(ImmediatePastFn
(WhenFn ?COOL))
(equal
(MeasureFn ?OBJ ?UNIT)
?QUANT1))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?COOL))
(equal
(MeasureFn ?OBJ ?UNIT)
?QUANT2))
(lessThan ?QUANT2 ?QUANT1))))
If meas 是 測量 的 實例 and meas 是 agent 的 施事者 and obj 是 meas 的 受事者, then there exist quant,unit so that agent (不）知道s) %2 ""meas 存在 的 時間" 不久 之後"a(之中) "meas 存在 的 時間" 不久 之後.
(=>
(and
(instance ?MEAS Measuring)
(agent ?MEAS ?AGENT)
(patient ?MEAS ?OBJ))
(exists
(?QUANT ?UNIT)
(holdsDuring
(ImmediateFutureFn
(WhenFn ?MEAS))
(knows
?AGENT
(measure
?OBJ
(MeasureFn ?QUANT ?UNIT))))))
