approximateValue
(=>
(
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
?L
CocoaLiquor
)
(
weight
?L
(
MeasureFn
100.0
Gram
))
(
instance
?S
CocoaSolid
)
(
part
?S ?L)
(
weight
?S
(
MeasureFn
?X
Gram
))
(
instance
?B
CocoaButter
)
(
part
?B ?L)
(
weight
?B
(
MeasureFn
?Y
Gram
)))
(
and
(
approximateValue
?X 50.0)
(
approximateValue
?Y 50.0)))
Food.kif 2463-2478
自己接続オブジェクト
は
CocoaLiquor
の
instance
では %n
weight
自己接続オブジェクト
and 100.0 の
Gram
(s)
自己接続オブジェクト
は
CocoaSolid
の
instance
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
part
では %n
weight
自己接続オブジェクト
and
実数
の
Gram
(s)
自己接続オブジェクト
は
CocoaButter
の
instance
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
part
では %n
weight
自己接続オブジェクト
and
実数
の
Gram
(s)
approximateValue
実数
and 50.0
approximateValue
実数
and 50.0
(=>
(
and
(
instance
?L
LongBlack
)
(
part
?E ?L)
(
part
?W ?L)
(
instance
?E
Espresso
)
(
instance
?W
DrinkingWater
)
(
mixtureRatio
?E ?W ?V1 ?V2
Liter
))
(
and
(
approximateValue
?V1 0.06)
(
approximateValue
?V2 0.12)))
Food.kif 1440-1450
オブジェクト
は
LongBlack
の
instance
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
Espresso
の
instance
では %n
物質
は
DrinkingWater
の
instance
では %n
mixtureRatio
物質
,
物質
,
実数
,
実数
and
Liter
approximateValue
実数
and 0.06
approximateValue
実数
and 0.12
(=>
(
and
(
instance
?SW
SeaWater
)
(
measure
?SW
(
MeasureFn
1.0
Liter
))
(
part
?SALT ?SW)
(
instance
?SALT
SodiumChloride
)
(
measure
?SALT
(
MeasureFn
?R
Gram
)))
(
approximateValue
?R 35.0))
Geography.kif 2836-2845
オブジェクト
は
SeaWater
の
instance
では %n
オブジェクト
の
measure
は 1.0 の
Liter
(s) では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
SodiumChloride
の
instance
では %n
オブジェクト
の
measure
は
実数
の
Gram
(s) では %n
approximateValue
実数
and 35.0
(=>
(
and
(
typicalBloodVolume
?M
(
MeasureFn
?N ?U))
(
instance
?MI ?M)
(
holdsDuring
?T
(
and
(
not
(
attribute
?H
DiseaseOrSyndrome
))
(
bloodVolume
?H
(
MeasureFn
?N2 ?U)))))
(
approximateValue
?N2 ?N))
Medicine.kif 5933-5944
typicalBloodVolume
哺乳動物
and
実数
の
測定単位
(s)
哺乳動物
I は
哺乳動物
の
instance
では %n
病気または症候群
は
エンティティー
の
attribute
では
bloodVolume
エンティティー
and
実数
2 の
測定単位
(s) は
時間位置
の
during
holds %n{ない}
approximateValue
実数
2 and
実数
(=>
(
instance
?E
Espresso
)
(
exists
(?W ?V)
(
and
(
instance
?W
DrinkingWater
)
(
part
?W ?E)
(
measure
?W
(
MeasureFn
?V
Liter
))
(
approximateValue
?V 0.03))))
Food.kif 754-762
オブジェクト
は
Espresso
の
instance
では %n
オブジェクト
実数
オブジェクト
は
DrinkingWater
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
measure
は
実数
の
Liter
(s) では %n
approximateValue
実数
and 0.03
(=>
(
instance
?EM
EspressoMaking
)
(
holdsDuring
?EM
(
exists
(?H ?W ?V ?T ?LM ?P ?COLL ?K ?CG ?F ?R)
(
and
(
instance
?H
Heating
)
(
patient
?H ?W)
(
measure
?W
(
MeasureFn
?V
Liter
))
(
approximateValue
?V 0.03)
(
holdsDuring
(
EndFn
(
WhenFn
?H))
(
and
(
measure
?W
(
MeasureFn
?T
CelsiusDegree
))
(
approximateValue
?T 90)))
(
instance
?LM
LiquidMotion
)
(
patient
?LM ?W)
(
holdsDuring
?LM
(
and
(
measure
?W
(
MeasureFn
?P
(
KiloFn
Pascal
)))
(
approximateValue
?P 900)))
(
destination
?LM ?COLL)
(
instance
?COLL
Collection
)
(
measure
?COLL
(
MeasureFn
?K
Gram
))
(
approximateValue
?K 7.5)
(
member
?COLL ?CG)
(
instance
?CG
CoffeeGrind
)
(
attribute
?CG
FineGrind
)
(
located
?COLL ?F)
(
instance
?F
Filter
)
(
instance
?R
Removing
)
(
instrument
?R ?F)
(
patient
?R ?COLL)
(
temporallyBetween
(
EndFn
(
WhenFn
?H))
(
EndFn
(
WhenFn
?LM))
(
EndFn
(
WhenFn
?R)))))))
Food.kif 799-834
時間位置
は
EspressoMaking
の
instance
では %n
エンティティー
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
加熱
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
の
measure
は
エンティティー
の
Liter
(s) では %n
approximateValue
エンティティー
and 0.03
エンティティー
の
measure
は
エンティティー
の
CelsiusDegree
(s) では %n
approximateValue
エンティティー
and 90 は
エンティティー
の
time
の existence の
end
の
during
holds %n{ない}
エンティティー
は
LiquidMotion
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
の
measure
は
エンティティー
の 1 の
thousand
Pascal
s(s) では %n
approximateValue
エンティティー
and 900 は
エンティティー
の
during
holds %n{ない}
エンティティー
は
エンティティー
に
end
s %n{ない}
エンティティー
は
コレクション
の
instance
では %n
エンティティー
の
measure
は
エンティティー
の
Gram
(s) では %n
approximateValue
エンティティー
and 7.5
エンティティー
は
エンティティー
の
member
では %n
エンティティー
は
CoffeeGrind
の
instance
では %n
FineGrind
は
エンティティー
の
attribute
では %n
エンティティー
は
エンティティー
に
located
して %n
エンティティー
は
Filter
の
instance
では %n
エンティティー
は
除却
の
instance
では %n
エンティティー
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
の
time
の existence の
end
は
エンティティー
の
time
の existence の
end
と
エンティティー
の
time
の existence の
end
の
between
に %n は
時間位置
の
during
holds %n{ない}
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