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
Die Zahl 1 Argument von
elevation
ist ein
fall
von
Object
%n{nicht}
(
domain
elevation
2
LengthMeasure
)
Geography.kif 1892-1892
Die Zahl 2 Argument von
elevation
ist ein
fall
von
LengthMeasure
%n{nicht}
(
instance
elevation
BinaryPredicate
)
Geography.kif 1890-1890
elevation
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
elevation
SelfConnectedObject
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
** SelfConnectedObject
ist ein
fall
von
LandForm
%n{nicht},
dann es gibt
** SelfConnectedObject
um die
oberseite
von
** SelfConnectedObject
ist
** ** SelfConnectedObject
und der
abstand
zwischen
** ** SelfConnectedObject
und
SeaLevel
ist
** RealNumber
** UnitOfMeasure
(s)
(=>
(
and
(
elevation
?OBJECT ?HEIGHT)
(
located
?OBJECT ?PLACE)
(
instance
?PLACE
GeographicArea
))
(
superficialPart
?PLACE
PlanetEarth
))
Geography.kif 1907-1912
Wenn
elevation
Object
and
LengthMeasure
und
** Object
befindet
sich an %n{nicht} und
** Object
ist ein
fall
von
GeographicArea
%n{nicht},
dann
** ** Object
ist ein
oberflaechliches
teil von
PlanetEarth
%n{nicht}
(=>
(
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
Wenn
GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
geographicSubregion
ElevationHighPointFn
** GeographicArea
and
** GeographicArea
und
elevation
ElevationHighPointFn
** GeographicArea
and
RealNumber
UnitOfMeasure
(s),
dann es gibt nicht
** GeographicArea
und
** RealNumber
um
geographicSubregion
** ** GeographicArea
and
** GeographicArea
und
** ** GeographicArea
ist gleich
ElevationHighPointFn
** GeographicArea
nicht und
elevation
** ** GeographicArea
and
** ** RealNumber
** UnitOfMeasure
(s) und
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
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
Wenn
GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
geographicSubregion
ElevationLowPointFn
** GeographicArea
and
** GeographicArea
und
UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
elevation
ElevationLowPointFn
** GeographicArea
and
RealNumber
** UnitOfMeasure
(s),
dann es gibt nicht
** GeographicArea
und
** RealNumber
um
geographicSubregion
** ** GeographicArea
and
** GeographicArea
und
** ** GeographicArea
ist gleich
ElevationLowPointFn
** GeographicArea
nicht und
elevation
** ** GeographicArea
and
** ** RealNumber
** UnitOfMeasure
(s) und
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
LandSubsidence
%n{nicht} und
Object
ist ein
patient
von
** Process
%n{nicht} und
** Object
ist ein
fall
von
LandArea
%n{nicht} und
UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
elevation
** Object
and
RealNumber
** UnitOfMeasure
(s),
dann es gibt
entity
um
elevation
** Object
and
** entity
** UnitOfMeasure
(s) und
** entity
ist
kleinerAls
** RealNumber
%n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
WindFlow
%n{nicht} und
** Object
ist ein
fall
von
Object
%n{nicht} und
** Object
befindet
sich
teils
an %n{nicht} und
elevation
** Object
and
RealNumber
FootLength
(s) und
** RealNumber
ist
kleinerAlsOderGleich
500.0 %n{nicht} und das
mass
von
** Object
ist
LengthMeasure
pro
&2 %n{nicht},
dann
surfaceWindSpeed
** ** Object
and
** LengthMeasure
pro
&2
(=>
(
elevation
?OBJECT ?HEIGHT)
(
exists
(?DATUM)
(
and
(
properPart
?DATUM
SeaLevel
)
(
orientation
?OBJECT ?DATUM
Vertical
)
(
distance
?OBJECT ?DATUM ?HEIGHT))))
Geography.kif 1914-1920
Wenn
elevation
Object
and
LengthMeasure
,
dann es gibt
** Object
um
** ** Object
ist ein
korrektes
teil von
SeaLevel
%n{nicht} und
** Object
ist
Vertical
hinsichlich
** ** Object
%n{nicht} und der
abstand
zwischen
** Object
und
** ** Object
ist
** LengthMeasure
(=>
(
elevation
?OBJECT ?HEIGHT)
(
exists
(?PLACE)
(
and
(
instance
?PLACE
GeographicArea
)
(
located
?OBJECT ?PLACE))))
Geography.kif 1901-1906
Wenn
elevation
Object
and
LengthMeasure
,
dann es gibt
** Object
um
** ** Object
ist ein
fall
von
GeographicArea
%n{nicht} und
** Object
befindet
sich an %n{nicht}
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
Wenn
GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
geographicSubregion
ElevationHighPointFn
** GeographicArea
and
** GeographicArea
und
elevation
ElevationHighPointFn
** GeographicArea
and
RealNumber
UnitOfMeasure
(s),
dann es gibt nicht
** GeographicArea
und
** RealNumber
um
geographicSubregion
** ** GeographicArea
and
** GeographicArea
und
** ** GeographicArea
ist gleich
ElevationHighPointFn
** GeographicArea
nicht und
elevation
** ** GeographicArea
and
** ** RealNumber
** UnitOfMeasure
(s) und
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
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
Wenn
GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
geographicSubregion
ElevationLowPointFn
** GeographicArea
and
** GeographicArea
und
UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
elevation
ElevationLowPointFn
** GeographicArea
and
RealNumber
** UnitOfMeasure
(s),
dann es gibt nicht
** GeographicArea
und
** RealNumber
um
geographicSubregion
** ** GeographicArea
and
** GeographicArea
und
** ** GeographicArea
ist gleich
ElevationLowPointFn
** GeographicArea
nicht und
elevation
** ** GeographicArea
and
** ** RealNumber
** UnitOfMeasure
(s) und
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Measuring
%n{nicht} und
SelfConnectedObject
ist ein
patient
von
** Process
%n{nicht} und
** SelfConnectedObject
ist eine
flaeche
von
PlanetEarth
%n{nicht} und
LengthMeasure
ist ein
resultat
von
** Process
%n{nicht} und
Object
ist ein
instrument
fuer
** Process
%n{nicht} und
** Object
ist ein
fall
von
BarometricAltimeter
%n{nicht},
dann
elevation
** SelfConnectedObject
and
** LengthMeasure
(=>
(
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
Wenn
Process
ist ein
fall
von
LandSubsidence
%n{nicht} und
Object
ist ein
patient
von
** Process
%n{nicht} und
** Object
ist ein
fall
von
LandArea
%n{nicht} und
UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
elevation
** Object
and
RealNumber
** UnitOfMeasure
(s),
dann es gibt
entity
um
elevation
** Object
and
** entity
** UnitOfMeasure
(s) und
** entity
ist
kleinerAls
** RealNumber
%n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?ocean
Ocean
)
(
surface
?top ?ocean))
(
elevation
?top
(
MeasureFn
0.0
FootLength
)))
Geography.kif 4837-4842
Wenn
SelfConnectedObject
ist ein
fall
von
Ocean
%n{nicht} und
** SelfConnectedObject
ist eine
flaeche
von
** SelfConnectedObject
%n{nicht},
dann
elevation
** ** SelfConnectedObject
and 0.0
FootLength
(s)
(=>
(
and
(
instance
?ocean
Ocean
)
(
surface
?top ?ocean))
(
elevation
?top
(
MeasureFn
0.0
Meter
)))
Geography.kif 4830-4835
Wenn
SelfConnectedObject
ist ein
fall
von
Ocean
%n{nicht} und
** SelfConnectedObject
ist eine
flaeche
von
** SelfConnectedObject
%n{nicht},
dann
elevation
** ** SelfConnectedObject
and 0.0
Meter
(s)
(=>
(
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
Wenn
Process
ist ein
fall
von
SurfaceWindSpeedMeasuring
%n{nicht},
dann es gibt
Object
und
** Object
um
** Object
ist ein
fall
von
GeographicArea
%n{nicht} und
** ** Object
ist ein
fall
von
Device
%n{nicht} und
eventLocated
** Process
and
** Object
und
** ** Object
ist ein
instrument
fuer
** Process
%n{nicht} und
elevation
** ** Object
and 10.0
Meter
(s) haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht}
appearance as argument number 0
(
elevation
(
ElevationHighPointFn
SouthernOcean
)
(
MeasureFn
0.0
Meter
))
Geography.kif 4683-4685
elevation
ElevationHighPointFn
SouthernOcean
and 0.0
Meter
(s)
(
elevation
(
ElevationLowPointFn
SouthernOcean
)
(
MeasureFn
-7235.0
Meter
))
Geography.kif 4687-4689
elevation
ElevationLowPointFn
SouthernOcean
and -7235.0
Meter
(s)
(
elevation
SeaLevel
(
MeasureFn
0.0
Meter
))
Geography.kif 4827-4828
elevation
SeaLevel
and 0.0
Meter
(s)
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