ce4 liang4 han2 shu4 (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)
jia1 fa3 han2 shu4
ri4 han2 shu4
mi4 du4 han2 shu4
chu2 fa3 han2 shu4
wen2 ben3 ban3 ben3 han2 shu4
zhi3 shu4 han2 shu4
tu2 lu4 jing4 han2 shu4
xiao3 shi2 han2 shu4
jiao1 ji2 han2 shu4
jian1 ge2 han2 shu4
zhong3 lei4 miao2 shu4 han2 shu4
lie4 jie2 han2 shu4
lie4 xu4 han2 shu4
dui4 shu4 han2 shu4
zui4 da4 zhi2 han2 shu4
zui4 da4 liang4 lu4 jing4 han2 shu4
bu4 fen5 zheng3 ti1 cha4 yi4 han2 shu4
bu4 fen5 zheng3 ti1 jiao1 ji2 han2 shu4
bu4 fen5 zheng3 ti1 jia1 zong1 han2 shu4
zui4 xiao3 zhi2 han2 shu4
zui4 xiao3 liang4 lu4 jing4 han2 shu4
fen1 zhong1 han2 shu4
yue4 fen4 han2 shu4
cheng2 fa3 han2 shu4
qi1 kan1 yi1 qi1 han2 shu4
zhou1 qi1 xing4 shi2 ju4 han2 shu4
guan1 xi4 hu4 bu3 han2 shu4
xiang4 dui4 shi2 jian1 han2 shu4
yu2 shu4 han2 shu4
miao3 zhong1 han2 shu4
xi4 lie4 yi1 juan4 han2 shu4
su4 du4 han2 shu4
jian3 fa3 han2 shu4
shi2 jian1 dan1 wei4 han2 shu4
shi2 jian1 li4 cheng2 han2 shu4
lian2 ji2 han2 shu4
wei4 zhi4 han2 shu4
Type restrictions
chang2 liang4 MeasureFn(shi2 shu4, liang2 du4 dan1 wei4)
Axioms (71)
If "number unit(s)" deng3 yu1 quant and unit shi4 quanttype de5 ci4 zhong3 lei4, then quant shi4 quanttype de5 shi2 li4.
(=>
(and
(equal
(MeasureFn ?NUMBER ?UNIT)
?QUANT)
(subclass ?UNIT ?QUANTTYPE))
(instance ?QUANT ?QUANTTYPE))
(=>
(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)))))
(=>
(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 shi4 liang2 du4 dan1 wei4 de5 shi2 li4, then "1 qian1 units" deng3 yu1 " unit(s)".
(=>
(instance ?UNIT UnitOfMeasure)
(equal
(KiloFn ?UNIT)
(MeasureFn 1000 ?UNIT)))
If unit shi4 liang2 du4 dan1 wei4 de5 shi2 li4, then "1 bai3 wan4 units" deng3 yu1 " unit(s)".
(=>
(instance ?UNIT UnitOfMeasure)
(equal
(MegaFn ?UNIT)
(MeasureFn 1000000 ?UNIT)))
If unit shi4 liang2 du4 dan1 wei4 de5 shi2 li4, then "1 shi2 yi4 units" deng3 yu1 " unit(s)".
(=>
(instance ?UNIT UnitOfMeasure)
(equal
(GigaFn ?UNIT)
(MeasureFn 1000000000 ?UNIT)))
If unit shi4 liang2 du4 dan1 wei4 de5 shi2 li4, then "1 zhao4 units" deng3 yu1 " unit(s)".
(=>
(instance ?UNIT UnitOfMeasure)
(equal
(TeraFn ?UNIT)
(MeasureFn 1000000000000 ?UNIT)))
If unit shi4 liang2 du4 dan1 wei4 de5 shi2 li4, then "unit de5 qian1 fen1 zhi1 yi1" deng3 yu1 " unit(s)".
(=>
(instance ?UNIT UnitOfMeasure)
(equal
(MilliFn ?UNIT)
(MeasureFn 0.001 ?UNIT)))
If unit shi4 liang2 du4 dan1 wei4 de5 shi2 li4, then "unit de5 bai3 wan4 fen1 zhi1 yi1" deng3 yu1 " unit(s)".
(=>
(instance ?UNIT UnitOfMeasure)
(equal
(MicroFn ?UNIT)
(MeasureFn 0.000001 ?UNIT)))
If unit shi4 liang2 du4 dan1 wei4 de5 shi2 li4, then "unit de5 shi2 yi4 fen1 zhi1 yi1" deng3 yu1 " unit(s)".
(=>
(instance ?UNIT UnitOfMeasure)
(equal
(NanoFn ?UNIT)
(MeasureFn 0.000000001 ?UNIT)))
If unit shi4 liang2 du4 dan1 wei4 de5 shi2 li4, then "1 de5 zhao4 fen1 zhi1 yi1 " deng3 yu1 " unit(s)".
(=>
(instance ?UNIT UnitOfMeasure)
(equal
(PicoFn ?UNIT)
(MeasureFn 0.000000000001 ?UNIT)))
If number shi4 shi2 shu4 de5 shi2 li4 and unit shi4 liang2 du4 dan1 wei4 de5 shi2 li4, then "1 de5 ji2 shu4" deng3 yu1 number.
(=>
(and
(instance ?NUMBER RealNumber)
(instance ?UNIT UnitOfMeasure))
(equal
(MagnitudeFn
(MeasureFn ?NUMBER ?UNIT))
?NUMBER))
If number shi4 shi2 shu4 de5 shi2 li4, then "number gong1 fen1(s)" deng3 yu1 ""number*" gong1 chi3(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Centimeter)
(MeasureFn
(MultiplicationFn ?NUMBER 0.01)
Meter)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number she4 shi4(s)" deng3 yu1 ""(number-)" jue2 dui4 wen1 biao1(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER CelsiusDegree)
(MeasureFn
(SubtractionFn ?NUMBER 273.15)
KelvinDegree)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number she4 shi4(s)" deng3 yu1 """(number-)"/" hua2 shi4-du4(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER CelsiusDegree)
(MeasureFn
(DivisionFn
(SubtractionFn ?NUMBER 32)
1.8)
FahrenheitDegree)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number ri4 ji4(s)" deng3 yu1 ""number*" shi2 ji4(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER DayDuration)
(MeasureFn
(MultiplicationFn ?NUMBER 24)
HourDuration)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number shi2 ji4(s)" deng3 yu1 ""number*" fen1 ji4(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER HourDuration)
(MeasureFn
(MultiplicationFn ?NUMBER 60)
MinuteDuration)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number fen1 ji4(s)" deng3 yu1 ""number*" miao3 ji4(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER MinuteDuration)
(MeasureFn
(MultiplicationFn ?NUMBER 60)
SecondDuration)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number zhou1 ji4(s)" deng3 yu1 ""number*" ri4 ji4(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER WeekDuration)
(MeasureFn
(MultiplicationFn ?NUMBER 7)
DayDuration)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number nian2 ji4(s)" deng3 yu1 ""number*" ri4 ji4(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER YearDuration)
(MeasureFn
(MultiplicationFn ?NUMBER 365)
DayDuration)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number yuan2 zi3 zhi4 liang4 dan1 wei4(s)" deng3 yu1 ""number**" ke4(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Amu)
(MeasureFn
(MultiplicationFn ?NUMBER 1.6605402 E-24)
Gram)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number dian4 ya1 dan1 wei4-dian4 fu2 te4(s)" deng3 yu1 ""number**" gong1 huo4 neng2 de5 dan1 wei4-jiao1 er3(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER ElectronVolt)
(MeasureFn
(MultiplicationFn ?NUMBER 1.60217733 E-19)
Joule)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number guang1 pu3 xian4 bo1 zhang3 dan1 wei4(s)" deng3 yu1 ""number**" gong1 chi3(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Angstrom)
(MeasureFn
(MultiplicationFn ?NUMBER 1.0 E-10)
Meter)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number ying1 chi3(s)" deng3 yu1 ""number*" gong1 chi3(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Foot)
(MeasureFn
(MultiplicationFn ?NUMBER 0.3048)
Meter)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number ying1 cun4(s)" deng3 yu1 ""number*" gong1 chi3(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Inch)
(MeasureFn
(MultiplicationFn ?NUMBER 0.0254)
Meter)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number ying1 li3(s)" deng3 yu1 ""number*" gong1 chi3(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Mile)
(MeasureFn
(MultiplicationFn ?NUMBER 1609.344)
Meter)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number mei3 zhi4 ye4 liang4 dan1 wei4-jia1 lun2(s)" deng3 yu1 ""number*" gong1 sheng1(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER UnitedStatesGallon)
(MeasureFn
(MultiplicationFn ?NUMBER 3.785411784)
Liter)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number rong2 liang4 huo4 ye4 liang4 dan1 wei4(s)" deng3 yu1 ""number/" mei3 zhi4 ye4 liang4 dan1 wei4-jia1 lun2(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Quart)
(MeasureFn
(DivisionFn ?NUMBER 4)
UnitedStatesGallon)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number pin3 tuo1(s)" deng3 yu1 ""number/" rong2 liang4 huo4 ye4 liang4 dan1 wei4(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Pint)
(MeasureFn
(DivisionFn ?NUMBER 2)
Quart)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number ban4 pin3 tuo1 zhi1 liang4(s)" deng3 yu1 ""number/" pin3 tuo1(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Cup)
(MeasureFn
(DivisionFn ?NUMBER 2)
Pint)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number ang4 si1(s)" deng3 yu1 ""number/" ban4 pin3 tuo1 zhi1 liang4(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Ounce)
(MeasureFn
(DivisionFn ?NUMBER 8)
Cup)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number ying1 zhi4 ye4 liang4 dan1 wei4-jia1 lun2(s)" deng3 yu1 ""number*" gong1 sheng1(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER UnitedKingdomGallon)
(MeasureFn
(MultiplicationFn ?NUMBER 4.54609)
Liter)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number bang4(s)" deng3 yu1 ""number*" ke4(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER PoundMass)
(MeasureFn
(MultiplicationFn ?NUMBER 453.59237)
Gram)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number zhi4 liang4 dan1 wei4(s)" deng3 yu1 ""number*" ke4(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Slug)
(MeasureFn
(MultiplicationFn ?NUMBER 14593.90)
Gram)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number mo2 ca1 jiao3 du4(s)" deng3 yu1 ""number*" jue2 dui4 wen1 biao1(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER RankineDegree)
(MeasureFn
(MultiplicationFn ?NUMBER 1.8)
KelvinDegree)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number li4 liang5 dan1 wei4(s)" deng3 yu1 ""number*" li4 de5 dan1 wei4-niu2 dun4(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER PoundForce)
(MeasureFn
(MultiplicationFn ?NUMBER 4.448222)
Newton)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number re4 liang4 de5 dan1 wei4-ka3 lu4 li3(s)" deng3 yu1 ""number*" gong1 huo4 neng2 de5 dan1 wei4-jiao1 er3(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Calorie)
(MeasureFn
(MultiplicationFn ?NUMBER 4.1868)
Joule)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number ying1 guo2 re4 liang4 dan1 wei4-BTU(s)" deng3 yu1 ""number*" gong1 huo4 neng2 de5 dan1 wei4-jiao1 er3(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER BritishThermalUnit)
(MeasureFn
(MultiplicationFn ?NUMBER 1055.05585262)
Joule)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number jiao3 du4(s)" deng3 yu1 ""number*"yuan2 zhou1 lv4/"" hu2 du4(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER AngularDegree)
(MeasureFn
(MultiplicationFn
?NUMBER
(DivisionFn Pi 180))
Radian)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number mei3 yuan2 yi1 fen1(s)" deng3 yu1 ""number*" mei3 yuan2 yi1 yuan2(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER UnitedStatesCent)
(MeasureFn
(MultiplicationFn ?NUMBER 0.01)
UnitedStatesDollar)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number ou1 yuan2 yi1 fen1(s)" deng3 yu1 ""number*" ou1 yuan2 yi1 yuan2(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER EuroCent)
(MeasureFn
(MultiplicationFn ?NUMBER 0.01)
EuroDollar)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number wei4 yuan2 zu3(s)" deng3 yu1 ""number*" wei4 yuan2(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Byte)
(MeasureFn
(MultiplicationFn ?NUMBER 8)
Bit)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number qian1 wei4 yuan2 zu3(s)" deng3 yu1 ""number*" wei4 yuan2 zu3(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER KiloByte)
(MeasureFn
(MultiplicationFn ?NUMBER 1024)
Byte)))
If number shi4 shi2 shu4 de5 shi2 li4, then "number bai3 wan4 wei4 yuan2 zu3(s)" deng3 yu1 ""number*" qian1 wei4 yuan2 zu3(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER MegaByte)
(MeasureFn
(MultiplicationFn ?NUMBER 1024)
KiloByte)))
(=>
(larger ?OBJ1 ?OBJ2)
(forall
(?QUANT1 ?QUANT2)
(=>
(and
(measure
?OBJ1
(MeasureFn ?QUANT1 LengthMeasure))
(measure
?OBJ2
(MeasureFn ?QUANT2 LengthMeasure)))
(greaterThan ?QUANT1 ?QUANT2))))
If year shi4 nian2 de5 shi2 li4, then year de5 chi2 xu4 shi4 " nian2 ji4(s)".
(=>
(instance ?YEAR Year)
(duration
?YEAR
(MeasureFn 1 YearDuration)))
If leap shi4 run4 nian2 de5 shi2 li4 and leap deng3 yu1 "number nian2(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 shi4 yi1 yue4 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)".
(=>
(instance ?MONTH January)
(duration
?MONTH
(MeasureFn 31 DayDuration)))
If "yue4 fen4 er4 yue4" deng3 yu1 month and year shi4 run4 nian2 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)".
(=>
(and
(equal
(MonthFn February ?YEAR)
?MONTH)
(not
(instance ?YEAR LeapYear)))
(duration
?MONTH
(MeasureFn 28 DayDuration)))
If "yue4 fen4 er4 yue4" deng3 yu1 month and year shi4 run4 nian2 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)".
(=>
(and
(equal
(MonthFn February ?YEAR)
?MONTH)
(instance ?YEAR LeapYear))
(duration
?MONTH
(MeasureFn 29 DayDuration)))
If month shi4 san1 yue4 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)".
(=>
(instance ?MONTH March)
(duration
?MONTH
(MeasureFn 31 DayDuration)))
If month shi4 si4 yue4 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)".
(=>
(instance ?MONTH April)
(duration
?MONTH
(MeasureFn 30 DayDuration)))
If month shi4 wu3 yue4 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)".
(=>
(instance ?MONTH May)
(duration
?MONTH
(MeasureFn 31 DayDuration)))
If month shi4 liu4 yue4 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)".
(=>
(instance ?MONTH June)
(duration
?MONTH
(MeasureFn 30 DayDuration)))
If month shi4 qi1 yue4 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)".
(=>
(instance ?MONTH July)
(duration
?MONTH
(MeasureFn 31 DayDuration)))
If month shi4 ba1 yue4 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)".
(=>
(instance ?MONTH August)
(duration
?MONTH
(MeasureFn 31 DayDuration)))
If month shi4 jiu3 yue4 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)".
(=>
(instance ?MONTH September)
(duration
?MONTH
(MeasureFn 30 DayDuration)))
If month shi4 shi2 yue4 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)".
(=>
(instance ?MONTH October)
(duration
?MONTH
(MeasureFn 31 DayDuration)))
If month shi4 shi2 yi1 yue4 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)".
(=>
(instance ?MONTH November)
(duration
?MONTH
(MeasureFn 30 DayDuration)))
If month shi4 shi2 er4 yue4 de5 shi2 li4, then month de5 chi2 xu4 shi4 " ri4 ji4(s)".
(=>
(instance ?MONTH December)
(duration
?MONTH
(MeasureFn 31 DayDuration)))
If day shi4 ri4 de5 shi2 li4, then day de5 chi2 xu4 shi4 " ri4 ji4(s)".
(=>
(instance ?DAY Day)
(duration
?DAY
(MeasureFn 1 DayDuration)))
If week shi4 zhou1 de5 shi2 li4, then week de5 chi2 xu4 shi4 " zhou1 ji4(s)".
(=>
(instance ?WEEK Week)
(duration
?WEEK
(MeasureFn 1 WeekDuration)))
If hour shi4 xiao3 shi2 de5 shi2 li4, then hour de5 chi2 xu4 shi4 " shi2 ji4(s)".
(=>
(instance ?HOUR Hour)
(duration
?HOUR
(MeasureFn 1 HourDuration)))
If minute shi4 fen1 de5 shi2 li4, then minute de5 chi2 xu4 shi4 " fen1 ji4(s)".
(=>
(instance ?MINUTE Minute)
(duration
?MINUTE
(MeasureFn 1 MinuteDuration)))
If second shi4 miao3 de5 shi2 li4, then second de5 chi2 xu4 shi4 " miao3 ji4(s)".
(=>
(instance ?SECOND Second)
(duration
?SECOND
(MeasureFn 1 SecondDuration)))
If month shi4 yue4 de5 shi2 li4 and month de5 chi2 xu4 shi4 "number ri4 ji4(s)", then ""month fen1 jie3 cheng2 ? ri4s" zhong1 shi2 li4 de5 shu4 mu4" deng3 yu1 number.
(=>
(and
(instance ?MONTH Month)
(duration
?MONTH
(MeasureFn ?NUMBER DayDuration)))
(equal
(CardinalityFn
(TemporalCompositionFn ?MONTH Day))
?NUMBER))
If increase shi4 zeng1 jia1 de5 shi2 li4 and obj shi4 increase de5 shou4 shi4 zhe3, then there exist unit,quant1,quant2 so_that_not "obj unit(s)" deng3 yu1 quant1 ""increase cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "increase cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and "obj unit(s)" deng3 yu1 quant2 ""increase cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "increase cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4 and quant2 (bu2) da4 yu1 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 shi4 jia1 wen1 de5 shi2 li4 and obj shi4 heat de5 shou4 shi4 zhe3, then there exist wen1 du4 dan1 wei4 unit,quant1,quant2 so_that_not "obj unit(s)" deng3 yu1 quant1 ""heat cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "heat cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and "obj unit(s)" deng3 yu1 quant2 ""heat cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "heat cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4 and quant2 (bu2) da4 yu1 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 shi4 jian3 shao3 de5 shi2 li4 and obj shi4 decrease de5 shou4 shi4 zhe3, then there exist unit,quant1,quant2 so_that_not "obj unit(s)" deng3 yu1 quant1 ""decrease cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "decrease cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and "obj unit(s)" deng3 yu1 quant2 ""decrease cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "decrease cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4 and quant2 xiao3 yu1 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 shi4 jiang4 wen1 de5 shi2 li4 and obj shi4 cool de5 shou4 shi4 zhe3, then there exist wen1 du4 dan1 wei4 unit,quant1,quant2 so_that_not "obj unit(s)" deng3 yu1 quant1 ""cool cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "cool cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and "obj unit(s)" deng3 yu1 quant2 ""cool cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "cool cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4 and quant2 xiao3 yu1 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 shi4 ce4 liang4 de5 shi2 li4 and meas shi4 agent de5 shi1 shi4 zhe3 and obj shi4 meas de5 shou4 shi4 zhe3, then there exist quant,unit so_that_not agent (bu2zhi1 dao4s) %2 ""meas cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "meas cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.
(=>
(and
(instance ?MEAS Measuring)
(agent ?MEAS ?AGENT)
(patient ?MEAS ?OBJ))
(exists
(?QUANT ?UNIT)
(holdsDuring
(ImmediateFutureFn
(WhenFn ?MEAS))
(knows
?AGENT
(measure
?OBJ
(MeasureFn ?QUANT ?UNIT))))))
