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
例
Process
and
CheckingVitals
agent
Process
and
CognitiveAgent
患者
Process
and
Object
例
心
and
心
部分
心
and
Object
例
肺
and
肺
部分
肺
and
Object
持有期間
何時
Process
and
systolicBloodPressure
Object
and
entity
diastolicBloodPressure
Object
and
entity
測量
Object
and
測量
entity
and
華氏度
heartRate
心
,
何時
Process
and
Integer
breathingRate
肺
,
何時
Process
and
Integer
知道
CognitiveAgent
and
持有期間
何時
Process
and
systolicBloodPressure
Object
and
entity
diastolicBloodPressure
Object
and
entity
測量
Object
and
測量
entity
and
華氏度
heartRate
心
,
何時
Process
and
Integer
breathingRate
肺
,
何時
Process
and
Integer
(=>
(
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
例
Object
and
CoffeeArabica
測量
Object
and
測量
RealNumber
and
公克
例
Object
C and
Caffeine
部分
Object
C and
Object
測量
Object
C and
測量
RealNumber
and
公克
等於
RealNumber
and
部
RealNumber
and
RealNumber
大於或等於
RealNumber
and 0.008
小於或等於
RealNumber
and 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
例
Object
and
CoffeeRobusta
測量
Object
and
測量
RealNumber
and
公克
例
Object
C and
Caffeine
部分
Object
C and
Object
測量
Object
C and
測量
RealNumber
and
公克
等於
RealNumber
and
部
RealNumber
and
RealNumber
大於或等於
RealNumber
and 0.017
小於或等於
RealNumber
and 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
例
Object
and
Cream
部分
Object
and
Object
例
Object
and
ButterFat
測量
Object
and
測量
RealNumber
and
公克
例
Object
and
奶
部分
Object
and
Object
例
Object
and
ButterFat
測量
Object
and
測量
RealNumber
and
公克
比較多
RealNumber
and
RealNumber
(=>
(
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
例
Object
and
FlatWhite
部分
Substance
and
Object
部分
Substance
and
Object
例
Substance
and
Espresso
例
Substance
and
MilkFoam
mixtureRatio
Substance
,
Substance
,
RealNumber
,
RealNumber
and
升
部分
SelfConnectedObject
and
Substance
部分
SelfConnectedObject
and
Substance
上
SelfConnectedObject
and
Substance
例
SelfConnectedObject
and
氣泡
測量
SelfConnectedObject
and
測量
RealNumber
and
毫米
approximateValue
RealNumber
and 0.03
approximateValue
RealNumber
and 0.15
大於或等於
RealNumber
and 1.0
小於或等於
RealNumber
and 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
例
Object
and
Latte
部分
Substance
and
Object
部分
Substance
and
Object
例
Substance
and
Espresso
例
Substance
and
MilkFoam
mixtureRatio
Substance
,
Substance
,
RealNumber
,
RealNumber
and
升
部分
SelfConnectedObject
and
Substance
例
SelfConnectedObject
and
氣泡
上
SelfConnectedObject
and
Substance
測量
SelfConnectedObject
and
測量
RealNumber
and
毫米
approximateValue
RealNumber
and 0.03
approximateValue
RealNumber
and 0.21
approximateValue
RealNumber
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
例
Object
and
Antidiuretic
例
Motion
and
Ingesting
agent
Motion
and
AutonomousAgent
移動
Motion
and
Object
例
TimeInterval
and
Urination
結果
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
例
TimeInterval
and
Urination
等於
TimeInterval
and
TimeInterval
結果
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
早期
TimeInterval
and
Motion
早期
Motion
and
TimeInterval
例
UnitOfMeasure
and
UnitOfVolume
測量
TimeInterval
and
測量
RealNumber
and
UnitOfMeasure
測量
TimeInterval
and
測量
RealNumber
and
UnitOfMeasure
模態屬性
比較多
RealNumber
and
RealNumber
and
容易
(=>
(
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
例
Object
and
Diuretic
例
Motion
and
Ingesting
agent
Motion
and
AutonomousAgent
移動
Motion
and
Object
例
TimeInterval
and
Urination
結果
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
例
TimeInterval
and
Urination
結果
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
早期
TimeInterval
and
Motion
早期
Motion
and
TimeInterval
例
UnitOfMeasure
and
UnitOfVolume
測量
TimeInterval
and
測量
RealNumber
and
UnitOfMeasure
測量
TimeInterval
and
測量
RealNumber
and
UnitOfMeasure
模態屬性
比較多
RealNumber
and
RealNumber
and
容易
(=>
(
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
例
Process
and
Deposition
患者
Process
and
Entity
持有期間
不久的過去
何時
Process
and
測量
Entity
and
測量
RealNumber
and
焦耳
持有期間
眼前的未來
何時
Process
and
測量
Entity
and
測量
RealNumber
and
焦耳
少於
RealNumber
and
RealNumber
(=>
(
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
例
Object
and
內燃機
例
Object
and
CombustionChamber
部分
Object
and
Object
例
Entity
and
汽油
例
Entity
and
UnitOfVolume
持有期間
TimePosition
and
包含
Object
and
Entity
測量
Entity
and
測量
entity
and
Entity
attribute
Object
and
EngineFlooded
有目的
Object
and
Entity
entity
例
Entity
and
汽油
包含
Object
and
Entity
測量
Entity
and
測量
entity
and
Entity
大於或等於
entity
and
entity
(=>
(
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
例
Entity
and
EngineChoke
持有期間
Process
and
attribute
Entity
and
設備上
持有期間
Process
and
attribute
Entity
and
設備關閉
例
SelfConnectedObject
and
EngineCylinder
ConstantQuantity
是
SelfConnectedObject
的
capacity
例
Process
and
FourStrokeCompression
例
Process
and
FourStrokeCompression
Process
是
located
在
SelfConnectedObject
Process
是
located
在
SelfConnectedObject
例
Object
and
空氣
例
Object
and
汽油
部分
Object
and
ConstantQuantity
IX1
部分
Object
and
ConstantQuantity
IX1
測量
ConstantQuantity
IX1 and
ConstantQuantity
例
Object
and
空氣
例
Object
and
汽油
部分
Object
and
ConstantQuantity
IX2
部分
Object
and
ConstantQuantity
IX2
測量
ConstantQuantity
IX2 and
ConstantQuantity
例
UnitOfMeasure
and
UnitOfMeasure
測量
Object
and
測量
Object
M and
UnitOfMeasure
測量
Object
and
測量
Object
M and
UnitOfMeasure
測量
Object
and
測量
Object
M and
UnitOfMeasure
測量
Object
and
測量
Object
M and
UnitOfMeasure
比較多
部
Object
M and
Object
M and
部
Object
M and
Object
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
例
Process
and
蒸發
測量
RealNumber
and
UnitOfMeasure
是
PureSubstance
的
boiling
點
例
Object
and
PureSubstance
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfTemperature
患者
Process
and
Object
Object
部分
Object
and
Object
比較多
RealNumber
and
RealNumber
持有期間
開始
何時
Process
and
attribute
Object
and
液體
持有期間
結束
何時
Process
and
attribute
Object
and
加油站
(=>
(
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
例
Process
and
FoamingMilk
患者
Process
and
Physical
例
Physical
and
ProcessedMilk
例
Process
and
Heating
子過程
Process
and
Process
測量
Physical
and
測量
RealNumber
and
攝氏度
approximateValue
RealNumber
and 70.0
(=>
(
and
(
instance
?G
Grease
)
(
holdsDuring
?T
(
measure
?G
(
MeasureFn
77
FahrenheitDegree
))))
(
holdsDuring
?T
(
attribute
?G
Solid
)))
Cars.kif 2986-2992
例
Entity
and
Grease
持有期間
TimePosition
and
測量
Entity
and
測量
77 and
華氏度
持有期間
TimePosition
and
attribute
Entity
and
固體
(=>
(
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
例
Object
and
Human
例
Object
and
Rectum
部分
Object
and
Object
持有期間
TimePosition
and
coreBodyTemp
Object
and
測量
RealNumber
and
entity
測量
Object
and
測量
RealNumber
and
entity
approximateValue
RealNumber
and
RealNumber
(=>
(
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
例
Human
and
人類成人
測量
Human
and
測量
RealNumber
and
Pounds
bloodVolume
Human
and
測量
RealNumber
and
升
等於
RealNumber
and
部
乘法
RealNumber
and 0.07 and 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
例
Process
and
GravesDisease
體驗者
Process
and
AutonomousAgent
例
AutonomousAgent
and
Human
例
Object
and
甲狀腺激素
部分
Object
and
AutonomousAgent
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
Object
and
Human
例
Object
and
甲狀腺激素
部分
Object
and
Object
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
attribute
Object
and
Healthy
比較多
RealNumber
and
RealNumber
(=>
(
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
例
Process
and
HashimotosThyroiditis
體驗者
Process
and
AutonomousAgent
例
AutonomousAgent
and
Human
例
Object
and
甲狀腺激素
部分
Object
and
AutonomousAgent
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
Object
and
Human
例
Object
and
甲狀腺激素
部分
Object
and
Object
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
attribute
Object
and
Healthy
比較多
RealNumber
and
RealNumber
(=>
(
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
例
Object
and
IgnitionCoil
例
Process
and
ElectricTransmission
資源
Process
and
Object
例
Object
and
電力
例
Entity
and
電力
結果
Process
and
Entity
儀器
Process
and
Object
測量
Object
and
測量
RealNumber
and
伏特
approximateValue
RealNumber
and 12
(=>
(
and
(
instance
?ICE
Ice
)
(
measure
?ICE
(
MeasureFn
?NUMBER
CelsiusDegree
)))
(
lessThanOrEqualTo
?NUMBER 0.0))
Mid-level-ontology.kif 8985-8989
例
Physical
and
冰
測量
Physical
and
測量
RealNumber
and
攝氏度
小於或等於
RealNumber
and 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
例
Object
and
Mixture
例
UnitOfMeasure
and
UnitOfMeasure
mixtureRatio
Substance
,
Substance
,
RealNumber
,
RealNumber
and
UnitOfMeasure
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
部分
Substance
and
Object
部分
Substance
and
Object
測量
Substance
and
測量
RealNumber
and
UnitOfMeasure
測量
Substance
and
測量
RealNumber
and
UnitOfMeasure
等於
RealNumber
and
加成
RealNumber
and
RealNumber
(=>
(
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
例
Object
and
OnePercentMilk
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfVolume
Object
RealNumber
例
Object
and
ButterFat
部分
Object
and
Object
Object
例
Object
and
ButterFat
等於
Object
and
Object
部分
Object
and
Object
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
等於
RealNumber
and
乘法
0.01 and
RealNumber
(=>
(
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
例
Object
and
SemiSkimmedMilk
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfVolume
Object
RealNumber
例
Object
and
ButterFat
部分
Object
and
Object
Object
例
Object
and
ButterFat
等於
Object
and
Object
部分
Object
and
Object
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
大於或等於
RealNumber
and
乘法
0.015 and
RealNumber
小於或等於
RealNumber
and
乘法
0.02 and
RealNumber
(=>
(
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
例
Object
and
SkimmedMilk
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfVolume
Object
RealNumber
例
Object
and
ButterFat
部分
Object
and
Object
Object
例
Object
and
ButterFat
等於
Object
and
Object
部分
Object
and
Object
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
大於或等於
RealNumber
and
乘法
0.0 and
RealNumber
小於或等於
RealNumber
and
乘法
0.005 and
RealNumber
(=>
(
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
例
Object
and
TwoPercentMilk
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfVolume
Object
RealNumber
例
Object
and
ButterFat
部分
Object
and
Object
Object
例
Object
and
ButterFat
等於
Object
and
Object
部分
Object
and
Object
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
等於
RealNumber
and
乘法
0.02 and
RealNumber
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