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
è un'
istanza
di
SurfaceWindSpeedMeasuring
Oggetto
Oggetto
Oggetto
è un'
istanza
di
AreaGeografica
Oggetto
è un'
istanza
di
Dispositivo
eventLocated
Processo
and
Oggetto
Oggetto
è uno
strumento
per
Processo
elevation
Oggetto
and 10.0
Meter
(s vales
durante
il
tempo
di esistenza di
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
è un'
istanza
di
Blizzard
Regione
NumeroReale
Regione
è un'
istanza
di
AreaGeografica
eventLocated
Processo
and
Regione
visibilityInMeteorology
Regione
, il
tempo
di esistenza di
Processo
and
NumeroReale
Meter
(s
NumeroReale
è
meno
di400.0
(=>
(
instance
?VIRUS
YellowFeverVirus
)
(
exists
(?NUMBER)
(
and
(
width
?VIRUS
(
MeasureFn
?NUMBER
Meter
))
(
equal
?NUMBER 0.00000002))))
WMD.kif 1179-1184
Entit�Concreta
è un'
istanza
di
YellowFeverVirus
NumeroReale
l'
ampiezza
di
Entit�Concreta
è
NumeroReale
Meter
(s
NumeroReale
is
uguale
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
Entit�Concreta
è un'
istanza
di
DoubleBed
l'
ampiezza
di
Entit�Concreta
è 1.35
Meter
(s la
lunghezza
di
Entit�Concreta
è 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
Entit�Concreta
è un'
istanza
di
KingBed
l'
ampiezza
di
Entit�Concreta
è 1.9
Meter
(s la
lunghezza
di
Entit�Concreta
è 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
Entit�Concreta
è un'
istanza
di
QueenBed
l'
ampiezza
di
Entit�Concreta
è 1.5
Meter
(s la
lunghezza
di
Entit�Concreta
è 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
Entit�Concreta
è un'
istanza
di
SingleBed
l'
ampiezza
di
Entit�Concreta
è 1.0
Meter
(s la
lunghezza
di
Entit�Concreta
è 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