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
Le nombre 1 argument de
elevation
est une
instance
de
objet
(
domain
elevation
2
LengthMeasure
)
Geography.kif 1892-1892
Le nombre 2 argument de
elevation
est une
instance
de
mesure de longueur
(
instance
elevation
BinaryPredicate
)
Geography.kif 1890-1890
elevation
est une
instance
de
pr�dicat binaire
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
elevation
objet en une partie
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfLength
objet en une partie
est une
instance
de
LandForm
objet en une partie
le
dessus
de
objet en une partie
est
objet en une partie
la
distance
entre
objet en une partie
et
SeaLevel
est
nombre r�el
unit� de mesure
(s)
(=>
(
and
(
elevation
?OBJECT ?HEIGHT)
(
located
?OBJECT ?PLACE)
(
instance
?PLACE
GeographicArea
))
(
superficialPart
?PLACE
PlanetEarth
))
Geography.kif 1907-1912
elevation
objet
and
mesure de longueur
objet
est
situ
� �
objet
objet
est une
instance
de
secteur g�ographique
objet
est une partie
superficielle
de
PlanetEarth
(=>
(
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
Secteur g�ographique
est une
instance
de
secteur g�ographique
geographicSubregion
ElevationHighPointFn
secteur g�ographique
and
secteur g�ographique
elevation
ElevationHighPointFn
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
secteur g�ographique
nombre r�el
geographicSubregion
secteur g�ographique
and
secteur g�ographique
secteur g�ographique
est
ElevationHighPointFn
secteur g�ographique
elevation
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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
Secteur g�ographique
est une
instance
de
secteur g�ographique
geographicSubregion
ElevationLowPointFn
secteur g�ographique
and
secteur g�ographique
unit� de mesure
est une
instance
de
UnitOfLength
elevation
ElevationLowPointFn
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
secteur g�ographique
nombre r�el
geographicSubregion
secteur g�ographique
and
secteur g�ographique
secteur g�ographique
est
ElevationLowPointFn
secteur g�ographique
elevation
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
moins
que
nombre r�el
(=>
(
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
Processus
est une
instance
de
LandSubsidence
objet
est un
patient
de
processus
objet
est une
instance
de
zone de terre
unit� de mesure
est une
instance
de
UnitOfLength
elevation
objet
and
nombre r�el
unit� de mesure
(s)
entit�
elevation
objet
and
entit�
unit� de mesure
(s)
entit�
est
moins
que
nombre r�el
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
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
Objet
est une
instance
de
WindFlow
objet
est une
instance
de
objet
objet
est
partiellement
localis� �
objet
elevation
objet
and
nombre r�el
FootLength
(s)
nombre r�el
est plus
petit
ou �gal � 500.0 la
mesure
de
objet
est
mesure de longueur
par
dur�e temporel
surfaceWindSpeed
objet
and
mesure de longueur
par
dur�e temporel
(=>
(
elevation
?OBJECT ?HEIGHT)
(
exists
(?DATUM)
(
and
(
properPart
?DATUM
SeaLevel
)
(
orientation
?OBJECT ?DATUM
Vertical
)
(
distance
?OBJECT ?DATUM ?HEIGHT))))
Geography.kif 1914-1920
elevation
objet
and
mesure de longueur
objet
objet
est une
partie
de
SeaLevel
objet
est
Vertical
�
objet
la
distance
entre
objet
et
objet
est
mesure de longueur
(=>
(
elevation
?OBJECT ?HEIGHT)
(
exists
(?PLACE)
(
and
(
instance
?PLACE
GeographicArea
)
(
located
?OBJECT ?PLACE))))
Geography.kif 1901-1906
elevation
objet
and
mesure de longueur
objet
objet
est une
instance
de
secteur g�ographique
objet
est
situ
� �
objet
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
Secteur g�ographique
est une
instance
de
secteur g�ographique
geographicSubregion
ElevationHighPointFn
secteur g�ographique
and
secteur g�ographique
elevation
ElevationHighPointFn
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
secteur g�ographique
nombre r�el
geographicSubregion
secteur g�ographique
and
secteur g�ographique
secteur g�ographique
est
ElevationHighPointFn
secteur g�ographique
elevation
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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
Secteur g�ographique
est une
instance
de
secteur g�ographique
geographicSubregion
ElevationLowPointFn
secteur g�ographique
and
secteur g�ographique
unit� de mesure
est une
instance
de
UnitOfLength
elevation
ElevationLowPointFn
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
secteur g�ographique
nombre r�el
geographicSubregion
secteur g�ographique
and
secteur g�ographique
secteur g�ographique
est
ElevationLowPointFn
secteur g�ographique
elevation
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
moins
que
nombre r�el
(=>
(
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
Processus
est une
instance
de
mesurer
objet en une partie
est un
patient
de
processus
objet en une partie
est une
surface
de
PlanetEarth
mesure de longueur
est le
resultat
de
processus
objet
est un
instrument
pour
processus
objet
est une
instance
de
BarometricAltimeter
elevation
objet en une partie
and
mesure de longueur
(=>
(
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
Processus
est une
instance
de
LandSubsidence
objet
est un
patient
de
processus
objet
est une
instance
de
zone de terre
unit� de mesure
est une
instance
de
UnitOfLength
elevation
objet
and
nombre r�el
unit� de mesure
(s)
entit�
elevation
objet
and
entit�
unit� de mesure
(s)
entit�
est
moins
que
nombre r�el
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
and
(
instance
?ocean
Ocean
)
(
surface
?top ?ocean))
(
elevation
?top
(
MeasureFn
0.0
FootLength
)))
Geography.kif 4837-4842
Objet en une partie
est une
instance
de
Ocean
objet en une partie
est une
surface
de
objet en une partie
elevation
objet en une partie
and 0.0
FootLength
(s)
(=>
(
and
(
instance
?ocean
Ocean
)
(
surface
?top ?ocean))
(
elevation
?top
(
MeasureFn
0.0
Meter
)))
Geography.kif 4830-4835
Objet en une partie
est une
instance
de
Ocean
objet en une partie
est une
surface
de
objet en une partie
elevation
objet en une partie
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
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
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