Meter
(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
If
a process
is an
instance
of
surface wind speed measuring
,
then there exist
an object
and
another object
such that
the object
is an
instance
of
geographic area
and
the other object
is an
instance
of
device
and
the process
is
located
at
the object
and
the other object
is an
instrument
for
the process
and 10.0
meter
(s) is an
elevation
of
the other object
holds
during
the
time
of existence of
the process
(=>
(
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
If
a process
is an
instance
of
blizzard
,
then there exist
a region
and
a real number
such that
the region
is an
instance
of
geographic area
and
the process
is
located
at
the region
and the
visibility
at
the region
during the
time
of existence of
the process
is
the real number
meter
(s) and
the real number
is
less
than 400.0
(=>
(
instance
?VIRUS
YellowFeverVirus
)
(
exists
(?NUMBER)
(
and
(
width
?VIRUS
(
MeasureFn
?NUMBER
Meter
))
(
equal
?NUMBER 0.00000002))))
WMD.kif 1179-1184
If
a physical
is an
instance
of
yellow fever virus
,
then there exists
a real number
such that the
width
of
the physical
is
the real number
meter
(s) and
the real number
is
equal
to 0.00000002
(=>
(
instance
?X
DoubleBed
)
(
and
(
width
?X
(
MeasureFn
1.35
Meter
))
(
length
?X
(
MeasureFn
2.0
Meter
))))
Mid-level-ontology.kif 3841-3845
If
a physical
is an
instance
of
full-sized bed
,
then the
width
of
the physical
is 1.35
meter
(s) and the
length
of
the physical
is 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
If
a physical
is an
instance
of
king-sized bed
,
then the
width
of
the physical
is 1.9
meter
(s) and the
length
of
the physical
is 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
If
a physical
is an
instance
of
queen-sized bed
,
then the
width
of
the physical
is 1.5
meter
(s) and the
length
of
the physical
is 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
If
a physical
is an
instance
of
twin-sized bed
,
then the
width
of
the physical
is 1.0
meter
(s) and the
length
of
the physical
is 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