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
Objet
est une
instance
de
IgnitionCoil
processus
est une
instance
de
ElectricTransmission
objet
est une
resource
pour
processus
objet
est une
instance
de
Electricity
entit�
est une
instance
de
Electricity
entit�
est le
resultat
de
processus
objet
est un
instrument
pour
processus
la
mesure
de
objet
est
nombre r�el
Volt
(s)
approximateValue
nombre r�el
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
Objet en une partie
est une
instance
de
CocoaLiquor
weight
objet en une partie
and 100.0
Gram
(s)
objet en une partie
est une
instance
de
CocoaSolid
objet en une partie
est une
partie
de
objet en une partie
weight
objet en une partie
and
nombre r�el
Gram
(s)
objet en une partie
est une
instance
de
CocoaButter
objet en une partie
est une
partie
de
objet en une partie
weight
objet en une partie
and
nombre r�el
Gram
(s)
approximateValue
nombre r�el
and 50.0
approximateValue
nombre r�el
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
Objet
est une
instance
de
LongBlack
substance
est une
partie
de
objet
substance
est une
partie
de
objet
substance
est une
instance
de
Espresso
substance
est une
instance
de
DrinkingWater
mixtureRatio
substance
,
substance
,
nombre r�el
,
nombre r�el
and
Liter
approximateValue
nombre r�el
and 0.06
approximateValue
nombre r�el
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
Objet
est une
instance
de
SeaWater
la
mesure
de
objet
est 1.0
Liter
(s)
objet
est une
partie
de
objet
objet
est une
instance
de
SodiumChloride
la
mesure
de
objet
est
nombre r�el
Gram
(s)
approximateValue
nombre r�el
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
mammif�re
and
nombre r�el
unit� de mesure
(s)
mammif�re
I est une
instance
de
mammif�re
maladie ou syndrome
est un
attribut
de
entit�
bloodVolume
entit�
and
nombre r�el
2
unit� de mesure
(s)
pendant
position temporel
approximateValue
nombre r�el
2 and
nombre r�el
(=>
(
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
Objet
est une
instance
de
Espresso
objet
nombre r�el
objet
est une
instance
de
DrinkingWater
objet
est une
partie
de
objet
la
mesure
de
objet
est
nombre r�el
Liter
(s)
approximateValue
nombre r�el
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
Position temporel
est une
instance
de
EspressoMaking
entit�
entit�
,
entit�
,
entit�
,
entit�
,
entit�
,
entit�
,
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
r�chauffer
entit�
est un
patient
de
entit�
la
mesure
de
entit�
est
entit�
Liter
(s)
approximateValue
entit�
and 0.03 la
mesure
de
entit�
est
entit�
CelsiusDegree
(s)
approximateValue
entit�
and 90
pendant
la
fin
de
temps
d'existence de
entit�
entit�
est une
instance
de
LiquidMotion
entit�
est un
patient
de
entit�
la
mesure
de
entit�
est
entit�
1
millier
Pascal
s(s)
approximateValue
entit�
and 900
pendant
entit�
entit�
aboutit
�
entit�
entit�
est une
instance
de
collection
la
mesure
de
entit�
est
entit�
Gram
(s)
approximateValue
entit�
and 7.5
entit�
est un
membre
de
entit�
entit�
est une
instance
de
CoffeeGrind
FineGrind
est un
attribut
de
entit�
entit�
est
situ
� �
entit�
entit�
est une
instance
de
Filter
entit�
est une
instance
de
supprimer
entit�
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
la
fin
de
temps
d'existence de
entit�
est
entre
la
fin
de
temps
d'existence de
entit�
et la
fin
de
temps
d'existence de
entit�
pendant
position temporel
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