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
O argumento numero 1 de
elevation
e' uma
instancia
de
Objeto
(
domain
elevation
2
LengthMeasure
)
Geography.kif 1892-1892
O argumento numero 2 de
elevation
e' uma
instancia
de
Medida de Comprimento
(
instance
elevation
BinaryPredicate
)
Geography.kif 1890-1890
elevation
e' uma
instancia
de
Predicado Binario
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
Objeto auto-conectado
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Objeto auto-conectado
e' uma
instancia
de
LandForm
Objeto auto-conectado
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
a
distancia
entre
Objeto auto-conectado
e
SeaLevel
e'
Numero Real
Unidade de Medida
(s)
(=>
(
and
(
elevation
?OBJECT ?HEIGHT)
(
located
?OBJECT ?PLACE)
(
instance
?PLACE
GeographicArea
))
(
superficialPart
?PLACE
PlanetEarth
))
Geography.kif 1907-1912
elevation
Objeto
and
Medida de Comprimento
Objeto
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
Area Geografica
Objeto
e' uma parte
superficial
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
Area Geografica
e' uma
instancia
de
Area Geografica
geographicSubregion
ElevationHighPointFn
Area Geografica
and
Area Geografica
elevation
ElevationHighPointFn
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Area Geografica
Numero Real
geographicSubregion
Area Geografica
and
Area Geografica
Area Geografica
e'
igual
a
ElevationHighPointFn
Area Geografica
elevation
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
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
Area Geografica
e' uma
instancia
de
Area Geografica
geographicSubregion
ElevationLowPointFn
Area Geografica
and
Area Geografica
Unidade de Medida
e' uma
instancia
de
UnitOfLength
elevation
ElevationLowPointFn
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Area Geografica
Numero Real
geographicSubregion
Area Geografica
and
Area Geografica
Area Geografica
e'
igual
a
ElevationLowPointFn
Area Geografica
elevation
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menos
que
Numero Real
(=>
(
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
e' uma
instancia
de
LandSubsidence
Objeto
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Area terrestre
Unidade de Medida
e' uma
instancia
de
UnitOfLength
elevation
Objeto
and
Numero Real
Unidade de Medida
(s)
Entidade
elevation
Objeto
and
Entidade
Unidade de Medida
(s)
Entidade
e'
menos
que
Numero Real
vale
durante imediatemente
apos
tempo
de existencia de
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 148-157
Objeto
e' uma
instancia
de
WindFlow
Objeto
e' uma
instancia
de
Objeto
Objeto
e'
parcialmente
localizado em
Objeto
elevation
Objeto
and
Numero Real
FootLength
(s)
Numero Real
e'
menor
ou igual a 500.0 a
medida
de
Objeto
e'
Medida de Comprimento
por
Duracao Temporal
surfaceWindSpeed
Objeto
and
Medida de Comprimento
por
Duracao Temporal
(=>
(
elevation
?OBJECT ?HEIGHT)
(
exists
(?DATUM)
(
and
(
properPart
?DATUM
SeaLevel
)
(
orientation
?OBJECT ?DATUM
Vertical
)
(
distance
?OBJECT ?DATUM ?HEIGHT))))
Geography.kif 1914-1920
elevation
Objeto
and
Medida de Comprimento
Objeto
Objeto
e' uma &parte de
SeaLevel
Objeto
e'
Vertical
em relacao a
Objeto
a
distancia
entre
Objeto
e
Objeto
e'
Medida de Comprimento
(=>
(
elevation
?OBJECT ?HEIGHT)
(
exists
(?PLACE)
(
and
(
instance
?PLACE
GeographicArea
)
(
located
?OBJECT ?PLACE))))
Geography.kif 1901-1906
elevation
Objeto
and
Medida de Comprimento
Objeto
Objeto
e' uma
instancia
de
Area Geografica
Objeto
e'
situado
em
Objeto
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
Area Geografica
e' uma
instancia
de
Area Geografica
geographicSubregion
ElevationHighPointFn
Area Geografica
and
Area Geografica
elevation
ElevationHighPointFn
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Area Geografica
Numero Real
geographicSubregion
Area Geografica
and
Area Geografica
Area Geografica
e'
igual
a
ElevationHighPointFn
Area Geografica
elevation
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
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
Area Geografica
e' uma
instancia
de
Area Geografica
geographicSubregion
ElevationLowPointFn
Area Geografica
and
Area Geografica
Unidade de Medida
e' uma
instancia
de
UnitOfLength
elevation
ElevationLowPointFn
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Area Geografica
Numero Real
geographicSubregion
Area Geografica
and
Area Geografica
Area Geografica
e'
igual
a
ElevationLowPointFn
Area Geografica
elevation
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menos
que
Numero Real
(=>
(
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
e' uma
instancia
de
Medir
Objeto auto-conectado
e' um
patient
de
Processo
Objeto auto-conectado
e' uma
superficie
de
PlanetEarth
Medida de Comprimento
e' o
resultado
de
Processo
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
BarometricAltimeter
elevation
Objeto auto-conectado
and
Medida de Comprimento
(=>
(
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
e' uma
instancia
de
LandSubsidence
Objeto
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Area terrestre
Unidade de Medida
e' uma
instancia
de
UnitOfLength
elevation
Objeto
and
Numero Real
Unidade de Medida
(s)
Entidade
elevation
Objeto
and
Entidade
Unidade de Medida
(s)
Entidade
e'
menos
que
Numero Real
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?ocean
Ocean
)
(
surface
?top ?ocean))
(
elevation
?top
(
MeasureFn
0.0
FootLength
)))
Geography.kif 4837-4842
Objeto auto-conectado
e' uma
instancia
de
Ocean
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
elevation
Objeto auto-conectado
and 0.0
FootLength
(s)
(=>
(
and
(
instance
?ocean
Ocean
)
(
surface
?top ?ocean))
(
elevation
?top
(
MeasureFn
0.0
Meter
)))
Geography.kif 4830-4835
Objeto auto-conectado
e' uma
instancia
de
Ocean
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
elevation
Objeto auto-conectado
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
Processo
e' uma
instancia
de
SurfaceWindSpeedMeasuring
Objeto
Objeto
Objeto
e' uma
instancia
de
Area Geografica
Objeto
e' uma
instancia
de
Aparelho
eventLocated
Processo
and
Objeto
Objeto
e' um
instrumento
para
Processo
elevation
Objeto
and 10.0
Meter
(s)
vale
durante
tempo
de existencia de
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