Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
elevation
Sigma KEE - elevation
elevation
appearance as argument number 1
(
documentation
elevation
EnglishLanguage
"(
elevation
?OBJECT ?HEIGHT) means that the physical
Object
?OBJECT is located on the surface of
PlanetEarth
at the vertical distance ?HEIGHT above (or below, for a negative quantity)
SeaLevel
. ?OBJECT may be a
superficialPart
of Earth's surface, such as a
GeographicArea
. Elevation is measured from
SeaLevel
to the vertical top of the object.")
Geography.kif 1894-1899
(
domain
elevation
1
Object
)
Geography.kif 1891-1891
The number 1 argument of
elevation
is an
instance
of
object
(
domain
elevation
2
LengthMeasure
)
Geography.kif 1892-1892
The number 2 argument of
elevation
is an
instance
of
length measure
(
instance
elevation
BinaryPredicate
)
Geography.kif 1890-1890
elevation
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
elevation
"%2 %n 是 %1 的
elevation
")
domainEnglishFormat.kif 891-891
(
format
ChineseTraditionalLanguage
elevation
"%2 %n 是 %1 的
elevation
")
domainEnglishFormat.kif 890-890
(
format
EnglishLanguage
elevation
"%2 is %n an
elevation
of %1")
domainEnglishFormat.kif 889-889
(
termFormat
ChineseLanguage
elevation
"海拔")
domainEnglishFormat.kif 21810-21810
(
termFormat
ChineseTraditionalLanguage
elevation
"海拔")
domainEnglishFormat.kif 21809-21809
(
termFormat
EnglishLanguage
elevation
"elevation")
domainEnglishFormat.kif 21808-21808
antecedent
(=>
(
and
(
elevation
?OBJECT
(
MeasureFn
?NUM ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
instance
?OBJECT
LandForm
))
(
exists
(?HIGHPOINT)
(
and
(
top
?HIGHPOINT ?OBJECT)
(
distance
?HIGHPOINT
SeaLevel
(
MeasureFn
?NUM ?UNIT)))))
Geography.kif 1922-1930
If
a real number
an unit of measure
(s) is an
elevation
of
a self connected object
and
the unit of measure
is an
instance
of
unit of length
and
the self connected object
is an
instance
of
land form
,
then there exists
another self connected object
such that the
top
of
the self connected object
is
the other self connected object
and the
distance
between
the other self connected object
and
sea level
is
the real number
the unit of measure
(s)
(=>
(
and
(
elevation
?OBJECT ?HEIGHT)
(
located
?OBJECT ?PLACE)
(
instance
?PLACE
GeographicArea
))
(
superficialPart
?PLACE
PlanetEarth
))
Geography.kif 1907-1912
If
a length measure
is an
elevation
of
an object
and
the object
is
located
at
another object
and
the other object
is an
instance
of
geographic area
,
then
the other object
is a
superficial
part of
planet earth
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
geographicSubregion
(
ElevationHighPointFn
?AREA) ?AREA)
(
elevation
(
ElevationHighPointFn
?AREA)
(
MeasureFn
?ELEV1 ?UNIT)))
(
not
(
exists
(?OTHER ?ELEV2)
(
and
(
geographicSubregion
?OTHER ?AREA)
(
not
(
equal
?OTHER
(
ElevationHighPointFn
?AREA)))
(
elevation
?OTHER
(
MeasureFn
?ELEV2 ?UNIT))
(
greaterThan
?ELEV2 ?ELEV1)))))
Geography.kif 1964-1975
If
a geographic area
is an
instance
of
geographic area
and the
elevation
high point of
the geographic area
is a
geographic
subregion of
the geographic area
and
a real number
an unit of measure
(s) is an
elevation
of the
elevation
high point of
the geographic area
,
then there don't exist
another geographic area
and
another real number
such that
the other geographic area
is a
geographic
subregion of
the geographic area
and
the other geographic area
is not
equal
to the
elevation
high point of
the geographic area
and
the other real number
the unit of measure
(s) is an
elevation
of
the other geographic area
and
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
geographicSubregion
(
ElevationLowPointFn
?AREA) ?AREA)
(
instance
?U
UnitOfLength
)
(
elevation
(
ElevationLowPointFn
?AREA)
(
MeasureFn
?ELEV1 ?U)))
(
not
(
exists
(?OTHER ?ELEV2)
(
and
(
geographicSubregion
?OTHER ?AREA)
(
not
(
equal
?OTHER
(
ElevationLowPointFn
?AREA)))
(
elevation
?OTHER
(
MeasureFn
?ELEV2 ?U))
(
lessThan
?ELEV2 ?ELEV1)))))
Geography.kif 1940-1954
If
a geographic area
is an
instance
of
geographic area
and the
elevation
low point of
the geographic area
is a
geographic
subregion of
the geographic area
and
an unit of measure
is an
instance
of
unit of length
and
a real number
the unit of measure
(s) is an
elevation
of the
elevation
low point of
the geographic area
,
then there don't exist
another geographic area
and
another real number
such that
the other geographic area
is a
geographic
subregion of
the geographic area
and
the other geographic area
is not
equal
to the
elevation
low point of
the geographic area
and
the other real number
the unit of measure
(s) is an
elevation
of
the other geographic area
and
the other real number
is
less
than
the real number
(=>
(
and
(
instance
?SINKING
LandSubsidence
)
(
patient
?SINKING ?LAND)
(
instance
?LAND
LandArea
)
(
instance
?U
UnitOfLength
)
(
elevation
?LAND
(
MeasureFn
?HEIGHT1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?SINKING))
(
exists
(?HEIGHT2)
(
and
(
elevation
?LAND
(
MeasureFn
?HEIGHT2 ?U))
(
lessThan
?HEIGHT2 ?HEIGHT1)))))
Geography.kif 6779-6792
If
a process
is an
instance
of
land subsidence
and
an object
is a
patient
of
the process
and
the object
is an
instance
of
land area
and
an unit of measure
is an
instance
of
unit of length
and
a real number
the unit of measure
(s) is an
elevation
of
the object
,
then there exists
an entity
such that
the entity
the unit of measure
(s) is an
elevation
of
the object
and
the entity
is
less
than
the real number
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
and
(
instance
?ZEPHYR
WindFlow
)
(
instance
?PLACE
Object
)
(
partlyLocated
?ZEPHYR ?PLACE)
(
elevation
?ZEPHYR
(
MeasureFn
?X
FootLength
))
(
lessThanOrEqualTo
?X 500.0)
(
measure
?ZEPHYR
(
SpeedFn
?DIST ?TIME)))
(
surfaceWindSpeed
?PLACE
(
SpeedFn
?DIST ?TIME)))
Weather.kif 148-157
If
an object
is an
instance
of
wind flow
and
another object
is an
instance
of
object
and
the object
is
partly
located in
the other object
and
a real number
foot length
(s) is an
elevation
of
the object
and
the real number
is
less
than or equal to 500.0 and the
measure
of
the object
is
a length measure
per
a time duration
,
then
the length measure
per
the time duration
is a
surface
wind speed of
the other object
(=>
(
elevation
?OBJECT ?HEIGHT)
(
exists
(?DATUM)
(
and
(
properPart
?DATUM
SeaLevel
)
(
orientation
?OBJECT ?DATUM
Vertical
)
(
distance
?OBJECT ?DATUM ?HEIGHT))))
Geography.kif 1914-1920
If
a length measure
is an
elevation
of
an object
,
then there exists
another object
such that
the other object
is a
proper
part
of
sea level
and
the object
is
vertical
to
the other object
and the
distance
between
the object
and
the other object
is
the length measure
(=>
(
elevation
?OBJECT ?HEIGHT)
(
exists
(?PLACE)
(
and
(
instance
?PLACE
GeographicArea
)
(
located
?OBJECT ?PLACE))))
Geography.kif 1901-1906
If
a length measure
is an
elevation
of
an object
,
then there exists
another object
such that
the other object
is an
instance
of
geographic area
and
the object
is
located
at
the other object
consequent
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
geographicSubregion
(
ElevationHighPointFn
?AREA) ?AREA)
(
elevation
(
ElevationHighPointFn
?AREA)
(
MeasureFn
?ELEV1 ?UNIT)))
(
not
(
exists
(?OTHER ?ELEV2)
(
and
(
geographicSubregion
?OTHER ?AREA)
(
not
(
equal
?OTHER
(
ElevationHighPointFn
?AREA)))
(
elevation
?OTHER
(
MeasureFn
?ELEV2 ?UNIT))
(
greaterThan
?ELEV2 ?ELEV1)))))
Geography.kif 1964-1975
If
a geographic area
is an
instance
of
geographic area
and the
elevation
high point of
the geographic area
is a
geographic
subregion of
the geographic area
and
a real number
an unit of measure
(s) is an
elevation
of the
elevation
high point of
the geographic area
,
then there don't exist
another geographic area
and
another real number
such that
the other geographic area
is a
geographic
subregion of
the geographic area
and
the other geographic area
is not
equal
to the
elevation
high point of
the geographic area
and
the other real number
the unit of measure
(s) is an
elevation
of
the other geographic area
and
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
geographicSubregion
(
ElevationLowPointFn
?AREA) ?AREA)
(
instance
?U
UnitOfLength
)
(
elevation
(
ElevationLowPointFn
?AREA)
(
MeasureFn
?ELEV1 ?U)))
(
not
(
exists
(?OTHER ?ELEV2)
(
and
(
geographicSubregion
?OTHER ?AREA)
(
not
(
equal
?OTHER
(
ElevationLowPointFn
?AREA)))
(
elevation
?OTHER
(
MeasureFn
?ELEV2 ?U))
(
lessThan
?ELEV2 ?ELEV1)))))
Geography.kif 1940-1954
If
a geographic area
is an
instance
of
geographic area
and the
elevation
low point of
the geographic area
is a
geographic
subregion of
the geographic area
and
an unit of measure
is an
instance
of
unit of length
and
a real number
the unit of measure
(s) is an
elevation
of the
elevation
low point of
the geographic area
,
then there don't exist
another geographic area
and
another real number
such that
the other geographic area
is a
geographic
subregion of
the geographic area
and
the other geographic area
is not
equal
to the
elevation
low point of
the geographic area
and
the other real number
the unit of measure
(s) is an
elevation
of
the other geographic area
and
the other real number
is
less
than
the real number
(=>
(
and
(
instance
?MEASURE
Measuring
)
(
patient
?MEASURE ?OBJ)
(
surface
?OBJ
PlanetEarth
)
(
result
?MEASURE ?QUANTITY)
(
instrument
?MEASURE ?BAROMETER)
(
instance
?BAROMETER
BarometricAltimeter
))
(
elevation
?OBJ ?QUANTITY))
MilitaryDevices.kif 1488-1496
If
a process
is an
instance
of
measuring
and
a self connected object
is a
patient
of
the process
and
the self connected object
is a
surface
of
planet earth
and
a length measure
is a
result
of
the process
and
an object
is an
instrument
for
the process
and
the object
is an
instance
of
barometric altimeter
,
then
the length measure
is an
elevation
of
the self connected object
(=>
(
and
(
instance
?SINKING
LandSubsidence
)
(
patient
?SINKING ?LAND)
(
instance
?LAND
LandArea
)
(
instance
?U
UnitOfLength
)
(
elevation
?LAND
(
MeasureFn
?HEIGHT1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?SINKING))
(
exists
(?HEIGHT2)
(
and
(
elevation
?LAND
(
MeasureFn
?HEIGHT2 ?U))
(
lessThan
?HEIGHT2 ?HEIGHT1)))))
Geography.kif 6779-6792
If
a process
is an
instance
of
land subsidence
and
an object
is a
patient
of
the process
and
the object
is an
instance
of
land area
and
an unit of measure
is an
instance
of
unit of length
and
a real number
the unit of measure
(s) is an
elevation
of
the object
,
then there exists
an entity
such that
the entity
the unit of measure
(s) is an
elevation
of
the object
and
the entity
is
less
than
the real number
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
and
(
instance
?ocean
Ocean
)
(
surface
?top ?ocean))
(
elevation
?top
(
MeasureFn
0.0
FootLength
)))
Geography.kif 4837-4842
If
a self connected object
is an
instance
of
ocean
and
another self connected object
is a
surface
of
the self connected object
,
then 0.0
foot length
(s) is an
elevation
of
the other self connected object
(=>
(
and
(
instance
?ocean
Ocean
)
(
surface
?top ?ocean))
(
elevation
?top
(
MeasureFn
0.0
Meter
)))
Geography.kif 4830-4835
If
a self connected object
is an
instance
of
ocean
and
another self connected object
is a
surface
of
the self connected object
,
then 0.0
meter
(s) is an
elevation
of
the other self connected object
(=>
(
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
appearance as argument number 0
(
elevation
(
ElevationHighPointFn
SouthernOcean
)
(
MeasureFn
0.0
Meter
))
Geography.kif 4683-4685
0.0
Meter
(s) is an
elevation
of the
elevation
high point of
southern ocean
(
elevation
(
ElevationLowPointFn
SouthernOcean
)
(
MeasureFn
-7235.0
Meter
))
Geography.kif 4687-4689
-7235.0
Meter
(s) is an
elevation
of the
elevation
low point of
southern ocean
(
elevation
SeaLevel
(
MeasureFn
0.0
Meter
))
Geography.kif 4827-4828
0.0
Meter
(s) is an
elevation
of
sea level
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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