Meter
(=>
(
instance
?M
SurfaceWindSpeedMeasuring
)
(
exists
(?PLACE ?TOOL)
(
and
(
instance
?PLACE
GeographicArea
)
(
instance
?TOOL
Device
)
(
eventLocated
?M ?PLACE)
(
instrument
?M ?TOOL)
(
holdsDuring
(
WhenFn
?M)
(
elevation
?TOOL
(
MeasureFn
10.0
Meter
))))))
Weather.kif 1732-1742
Processo
e' uma
instancia
de
SurfaceWindSpeedMeasuring
Objeto
Objeto
Objeto
e' uma
instancia
de
Area Geografica
Objeto
e' uma
instancia
de
Aparelho
eventLocated
Processo
and
Objeto
Objeto
e' um
instrumento
para
Processo
elevation
Objeto
and 10.0
Meter
(s)
vale
durante
tempo
de existencia de
Processo
(=>
(
instance
?PROCESS
Blizzard
)
(
exists
(?AREA ?DIST)
(
and
(
instance
?AREA
GeographicArea
)
(
eventLocated
?PROCESS ?AREA)
(
visibilityInMeteorology
?AREA
(
WhenFn
?PROCESS)
(
MeasureFn
?DIST
Meter
))
(
lessThan
?DIST 400.0))))
Weather.kif 2642-2651
Processo
e' uma
instancia
de
Blizzard
Regiao
Numero Real
Regiao
e' uma
instancia
de
Area Geografica
eventLocated
Processo
and
Regiao
visibilityInMeteorology
Regiao
,
tempo
de existencia de
Processo
and
Numero Real
Meter
(s)
Numero Real
e'
menos
que 400.0
(=>
(
instance
?VIRUS
YellowFeverVirus
)
(
exists
(?NUMBER)
(
and
(
width
?VIRUS
(
MeasureFn
?NUMBER
Meter
))
(
equal
?NUMBER 0.00000002))))
WMD.kif 1179-1184
Fisico
e' uma
instancia
de
YellowFeverVirus
Numero Real
a
largura
de
Fisico
e'
Numero Real
Meter
(s)
Numero Real
e'
igual
a 0.00000002
(=>
(
instance
?X
DoubleBed
)
(
and
(
width
?X
(
MeasureFn
1.35
Meter
))
(
length
?X
(
MeasureFn
2.0
Meter
))))
Mid-level-ontology.kif 3841-3845
Fisico
e' uma
instancia
de
DoubleBed
a
largura
de
Fisico
e' 1.35
Meter
(s) o
comprimento
de
Fisico
e' 2.0
Meter
(s)
(=>
(
instance
?X
KingBed
)
(
and
(
width
?X
(
MeasureFn
1.9
Meter
))
(
length
?X
(
MeasureFn
2.0
Meter
))))
Mid-level-ontology.kif 3784-3788
Fisico
e' uma
instancia
de
KingBed
a
largura
de
Fisico
e' 1.9
Meter
(s) o
comprimento
de
Fisico
e' 2.0
Meter
(s)
(=>
(
instance
?X
QueenBed
)
(
and
(
width
?X
(
MeasureFn
1.5
Meter
))
(
length
?X
(
MeasureFn
2.0
Meter
))))
Mid-level-ontology.kif 3815-3819
Fisico
e' uma
instancia
de
QueenBed
a
largura
de
Fisico
e' 1.5
Meter
(s) o
comprimento
de
Fisico
e' 2.0
Meter
(s)
(=>
(
instance
?X
SingleBed
)
(
and
(
width
?X
(
MeasureFn
1.0
Meter
))
(
length
?X
(
MeasureFn
2.0
Meter
))))
Mid-level-ontology.kif 3867-3871
Fisico
e' uma
instancia
de
SingleBed
a
largura
de
Fisico
e' 1.0
Meter
(s) o
comprimento
de
Fisico
e' 2.0
Meter
(s)
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