measure
(=>
(
and
(
instance
?C
CheckingVitals
)
(
agent
?C ?A)
(
patient
?C ?P)
(
instance
?H
Heart
)
(
part
?H ?P)
(
instance
?L
Lung
)
(
part
?L ?P)
(
holdsDuring
(
WhenFn
?C)
(
and
(
systolicBloodPressure
?P ?SYS)
(
diastolicBloodPressure
?P ?DIA)
(
measure
?P
(
MeasureFn
?T
FahrenheitDegree
))))
(
heartRate
?H
(
WhenFn
?C) ?I)
(
breathingRate
?L
(
WhenFn
?C) ?R))
(
knows
?A
(
and
(
holdsDuring
(
WhenFn
?C)
(
and
(
systolicBloodPressure
?P ?SYS)
(
diastolicBloodPressure
?P ?DIA)
(
measure
?P
(
MeasureFn
?T
FahrenheitDegree
))))
(
heartRate
?H
(
WhenFn
?C) ?I)
(
breathingRate
?L
(
WhenFn
?C) ?R))))
Medicine.kif 6505-6529
如果
过程
是
CheckingVitals
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
客体
是
那个 过程
的
patient
和
心
是
心
的
instance
和
那个 心
是
那个 客体
的
part
和
肺
是
肺
的
instance
和
那个 肺
是
那个 客体
的
part
和
systolicBloodPressure
那个 客体
and
实体
和
diastolicBloodPressure
那个 客体
and
另一个 实体
和
那个 客体
的
measure
是
第三 实体
华氏度
在
那个 过程
出现 的
time
holdsDuring
和
heartRate
那个 心
,
那个 过程
出现 的
time
and
整数
和
breathingRate
那个 肺
,
那个 过程
出现 的
time
and
另一个 整数
,
然后
那个 有认知的主事
knows
systolicBloodPressure
那个 客体
and
那个 实体
和
diastolicBloodPressure
那个 客体
and
那个 另外 实体
和
那个 客体
的
measure
是
那个 第三 实体
华氏度
在
那个 过程
出现 的
time
holdsDuring
和
heartRate
那个 心
,
那个 过程
出现 的
time
and
那个 整数
和
breathingRate
那个 肺
,
那个 过程
出现 的
time
and
那个 另外 整数
(=>
(
and
(
instance
?C
CoffeeArabica
)
(
measure
?C
(
MeasureFn
?X
Gram
))
(
instance
?CC
Caffeine
)
(
part
?CC ?C)
(
measure
?CC
(
MeasureFn
?Y
Gram
))
(
equal
?Z
(
DivisionFn
?Y ?X)))
(
and
(
greaterThanOrEqualTo
?Z 0.008)
(
lessThanOrEqualTo
?Z 0.014)))
Economy.kif 4645-4658
如果
客体
是
CoffeeArabica
的
instance
和
那个 客体
的
measure
是
实数
公克
和
那个 客体
C 是
Caffeine
的
instance
和
那个 客体
C 是
那个 客体
的
part
和
那个 客体
C 的
measure
是
另一个 实数
公克
和
第三 实数
equal
那个 另外 实数
和
那个 实数
,
然后
那个 第三 实数
是
greaterThanOrEqualTo
0.008 和
那个 第三 实数
是
lessThanOrEqualTo
0.014
(=>
(
and
(
instance
?C
CoffeeRobusta
)
(
measure
?C
(
MeasureFn
?X
Gram
))
(
instance
?CC
Caffeine
)
(
part
?CC ?C)
(
measure
?CC
(
MeasureFn
?Y
Gram
))
(
equal
?Z
(
DivisionFn
?Y ?X)))
(
and
(
greaterThanOrEqualTo
?Z 0.017)
(
lessThanOrEqualTo
?Z 0.04)))
Economy.kif 4669-4682
如果
客体
是
CoffeeRobusta
的
instance
和
那个 客体
的
measure
是
实数
公克
和
那个 客体
C 是
Caffeine
的
instance
和
那个 客体
C 是
那个 客体
的
part
和
那个 客体
C 的
measure
是
另一个 实数
公克
和
第三 实数
equal
那个 另外 实数
和
那个 实数
,
然后
那个 第三 实数
是
greaterThanOrEqualTo
0.017 和
那个 第三 实数
是
lessThanOrEqualTo
0.04
(=>
(
and
(
instance
?C
Cream
)
(
part
?C ?O1)
(
instance
?O1
ButterFat
)
(
measure
?O1
(
MeasureFn
?X
Gram
))
(
instance
?M
Milk
)
(
part
?M ?O2)
(
instance
?O2
ButterFat
)
(
measure
?O2
(
MeasureFn
?Y
Gram
)))
(
greaterThan
?X ?Y))
Food.kif 3124-3136
如果
客体
是
Cream
的
instance
和
那个 客体
是
另一个 客体
的
part
和
那个 另外 客体
是
ButterFat
的
instance
和
那个 另外 客体
的
measure
是
实数
公克
和
第三 客体
是
乳
的
instance
和
那个 第三 客体
是
第四 客体
的
part
和
那个 第四 客体
是
ButterFat
的
instance
和
那个 第四 客体
的
measure
是
另一个 实数
公克
,
然后
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
and
(
instance
?C
FlatWhite
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
part
?B ?E)
(
top
?B ?M)
(
instance
?B
Bubble
)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)
(
greaterThanOrEqualTo
?L 1.0)
(
lessThanOrEqualTo
?L 20.0)))
Food.kif 1367-1385
如果
客体
是
FlatWhite
的
instance
和
物质
是
那个 客体
的
part
和
另一个 物质
是
那个 客体
的
part
和
那个 物质
是
Espresso
的
instance
和
那个 另外 物质
是
MilkFoam
的
instance
和
mixtureRatio
那个 物质
,
那个 另外 物质
,
实数
,
另一个 实数
and
升
和
自身连接物体
是
那个 另外 物质
的
part
和
那个 自身连接物体
是
那个 物质
的
part
和
那个 自身连接物体
是
那个 另外 物质
的
top
和
那个 自身连接物体
是
气泡
的
instance
和
那个 自身连接物体
的
measure
是
第三 实数
毫米
,
然后
approximateValue
那个 实数
and 0.03 和
approximateValue
那个 另外 实数
and 0.15 和
那个 第三 实数
是
greaterThanOrEqualTo
1.0 和
那个 第三 实数
是
lessThanOrEqualTo
20.0
(=>
(
and
(
instance
?C
Latte
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
instance
?B
Bubble
)
(
top
?B ?M)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.21)
(
approximateValue
?L 12.0)))
Food.kif 1399-1415
如果
客体
是
Latte
的
instance
和
物质
是
那个 客体
的
part
和
另一个 物质
是
那个 客体
的
part
和
那个 物质
是
Espresso
的
instance
和
那个 另外 物质
是
MilkFoam
的
instance
和
mixtureRatio
那个 物质
,
那个 另外 物质
,
实数
,
另一个 实数
and
升
和
自身连接物体
是
那个 另外 物质
的
part
和
那个 自身连接物体
是
气泡
的
instance
和
那个 自身连接物体
是
那个 另外 物质
的
top
和
那个 自身连接物体
的
measure
是
第三 实数
毫米
,
然后
approximateValue
那个 实数
and 0.03 和
approximateValue
那个 另外 实数
and 0.21 和
approximateValue
那个 第三 实数
and 12.0
(=>
(
and
(
instance
?D
Antidiuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
not
(
equal
?U1 ?U2))
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 10055-10078
如果
客体
是
Antidiuretic
的
instance
和
运动
是
消化
的
instance
和
施事体
是
那个 运动
的
agent
和
移动
那个 运动
and
那个 客体
和
时距
是
Urination
的
instance
和
实体
是
那个 时距
的
result
和
那个 施事体
是
那个 时距
的
agent
和
另一个 时距
是
Urination
的
instance
和
那个 时距
不
equal
那个 另外 时距
和
另一个 实体
是
那个 另外 时距
的
result
和
那个 施事体
是
那个 另外 时距
的
agent
和
那个 时距
比
那个 运动
发生的
earlier
和
那个 运动
比
那个 另外 时距
发生的
earlier
和
测量单位
是
UnitOfVolume
的
instance
和
那个 时距
的
measure
是
实数
那个 测量单位
和
那个 另外 时距
的
measure
是
另一个 实数
那个 测量单位
,
然后
那个 实数
是
greaterThan
那个 另外 实数
的声明 has
容易
的语气
(=>
(
and
(
instance
?D
Diuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Mid-level-ontology.kif 10025-10046
如果
客体
是
Diuretic
的
instance
和
运动
是
消化
的
instance
和
施事体
是
那个 运动
的
agent
和
移动
那个 运动
and
那个 客体
和
时距
是
Urination
的
instance
和
实体
是
那个 时距
的
result
和
那个 施事体
是
那个 时距
的
agent
和
另一个 时距
是
Urination
的
instance
和
另一个 实体
是
那个 另外 时距
的
result
和
那个 施事体
是
那个 另外 时距
的
agent
和
那个 时距
比
那个 运动
发生的
earlier
和
那个 运动
比
那个 另外 时距
发生的
earlier
和
测量单位
是
UnitOfVolume
的
instance
和
那个 时距
的
measure
是
实数
那个 测量单位
和
那个 另外 时距
的
measure
是
另一个 实数
那个 测量单位
,
然后
那个 另外 实数
是
greaterThan
那个 实数
的声明 has
容易
的语气
(=>
(
and
(
instance
?DEPOSITION
Deposition
)
(
patient
?DEPOSITION ?OBJ)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?X
Joule
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?Y
Joule
))))
(
lessThan
?Y ?X))
Geography.kif 7016-7030
如果
过程
是
凝华
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
的
measure
是
实数
焦耳
在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
那个 实体
的
measure
是
另一个 实数
焦耳
在 紧接
那个 过程
出现 的
time
after
holdsDuring
,
然后
那个 另外 实数
是
lessThan
那个 实数
(=>
(
and
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
instance
?F
Fuel
)
(
instance
?M
UnitOfVolume
)
(
holdsDuring
?T
(
and
(
contains
?CC ?F)
(
measure
?F
(
MeasureFn
?N1 ?M))
(
attribute
?E
EngineFlooded
))))
(
hasPurpose
?CC
(
not
(
exists
(?F2 ?N2)
(
and
(
instance
?F2
Fuel
)
(
contains
?CC ?F2)
(
measure
?F2
(
MeasureFn
?N2 ?M))
(
greaterThanOrEqualTo
?N2 ?N1))))))
Cars.kif 2811-2830
如果
客体
是
内燃机
的
instance
和
另一个 客体
是
CombustionChamber
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
实体
是
汽油
的
instance
和
另一个 实体
是
UnitOfVolume
的
instance
和
那个 另外 客体
contains
那个 实体
和
那个 实体
的
measure
是
第三 实体
那个 另外 实体
和
EngineFlooded
是
那个 客体
的
attribute
在
时间位置
holdsDuring
,
然后
那个 另外 客体
的 目的 是 不存在
那个 实体
2 和
第五 实体
这样
那个 实体
2 是
汽油
的
instance
和
那个 另外 客体
contains
那个 实体
2 和
那个 实体
2 的
measure
是
那个 第五 实体
那个 另外 实体
和
那个 第五 实体
是
greaterThanOrEqualTo
那个 第三 实体
(=>
(
and
(
instance
?EC
EngineChoke
)
(
holdsDuring
?FSC1
(
attribute
?EC
DeviceOn
))
(
holdsDuring
?FSC2
(
attribute
?EC
DeviceOff
))
(
instance
?C
EngineCylinder
)
(
capacity
?C ?M)
(
instance
?FSC1
FourStrokeCompression
)
(
instance
?FSC2
FourStrokeCompression
)
(
eventLocated
?FSC1 ?C)
(
eventLocated
?FSC2 ?C)
(
instance
?A1
Air
)
(
instance
?F1
Fuel
)
(
part
?A1 ?MIX1)
(
part
?F1 ?MIX1)
(
measure
?MIX1 ?M)
(
instance
?A2
Air
)
(
instance
?F2
Fuel
)
(
part
?A2 ?MIX2)
(
part
?F2 ?MIX2)
(
measure
?MIX2 ?M)
(
instance
?U
UnitOfMeasure
)
(
measure
?A1
(
MeasureFn
?A1M ?U))
(
measure
?A2
(
MeasureFn
?A2M ?U))
(
measure
?F1
(
MeasureFn
?F1M ?U))
(
measure
?F2
(
MeasureFn
?F2M ?U)))
(
greaterThan
(
DivisionFn
?A2M ?F2M)
(
DivisionFn
?A1M ?F1M)))
Cars.kif 1314-1348
如果
实体
是
EngineChoke
的
instance
和
设备上
是
那个 实体
的
attribute
在
过程
holdsDuring
和
设备关闭
是
那个 实体
的
attribute
在
另一个 过程
holdsDuring
和
自身连接物体
是
EngineCylinder
的
instance
和
恒量
是
那个 自身连接物体
的
capacity
和
那个 过程
是
FourStrokeCompression
的
instance
和
那个 另外 过程
是
FourStrokeCompression
的
instance
和
那个 过程
是
located
在
那个 自身连接物体
和
那个 另外 过程
是
located
在
那个 自身连接物体
和
客体
是
空气
的
instance
和
另一个 客体
是
汽油
的
instance
和
那个 客体
是
那个 恒量
IX1 的
part
和
那个 另外 客体
是
那个 恒量
IX1 的
part
和
那个 恒量
IX1 的
measure
是
那个 恒量
和
第四 客体
是
空气
的
instance
和
第五 客体
是
汽油
的
instance
和
那个 第四 客体
是
那个 恒量
IX2 的
part
和
那个 第五 客体
是
那个 恒量
IX2 的
part
和
那个 恒量
IX2 的
measure
是
那个 恒量
和
测量单位
是
测量单位
的
instance
和
那个 客体
的
measure
是
那个 客体
M
那个 测量单位
和
那个 第四 客体
的
measure
是
那个 第四 客体
M
那个 测量单位
和
那个 另外 客体
的
measure
是
那个 另外 客体
M
那个 测量单位
和
那个 第五 客体
的
measure
是
那个 第五 客体
M
那个 测量单位
,
然后
那个 第四 客体
M 和
那个 第五 客体
M 是
greaterThan
那个 客体
M 和
那个 另外 客体
M
(=>
(
and
(
instance
?EVAP
Evaporating
)
(
boilingPoint
?CLASS
(
MeasureFn
?BOILVAL ?MEAS))
(
instance
?OBJ ?CLASS)
(
measure
?OBJ
(
MeasureFn
?VAL ?MEAS))
(
instance
?MEAS
UnitOfTemperature
)
(
patient
?EVAP ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
greaterThan
?BOILVAL ?VAL)
(
holdsDuring
(
BeginFn
(
WhenFn
?EVAP))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?EVAP))
(
attribute
?PART
Gas
)))))
Merge.kif 13953-13966
如果
过程
是
蒸发
的
instance
和
实数
测量单位
是
有点 純物质
的
boiling
点 和
客体
是
有点 純物质
的
instance
和
那个 客体
的
measure
是
另一个 实数
那个 测量单位
和
那个 测量单位
是
UnitOfTemperature
的
instance
和
那个 客体
是
那个 过程
的
patient
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
那个 客体
的
part
和
那个 实数
是
greaterThan
那个 另外 实数
和
液体
是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
的开始
holdsDuring
和
加油站
是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?FM
FoamingMilk
)
(
patient
?FM ?M)
(
instance
?M
ProcessedMilk
)
(
instance
?H
Heating
)
(
subProcess
?H ?FM)
(
measure
?M
(
MeasureFn
?T
CelsiusDegree
)))
(
approximateValue
?T 70.0))
Food.kif 1207-1216
如果
过程
是
FoamingMilk
的
instance
和
物理
是
那个 过程
的
patient
和
那个 物理
是
ProcessedMilk
的
instance
和
另一个 过程
是
加热
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 物理
的
measure
是
实数
摄氏度
,
然后
approximateValue
那个 实数
and 70.0
(=>
(
and
(
instance
?G
Grease
)
(
holdsDuring
?T
(
measure
?G
(
MeasureFn
77
FahrenheitDegree
))))
(
holdsDuring
?T
(
attribute
?G
Solid
)))
Cars.kif 2986-2992
如果
实体
是
Grease
的
instance
和
那个 实体
的
measure
是 77
华氏度
在
时间位置
holdsDuring
,
然后
固体
是
那个 实体
的
attribute
在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?H
Human
)
(
instance
?R
Rectum
)
(
part
?R ?H)
(
holdsDuring
?T
(
and
(
coreBodyTemp
?H
(
MeasureFn
?N ?U))
(
measure
?R
(
MeasureFn
?N2 ?U)))))
(
approximateValue
?N ?N2))
Medicine.kif 519-530
如果
客体
是
人类
的
instance
和
另一个 客体
是
Rectum
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
coreBodyTemp
那个 客体
and
实数
实体
和
那个 另外 客体
的
measure
是
那个 实数
2
那个 实体
在
时间位置
holdsDuring
,
然后
approximateValue
那个 实数
and
那个 实数
2
(=>
(
and
(
instance
?H
HumanAdult
)
(
measure
?H
(
MeasureFn
?N
Pounds
)))
(
and
(
bloodVolume
?H
(
MeasureFn
?N2
Liter
))
(
equal
?N2
(
DivisionFn
(
MultiplicationFn
?N 0.07) 2.33))))
Medicine.kif 5915-5924
如果
人类
是
人类成人
的
instance
和
那个 人类
的
measure
是
实数
Pounds
,
然后
bloodVolume
那个 人类
and
那个 实数
2
升
和
那个 实数
2
equal
那个 实数
和 0.07 和 2.33
(=>
(
and
(
instance
?IBD
GravesDisease
)
(
experiencer
?IBD ?H1)
(
instance
?H1
Human
)
(
instance
?T1
ThyroidHormone
)
(
part
?T1 ?H1)
(
measure
?T1
(
MeasureFn
?N1 ?U))
(
instance
?H2
Human
)
(
instance
?T2
ThyroidHormone
)
(
part
?T2 ?H2)
(
measure
?T2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
))
(
greaterThan
?N1 ?N2))
Medicine.kif 2336-2351
如果
过程
是
GravesDisease
的
instance
和
施事体
经历了
那个 过程
和
那个 施事体
是
人类
的
instance
和
客体
是
甲状腺激素
的
instance
和
那个 客体
是
那个 施事体
的
part
和
那个 客体
的
measure
是
实数
测量单位
和
另一个 客体
是
人类
的
instance
和
第三 客体
是
甲状腺激素
的
instance
和
那个 第三 客体
是
那个 另外 客体
的
part
和
那个 第三 客体
的
measure
是
另一个 实数
那个 测量单位
和
Healthy
是
那个 另外 客体
的
attribute
,
然后
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
and
(
instance
?IBD
HashimotosThyroiditis
)
(
experiencer
?IBD ?H1)
(
instance
?H1
Human
)
(
instance
?T1
ThyroidHormone
)
(
part
?T1 ?H1)
(
measure
?T1
(
MeasureFn
?N1 ?U))
(
instance
?H2
Human
)
(
instance
?T2
ThyroidHormone
)
(
part
?T2 ?H2)
(
measure
?T2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
))
(
greaterThan
?N2 ?N1))
Medicine.kif 2382-2397
如果
过程
是
HashimotosThyroiditis
的
instance
和
施事体
经历了
那个 过程
和
那个 施事体
是
人类
的
instance
和
客体
是
甲状腺激素
的
instance
和
那个 客体
是
那个 施事体
的
part
和
那个 客体
的
measure
是
实数
测量单位
和
另一个 客体
是
人类
的
instance
和
第三 客体
是
甲状腺激素
的
instance
和
那个 第三 客体
是
那个 另外 客体
的
part
和
那个 第三 客体
的
measure
是
另一个 实数
那个 测量单位
和
Healthy
是
那个 另外 客体
的
attribute
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?IC
IgnitionCoil
)
(
instance
?P
ElectricTransmission
)
(
resource
?P ?E1)
(
instance
?E1
Electricity
)
(
instance
?E2
Electricity
)
(
result
?P ?E2)
(
instrument
?P ?IC)
(
measure
?E1
(
MeasureFn
?N1
Volt
)))
(
approximateValue
?N1 12))
Cars.kif 3155-3165
如果
客体
是
IgnitionCoil
的
instance
和
过程
是
ElectricTransmission
的
instance
和
另一个 客体
是
那个 过程
的
resource
和
那个 另外 客体
是
电力
的
instance
和
实体
是
电力
的
instance
和
那个 实体
是
那个 过程
的
result
和
那个 客体
是导致
那个 过程
的
instrument
和
那个 另外 客体
的
measure
是
实数
伏特
,
然后
approximateValue
那个 实数
and 12
(=>
(
and
(
instance
?ICE
Ice
)
(
measure
?ICE
(
MeasureFn
?NUMBER
CelsiusDegree
)))
(
lessThanOrEqualTo
?NUMBER 0.0))
Mid-level-ontology.kif 8985-8989
如果
物理
是
冰
的
instance
和
那个 物理
的
measure
是
实数
摄氏度
,
然后
那个 实数
是
lessThanOrEqualTo
0.0
(=>
(
and
(
instance
?M
Mixture
)
(
instance
?Z
UnitOfMeasure
)
(
mixtureRatio
?A ?B ?X ?Y ?Z)
(
measure
?M
(
MeasureFn
?T ?Z))
(
part
?A ?M)
(
part
?B ?M)
(
measure
?A
(
MeasureFn
?X ?Z))
(
measure
?B
(
MeasureFn
?Y ?Z)))
(
equal
?T
(
AdditionFn
?X ?Y)))
Food.kif 1248-1262
如果
客体
是
混合物
的
instance
和
测量单位
是
测量单位
的
instance
和
mixtureRatio
物质
,
另一个 物质
,
实数
,
另一个 实数
and
那个 测量单位
和
那个 客体
的
measure
是
第三 实数
那个 测量单位
和
那个 物质
是
那个 客体
的
part
和
那个 另外 物质
是
那个 客体
的
part
和
那个 物质
的
measure
是
那个 实数
那个 测量单位
和
那个 另外 物质
的
measure
是
那个 另外 实数
那个 测量单位
,
然后
那个 第三 实数
equal
(
那个 实数
和
那个 另外 实数
)
(=>
(
and
(
instance
?M
OnePercentMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
equal
?N2
(
MultiplicationFn
0.01 ?N)))))
Food.kif 2969-2986
如果
客体
是
OnePercentMilk
的
instance
和
那个 客体
的
measure
是
实数
测量单位
和
那个 测量单位
是
UnitOfVolume
的
instance
,
然后 有存在
另一个 客体
和
那个 实数
2 这样
那个 另外 客体
是
ButterFat
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和 不存在
第三 客体
这样
那个 第三 客体
是
ButterFat
的
instance
和
那个 另外 客体
不
equal
那个 第三 客体
和
那个 第三 客体
是
那个 客体
的
part
和
那个 另外 客体
的
measure
是
那个 实数
2
那个 测量单位
和
那个 实数
2
equal
0.01 和
那个 实数
(=>
(
and
(
instance
?M
SemiSkimmedMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
greaterThanOrEqualTo
?N2
(
MultiplicationFn
0.015 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.02 ?N)))))
Food.kif 2993-3011
如果
客体
是
SemiSkimmedMilk
的
instance
和
那个 客体
的
measure
是
实数
测量单位
和
那个 测量单位
是
UnitOfVolume
的
instance
,
然后 有存在
另一个 客体
和
那个 实数
2 这样
那个 另外 客体
是
ButterFat
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和 不存在
第三 客体
这样
那个 第三 客体
是
ButterFat
的
instance
和
那个 另外 客体
不
equal
那个 第三 客体
和
那个 第三 客体
是
那个 客体
的
part
和
那个 另外 客体
的
measure
是
那个 实数
2
那个 测量单位
和
那个 实数
2 是
greaterThanOrEqualTo
0.015 和
那个 实数
和
那个 实数
2 是
lessThanOrEqualTo
0.02 和
那个 实数
(=>
(
and
(
instance
?M
SkimmedMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
greaterThanOrEqualTo
?N2
(
MultiplicationFn
0.0 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.005 ?N)))))
Food.kif 3018-3036
如果
客体
是
SkimmedMilk
的
instance
和
那个 客体
的
measure
是
实数
测量单位
和
那个 测量单位
是
UnitOfVolume
的
instance
,
然后 有存在
另一个 客体
和
那个 实数
2 这样
那个 另外 客体
是
ButterFat
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和 不存在
第三 客体
这样
那个 第三 客体
是
ButterFat
的
instance
和
那个 另外 客体
不
equal
那个 第三 客体
和
那个 第三 客体
是
那个 客体
的
part
和
那个 另外 客体
的
measure
是
那个 实数
2
那个 测量单位
和
那个 实数
2 是
greaterThanOrEqualTo
0.0 和
那个 实数
和
那个 实数
2 是
lessThanOrEqualTo
0.005 和
那个 实数
(=>
(
and
(
instance
?M
TwoPercentMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
equal
?N2
(
MultiplicationFn
0.02 ?N)))))
Food.kif 2945-2962
如果
客体
是
TwoPercentMilk
的
instance
和
那个 客体
的
measure
是
实数
测量单位
和
那个 测量单位
是
UnitOfVolume
的
instance
,
然后 有存在
另一个 客体
和
那个 实数
2 这样
那个 另外 客体
是
ButterFat
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和 不存在
第三 客体
这样
那个 第三 客体
是
ButterFat
的
instance
和
那个 另外 客体
不
equal
那个 第三 客体
和
那个 第三 客体
是
那个 客体
的
part
和
那个 另外 客体
的
measure
是
那个 实数
2
那个 测量单位
和
那个 实数
2
equal
0.02 和
那个 实数
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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