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
Il numero 1 argomenti di
elevation
è un
istanza
di
Oggetto
(
domain
elevation
2
LengthMeasure
)
Geography.kif 1892-1892
Il numero 2 argomenti di
elevation
è un
istanza
di
MisuraDiLunghezza
(
instance
elevation
BinaryPredicate
)
Geography.kif 1890-1890
elevation
è un'
istanza
di
PredicatoBinario
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
OggettoIntegro
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfLength
OggettoIntegro
è un'
istanza
di
LandForm
OggettoIntegro
il
vertice
OggettoIntegro
è
OggettoIntegro
la
distanza
tra
OggettoIntegro
e
SeaLevel
è
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
elevation
?OBJECT ?HEIGHT)
(
located
?OBJECT ?PLACE)
(
instance
?PLACE
GeographicArea
))
(
superficialPart
?PLACE
PlanetEarth
))
Geography.kif 1907-1912
elevation
Oggetto
and
MisuraDiLunghezza
Oggetto
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
AreaGeografica
Oggetto
è una
parte
superficiale di
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
AreaGeografica
è un'
istanza
di
AreaGeografica
geographicSubregion
ElevationHighPointFn
AreaGeografica
and
AreaGeografica
elevation
ElevationHighPointFn
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
AreaGeografica
NumeroReale
geographicSubregion
AreaGeografica
and
AreaGeografica
AreaGeografica
is
uguale
a
ElevationHighPointFn
AreaGeografica
elevation
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
AreaGeografica
è un'
istanza
di
AreaGeografica
geographicSubregion
ElevationLowPointFn
AreaGeografica
and
AreaGeografica
Unit�DiMisura
è un'
istanza
di
UnitOfLength
elevation
ElevationLowPointFn
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
AreaGeografica
NumeroReale
geographicSubregion
AreaGeografica
and
AreaGeografica
AreaGeografica
is
uguale
a
ElevationLowPointFn
AreaGeografica
elevation
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
meno
di
NumeroReale
(=>
(
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
Processo
è un'
istanza
di
LandSubsidence
Oggetto
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
SuperficieTerrestre
Unit�DiMisura
è un'
istanza
di
UnitOfLength
elevation
Oggetto
and
NumeroReale
Unit�DiMisura
(s
Entit�
elevation
Oggetto
and
Entit�
Unit�DiMisura
(s
Entit�
è
meno
di
NumeroReale
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
(=>
(
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 136-145
Oggetto
è un'
istanza
di
WindFlow
Oggetto
è un'
istanza
di
Oggetto
Oggetto
è
in
parte localizzato in
Oggetto
elevation
Oggetto
and
NumeroReale
FootLength
(s
NumeroReale
è
minore
o uguale a 500.0 la
misura
Oggetto
è
MisuraDiLunghezza
per
Durata
surfaceWindSpeed
Oggetto
and
MisuraDiLunghezza
per
Durata
(=>
(
elevation
?OBJECT ?HEIGHT)
(
exists
(?DATUM)
(
and
(
properPart
?DATUM
SeaLevel
)
(
orientation
?OBJECT ?DATUM
Vertical
)
(
distance
?OBJECT ?DATUM ?HEIGHT))))
Geography.kif 1914-1920
elevation
Oggetto
and
MisuraDiLunghezza
Oggetto
Oggetto
è una
Parte
propria di
SeaLevel
Oggetto
è
Vertical
a
Oggetto
la
distanza
tra
Oggetto
e
Oggetto
è
MisuraDiLunghezza
(=>
(
elevation
?OBJECT ?HEIGHT)
(
exists
(?PLACE)
(
and
(
instance
?PLACE
GeographicArea
)
(
located
?OBJECT ?PLACE))))
Geography.kif 1901-1906
elevation
Oggetto
and
MisuraDiLunghezza
Oggetto
Oggetto
è un'
istanza
di
AreaGeografica
Oggetto
è
localizzato
in
Oggetto
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
AreaGeografica
è un'
istanza
di
AreaGeografica
geographicSubregion
ElevationHighPointFn
AreaGeografica
and
AreaGeografica
elevation
ElevationHighPointFn
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
AreaGeografica
NumeroReale
geographicSubregion
AreaGeografica
and
AreaGeografica
AreaGeografica
is
uguale
a
ElevationHighPointFn
AreaGeografica
elevation
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
AreaGeografica
è un'
istanza
di
AreaGeografica
geographicSubregion
ElevationLowPointFn
AreaGeografica
and
AreaGeografica
Unit�DiMisura
è un'
istanza
di
UnitOfLength
elevation
ElevationLowPointFn
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
AreaGeografica
NumeroReale
geographicSubregion
AreaGeografica
and
AreaGeografica
AreaGeografica
is
uguale
a
ElevationLowPointFn
AreaGeografica
elevation
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
meno
di
NumeroReale
(=>
(
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
Processo
è un'
istanza
di
Misurare
OggettoIntegro
è un
paziente
di
Processo
OggettoIntegro
è una
superficie
di
PlanetEarth
MisuraDiLunghezza
è un
risultato
di
Processo
Oggetto
è uno
strumento
per
Processo
Oggetto
è un'
istanza
di
BarometricAltimeter
elevation
OggettoIntegro
and
MisuraDiLunghezza
(=>
(
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
Processo
è un'
istanza
di
LandSubsidence
Oggetto
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
SuperficieTerrestre
Unit�DiMisura
è un'
istanza
di
UnitOfLength
elevation
Oggetto
and
NumeroReale
Unit�DiMisura
(s
Entit�
elevation
Oggetto
and
Entit�
Unit�DiMisura
(s
Entit�
è
meno
di
NumeroReale
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?ocean
Ocean
)
(
surface
?top ?ocean))
(
elevation
?top
(
MeasureFn
0.0
FootLength
)))
Geography.kif 4837-4842
OggettoIntegro
è un'
istanza
di
Ocean
OggettoIntegro
è una
superficie
di
OggettoIntegro
elevation
OggettoIntegro
and 0.0
FootLength
(s
(=>
(
and
(
instance
?ocean
Ocean
)
(
surface
?top ?ocean))
(
elevation
?top
(
MeasureFn
0.0
Meter
)))
Geography.kif 4830-4835
OggettoIntegro
è un'
istanza
di
Ocean
OggettoIntegro
è una
superficie
di
OggettoIntegro
elevation
OggettoIntegro
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 1715-1725
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
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