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
では %n
認識エージェント
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
Heart
は
Heart
の
instance
では %n
Heart
は
オブジェクト
の
part
では %n
Lung
は
Lung
の
instance
では %n
Lung
は
オブジェクト
の
part
では %n
systolicBloodPressure
オブジェクト
and
エンティティー
diastolicBloodPressure
オブジェクト
and
エンティティー
オブジェクト
の
measure
は
エンティティー
の
FahrenheitDegree
(s) では %n は
工程
の
time
の existence の
during
holds %n{ない}
heartRate
Heart
,
工程
の
time
の existence and
整数
breathingRate
Lung
,
工程
の
time
の existence and
整数
認識エージェント
は
systolicBloodPressure
オブジェクト
and
エンティティー
diastolicBloodPressure
オブジェクト
and
エンティティー
オブジェクト
の
measure
は
エンティティー
の
FahrenheitDegree
(s) では %n は
工程
の
time
の existence の
during
holds %n{ない}
heartRate
Heart
,
工程
の
time
の existence and
整数
breathingRate
Lung
,
工程
の
time
の existence and
整数
を
know
s %n{ない}
(=>
(
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
では %n
オブジェクト
の
measure
は
実数
の
Gram
(s) では %n
オブジェクト
C は
Caffeine
の
instance
では %n
オブジェクト
C は
オブジェクト
の
part
では %n
オブジェクト
C の
measure
は
実数
の
Gram
(s) では %n
実数
は
実数
+
実数
と
equal
では %n
実数
は 0.008
greater
では %n
実数
は 0.014 より
less
または同等 では %n
(=>
(
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
では %n
オブジェクト
の
measure
は
実数
の
Gram
(s) では %n
オブジェクト
C は
Caffeine
の
instance
では %n
オブジェクト
C は
オブジェクト
の
part
では %n
オブジェクト
C の
measure
は
実数
の
Gram
(s) では %n
実数
は
実数
+
実数
と
equal
では %n
実数
は 0.017
greater
では %n
実数
は 0.04 より
less
または同等 では %n
(=>
(
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
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
の
measure
は
実数
の
Gram
(s) では %n
オブジェクト
は
Milk
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
の
measure
は
実数
の
Gram
(s) では %n
実数
は
実数
より
greater
では %n
(=>
(
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
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
Espresso
の
instance
では %n
物質
は
MilkFoam
の
instance
では %n
mixtureRatio
物質
,
物質
,
実数
,
実数
and
Liter
自己接続オブジェクト
は
物質
の
part
では %n
自己接続オブジェクト
は
物質
の
part
では %n
物質
の
top
は
自己接続オブジェクト
では
自己接続オブジェクト
は
Bubble
の
instance
では %n
自己接続オブジェクト
の
measure
は
実数
の
Millimeter
(s) では %n
approximateValue
実数
and 0.03
approximateValue
実数
and 0.15
実数
は 1.0
greater
では %n
実数
は 20.0 より
less
または同等 では %n
(=>
(
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
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
Espresso
の
instance
では %n
物質
は
MilkFoam
の
instance
では %n
mixtureRatio
物質
,
物質
,
実数
,
実数
and
Liter
自己接続オブジェクト
は
物質
の
part
では %n
自己接続オブジェクト
は
Bubble
の
instance
では %n
物質
の
top
は
自己接続オブジェクト
では
自己接続オブジェクト
の
measure
は
実数
の
Millimeter
(s) では %n
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
では %n
motion
は
摂取
の
instance
では %n
AutonomousAgent
は
motion
の
agent
では %n
moves
motion
and
オブジェクト
時間間隔
は
Urination
の
instance
では %n
エンティティー
は
時間間隔
の
result
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
時間間隔
は
Urination
の
instance
では %n
時間間隔
は
時間間隔
と
equal
では
エンティティー
は
時間間隔
の
result
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
時間間隔
は
motion
より
earlier
happens %n{ない}
motion
は
時間間隔
より
earlier
happens %n{ない}
測定単位
は
UnitOfVolume
の
instance
では %n
時間間隔
の
measure
は
実数
の
測定単位
(s) では %n
時間間隔
の
measure
は
実数
の
測定単位
(s) では %n
ステートメント
実数
は
実数
より
greater
では %n には
Likely
の
modal
force
が ある
(=>
(
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
では %n
motion
は
摂取
の
instance
では %n
AutonomousAgent
は
motion
の
agent
では %n
moves
motion
and
オブジェクト
時間間隔
は
Urination
の
instance
では %n
エンティティー
は
時間間隔
の
result
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
時間間隔
は
Urination
の
instance
では %n
エンティティー
は
時間間隔
の
result
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
時間間隔
は
motion
より
earlier
happens %n{ない}
motion
は
時間間隔
より
earlier
happens %n{ない}
測定単位
は
UnitOfVolume
の
instance
では %n
時間間隔
の
measure
は
実数
の
測定単位
(s) では %n
時間間隔
の
measure
は
実数
の
測定単位
(s) では %n
ステートメント
実数
は
実数
より
greater
では %n には
Likely
の
modal
force
が ある
(=>
(
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
工程
は
Deposition
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
の
measure
は
実数
の
Joule
(s) では %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
エンティティー
の
measure
は
実数
の
Joule
(s) では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
実数
は
実数
より
less
では %n
(=>
(
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
オブジェクト
は
InternalCombustionEngine
の
instance
では %n
オブジェクト
は
CombustionChamber
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
エンティティー
は
Fuel
の
instance
では %n
エンティティー
は
UnitOfVolume
の
instance
では %n
オブジェクト
は
エンティティー
を
contain
s %n{ない}
エンティティー
の
measure
は
エンティティー
の
エンティティー
(s) では %n
EngineFlooded
は
オブジェクト
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
オブジェクト
は
エンティティー
2
エンティティー
エンティティー
2 は
Fuel
の
instance
では %n
オブジェクト
は
エンティティー
2 を
contain
s %n{ない}
エンティティー
2 の
measure
は
エンティティー
の
エンティティー
(s) では %n
エンティティー
は
エンティティー
greater
では %n の 目的 %n{ない}
(=>
(
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
では %n
DeviceOn
は
エンティティー
の
attribute
では %n は
工程
の
during
holds %n{ない}
DeviceOff
は
エンティティー
の
attribute
では %n は
工程
の
during
holds %n{ない}
自己接続オブジェクト
は
EngineCylinder
の
instance
では %n
capacity
自己接続オブジェクト
and
一定量
工程
は
FourStrokeCompression
の
instance
では %n
工程
は
FourStrokeCompression
の
instance
では %n
eventLocated
工程
and
自己接続オブジェクト
eventLocated
工程
and
自己接続オブジェクト
オブジェクト
は
Air
の
instance
では %n
オブジェクト
は
Fuel
の
instance
では %n
オブジェクト
は
一定量
IX1 の
part
では %n
オブジェクト
は
一定量
IX1 の
part
では %n
一定量
IX1 の
measure
は
一定量
では %n
オブジェクト
は
Air
の
instance
では %n
オブジェクト
は
Fuel
の
instance
では %n
オブジェクト
は
一定量
IX2 の
part
では %n
オブジェクト
は
一定量
IX2 の
part
では %n
一定量
IX2 の
measure
は
一定量
では %n
測定単位
は
測定単位
の
instance
では %n
オブジェクト
の
measure
は
オブジェクト
M の
測定単位
(s) では %n
オブジェクト
の
measure
は
オブジェクト
M の
測定単位
(s) では %n
オブジェクト
の
measure
は
オブジェクト
M の
測定単位
(s) では %n
オブジェクト
の
measure
は
オブジェクト
M の
測定単位
(s) では %n
オブジェクト
M +
オブジェクト
M は
オブジェクト
M +
オブジェクト
M より
greater
では %n
(=>
(
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
工程
は
Evaporating
の
instance
では %n
boilingPoint
純物質
and
実数
の
測定単位
(s)
オブジェクト
は
純物質
の
instance
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
測定単位
は
UnitOfTemperature
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
part
では %n
実数
は
実数
より
greater
では %n
Liquid
は
オブジェクト
の
attribute
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
Gas
は
オブジェクト
の
attribute
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
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
では %n
物理
は
工程
の
patient
では %n
物理
は
ProcessedMilk
の
instance
では %n
工程
は
加熱
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
物理
の
measure
は
実数
の
CelsiusDegree
(s) では %n
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
では %n
エンティティー
の
measure
は 77 の
FahrenheitDegree
(s) では %n は
時間位置
の
during
holds %n{ない}
Solid
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
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
では %n
オブジェクト
は
Rectum
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
coreBodyTemp
オブジェクト
and
実数
の
エンティティー
(s)
オブジェクト
の
measure
は
実数
2 の
エンティティー
(s) では %n は
時間位置
の
during
holds %n{ない}
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
人[人間]
は
HumanAdult
の
instance
では %n
人[人間]
の
measure
は
実数
の
Pounds
(s) では %n
bloodVolume
人[人間]
and
実数
2 の
Liter
(s)
実数
2 は
実数
+ 0.07 + 2.33 と
equal
では %n
(=>
(
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
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
は
人[人間]
の
instance
では %n
オブジェクト
は
ThyroidHormone
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
オブジェクト
は
人[人間]
の
instance
では %n
オブジェクト
は
ThyroidHormone
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
Healthy
は
オブジェクト
の
attribute
では %n
実数
は
実数
より
greater
では %n
(=>
(
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
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
は
人[人間]
の
instance
では %n
オブジェクト
は
ThyroidHormone
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
オブジェクト
は
人[人間]
の
instance
では %n
オブジェクト
は
ThyroidHormone
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
Healthy
は
オブジェクト
の
attribute
では %n
実数
は
実数
より
greater
では %n
(=>
(
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
では %n
工程
は
ElectricTransmission
の
instance
では %n
オブジェクト
は
工程
の
resource
では %n
オブジェクト
は
Electricity
の
instance
では %n
エンティティー
は
Electricity
の
instance
では %n
エンティティー
は
工程
の
result
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
の
measure
は
実数
の
Volt
(s) では %n
approximateValue
実数
and 12
(=>
(
and
(
instance
?ICE
Ice
)
(
measure
?ICE
(
MeasureFn
?NUMBER
CelsiusDegree
)))
(
lessThanOrEqualTo
?NUMBER 0.0))
Mid-level-ontology.kif 8985-8989
物理
は
Ice
の
instance
では %n
物理
の
measure
は
実数
の
CelsiusDegree
(s) では %n
実数
は 0.0 より
less
または同等 では %n
(=>
(
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
では %n
測定単位
は
測定単位
の
instance
では %n
mixtureRatio
物質
,
物質
,
実数
,
実数
and
測定単位
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
物質
は
オブジェクト
の
part
では %n
物質
は
オブジェクト
の
part
では %n
物質
の
measure
は
実数
の
測定単位
(s) では %n
物質
の
measure
は
実数
の
測定単位
(s) では %n
実数
は (
実数
+
実数
) と
equal
では %n
(=>
(
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
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
測定単位
は
UnitOfVolume
の
instance
では %n
オブジェクト
実数
2
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
measure
は
実数
2 の
測定単位
(s) では %n
実数
2 は 0.01 +
実数
と
equal
では %n
(=>
(
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
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
測定単位
は
UnitOfVolume
の
instance
では %n
オブジェクト
実数
2
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
measure
は
実数
2 の
測定単位
(s) では %n
実数
2 は 0.015 +
実数
greater
では %n
実数
2 は 0.02 +
実数
より
less
または同等 では %n
(=>
(
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
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
測定単位
は
UnitOfVolume
の
instance
では %n
オブジェクト
実数
2
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
measure
は
実数
2 の
測定単位
(s) では %n
実数
2 は 0.0 +
実数
greater
では %n
実数
2 は 0.005 +
実数
より
less
または同等 では %n
(=>
(
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
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
測定単位
は
UnitOfVolume
の
instance
では %n
オブジェクト
実数
2
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
measure
は
実数
2 の
測定単位
(s) では %n
実数
2 は 0.02 +
実数
と
equal
では %n
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