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
Processus
est une
instance
de
SurfaceWindSpeedMeasuring
objet
objet
objet
est une
instance
de
secteur g�ographique
objet
est une
instance
de
appareil
eventLocated
processus
and
objet
objet
est un
instrument
pour
processus
elevation
objet
and 10.0
Meter
(s)
pendant
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
Blizzard
r�gion
nombre r�el
r�gion
est une
instance
de
secteur g�ographique
eventLocated
processus
and
r�gion
visibilityInMeteorology
r�gion
,
temps
d'existence de
processus
and
nombre r�el
Meter
(s)
nombre r�el
est
moins
que 400.0
(=>
(
instance
?VIRUS
YellowFeverVirus
)
(
exists
(?NUMBER)
(
and
(
width
?VIRUS
(
MeasureFn
?NUMBER
Meter
))
(
equal
?NUMBER 0.00000002))))
WMD.kif 1179-1184
Physique
est une
instance
de
YellowFeverVirus
nombre r�el
la
largeur
de
physique
est
nombre r�el
Meter
(s)
nombre r�el
est &%�gal � 0.00000002
(=>
(
instance
?X
DoubleBed
)
(
and
(
width
?X
(
MeasureFn
1.35
Meter
))
(
length
?X
(
MeasureFn
2.0
Meter
))))
Mid-level-ontology.kif 3841-3845
Physique
est une
instance
de
DoubleBed
la
largeur
de
physique
est 1.35
Meter
(s) le
longueur
de
physique
est 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
Physique
est une
instance
de
KingBed
la
largeur
de
physique
est 1.9
Meter
(s) le
longueur
de
physique
est 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
Physique
est une
instance
de
QueenBed
la
largeur
de
physique
est 1.5
Meter
(s) le
longueur
de
physique
est 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
Physique
est une
instance
de
SingleBed
la
largeur
de
physique
est 1.0
Meter
(s) le
longueur
de
physique
est 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