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 3163-3173
Objeto
e' uma
instancia
de
IgnitionCoil
Processo
e' uma
instancia
de
ElectricTransmission
Objeto
e' um
recurso
para
Processo
Objeto
e' uma
instancia
de
Electricity
Entidade
e' uma
instancia
de
Electricity
Entidade
e' o
resultado
de
Processo
Objeto
e' um
instrumento
para
Processo
a
medida
de
Objeto
e'
Numero Real
Volt
(s)
approximateValue
Numero Real
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
Objeto auto-conectado
e' uma
instancia
de
CocoaLiquor
weight
Objeto auto-conectado
and 100.0
Gram
(s)
Objeto auto-conectado
e' uma
instancia
de
CocoaSolid
Objeto auto-conectado
e' uma &parte de
Objeto auto-conectado
weight
Objeto auto-conectado
and
Numero Real
Gram
(s)
Objeto auto-conectado
e' uma
instancia
de
CocoaButter
Objeto auto-conectado
e' uma &parte de
Objeto auto-conectado
weight
Objeto auto-conectado
and
Numero Real
Gram
(s)
approximateValue
Numero Real
and 50.0
approximateValue
Numero Real
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
Objeto
e' uma
instancia
de
LongBlack
Substancia
e' uma &parte de
Objeto
Substancia
e' uma &parte de
Objeto
Substancia
e' uma
instancia
de
Espresso
Substancia
e' uma
instancia
de
DrinkingWater
mixtureRatio
Substancia
,
Substancia
,
Numero Real
,
Numero Real
and
Liter
approximateValue
Numero Real
and 0.06
approximateValue
Numero Real
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
Objeto
e' uma
instancia
de
SeaWater
a
medida
de
Objeto
e' 1.0
Liter
(s)
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
SodiumChloride
a
medida
de
Objeto
e'
Numero Real
Gram
(s)
approximateValue
Numero Real
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
Mamifero
and
Numero Real
Unidade de Medida
(s)
Mamifero
I e' uma
instancia
de
Mamifero
Doenca ou Sindrome
e' um
atributo
de
Entidade
bloodVolume
Entidade
and
Numero Real
2
Unidade de Medida
(s)
vale
durante
Posicao Temporal
approximateValue
Numero Real
2 and
Numero Real
(=>
(
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
Objeto
e' uma
instancia
de
Espresso
Objeto
Numero Real
Objeto
e' uma
instancia
de
DrinkingWater
Objeto
e' uma &parte de
Objeto
a
medida
de
Objeto
e'
Numero Real
Liter
(s)
approximateValue
Numero Real
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
Posicao Temporal
e' uma
instancia
de
EspressoMaking
Entidade
Entidade
,
Entidade
,
Entidade
,
Entidade
,
Entidade
,
Entidade
,
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Aquecer
Entidade
e' um
patient
de
Entidade
a
medida
de
Entidade
e'
Entidade
Liter
(s)
approximateValue
Entidade
and 0.03 a
medida
de
Entidade
e'
Entidade
CelsiusDegree
(s)
approximateValue
Entidade
and 90
vale
durante o
fim
de
tempo
de existencia de
Entidade
Entidade
e' uma
instancia
de
LiquidMotion
Entidade
e' um
patient
de
Entidade
a
medida
de
Entidade
e'
Entidade
1
mil
Pascal
s(s)
approximateValue
Entidade
and 900
vale
durante
Entidade
Entidade
termina
em
Entidade
Entidade
e' uma
instancia
de
Colecao
a
medida
de
Entidade
e'
Entidade
Gram
(s)
approximateValue
Entidade
and 7.5
Entidade
e'
membro
de
Entidade
Entidade
e' uma
instancia
de
CoffeeGrind
FineGrind
e' um
atributo
de
Entidade
Entidade
e'
situado
em
Entidade
Entidade
e' uma
instancia
de
Filter
Entidade
e' uma
instancia
de
Remover
Entidade
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
o
fim
de
tempo
de existencia de
Entidade
e'
entre
o
fim
de
tempo
de existencia de
Entidade
e o
fim
de
tempo
de existencia de
Entidade
vale
durante
Posicao Temporal
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