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
域
海拔
, 1 and
Object
(
domain
elevation
2
LengthMeasure
)
Geography.kif 1892-1892
域
海拔
, 2 and
LengthMeasure
(
instance
elevation
BinaryPredicate
)
Geography.kif 1890-1890
例
海拔
and
BinaryPredicate
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
測量
RealNumber
and
UnitOfMeasure
是
SelfConnectedObject
的
elevation
例
UnitOfMeasure
and
UnitOfLength
例
SelfConnectedObject
and
土地形式
SelfConnectedObject
上
SelfConnectedObject
and
SelfConnectedObject
距離
SelfConnectedObject
,
海平面
and
測量
RealNumber
and
UnitOfMeasure
(=>
(
and
(
elevation
?OBJECT ?HEIGHT)
(
located
?OBJECT ?PLACE)
(
instance
?PLACE
GeographicArea
))
(
superficialPart
?PLACE
PlanetEarth
))
Geography.kif 1907-1912
LengthMeasure
是
Object
的
elevation
位於
Object
and
Object
例
Object
and
GeographicArea
膚淺的部分
Object
and
行星地球
(=>
(
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
例
GeographicArea
and
GeographicArea
GeographicArea
的
elevation
高點 是
GeographicArea
的
geographic
次要地區
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
elevation
高點 的
elevation
GeographicArea
RealNumber
GeographicArea
是
GeographicArea
的
geographic
次要地區
等於
GeographicArea
and
GeographicArea
的
elevation
高點
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
elevation
比較多
RealNumber
and
RealNumber
(=>
(
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
例
GeographicArea
and
GeographicArea
GeographicArea
的
elevation
低點 是
GeographicArea
的
geographic
次要地區
例
UnitOfMeasure
and
UnitOfLength
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
elevation
低點 的
elevation
GeographicArea
RealNumber
GeographicArea
是
GeographicArea
的
geographic
次要地區
等於
GeographicArea
and
GeographicArea
的
elevation
低點
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
elevation
少於
RealNumber
and
RealNumber
(=>
(
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
例
Process
and
地面沉降
患者
Process
and
Object
例
Object
and
LandArea
例
UnitOfMeasure
and
UnitOfLength
測量
RealNumber
and
UnitOfMeasure
是
Object
的
elevation
持有期間
眼前的未來
何時
Process
and
entity
測量
entity
and
UnitOfMeasure
是
Object
的
elevation
少於
entity
and
RealNumber
(=>
(
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
例
Object
and
WindFlow
例
Object
and
Object
部分位於
Object
and
Object
測量
RealNumber
and
腳長
是
Object
的
elevation
小於或等於
RealNumber
and 500.0
測量
Object
and
速度
LengthMeasure
and
TimeDuration
速度
LengthMeasure
and
TimeDuration
是
Object
的
surface
風速
(=>
(
elevation
?OBJECT ?HEIGHT)
(
exists
(?DATUM)
(
and
(
properPart
?DATUM
SeaLevel
)
(
orientation
?OBJECT ?DATUM
Vertical
)
(
distance
?OBJECT ?DATUM ?HEIGHT))))
Geography.kif 1914-1920
LengthMeasure
是
Object
的
elevation
Object
適當的部分
Object
and
海平面
方位
Object
,
Object
and
垂直
距離
Object
,
Object
and
LengthMeasure
(=>
(
elevation
?OBJECT ?HEIGHT)
(
exists
(?PLACE)
(
and
(
instance
?PLACE
GeographicArea
)
(
located
?OBJECT ?PLACE))))
Geography.kif 1901-1906
LengthMeasure
是
Object
的
elevation
Object
例
Object
and
GeographicArea
位於
Object
and
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
例
GeographicArea
and
GeographicArea
GeographicArea
的
elevation
高點 是
GeographicArea
的
geographic
次要地區
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
elevation
高點 的
elevation
GeographicArea
RealNumber
GeographicArea
是
GeographicArea
的
geographic
次要地區
等於
GeographicArea
and
GeographicArea
的
elevation
高點
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
elevation
比較多
RealNumber
and
RealNumber
(=>
(
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
例
GeographicArea
and
GeographicArea
GeographicArea
的
elevation
低點 是
GeographicArea
的
geographic
次要地區
例
UnitOfMeasure
and
UnitOfLength
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
elevation
低點 的
elevation
GeographicArea
RealNumber
GeographicArea
是
GeographicArea
的
geographic
次要地區
等於
GeographicArea
and
GeographicArea
的
elevation
低點
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
elevation
少於
RealNumber
and
RealNumber
(=>
(
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
例
Process
and
Measuring
患者
Process
and
SelfConnectedObject
表面
SelfConnectedObject
and
行星地球
結果
Process
and
LengthMeasure
儀器
Process
and
Object
例
Object
and
氣壓高度計
LengthMeasure
是
SelfConnectedObject
的
elevation
(=>
(
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
例
Process
and
地面沉降
患者
Process
and
Object
例
Object
and
LandArea
例
UnitOfMeasure
and
UnitOfLength
測量
RealNumber
and
UnitOfMeasure
是
Object
的
elevation
持有期間
眼前的未來
何時
Process
and
entity
測量
entity
and
UnitOfMeasure
是
Object
的
elevation
少於
entity
and
RealNumber
(=>
(
and
(
instance
?ocean
Ocean
)
(
surface
?top ?ocean))
(
elevation
?top
(
MeasureFn
0.0
FootLength
)))
Geography.kif 4837-4842
例
SelfConnectedObject
and
海洋
表面
SelfConnectedObject
and
SelfConnectedObject
測量
0.0 and
腳長
是
SelfConnectedObject
的
elevation
(=>
(
and
(
instance
?ocean
Ocean
)
(
surface
?top ?ocean))
(
elevation
?top
(
MeasureFn
0.0
Meter
)))
Geography.kif 4830-4835
例
SelfConnectedObject
and
海洋
表面
SelfConnectedObject
and
SelfConnectedObject
測量
0.0 and
儀表
是
SelfConnectedObject
的
elevation
(=>
(
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
例
Process
and
SurfaceWindSpeedMeasuring
Object
Object
例
Object
and
GeographicArea
例
Object
and
Device
Process
是
located
在
Object
儀器
Process
and
Object
持有期間
何時
Process
and
測量
10.0 and
儀表
是
Object
的
elevation
appearance as argument number 0
(
elevation
(
ElevationHighPointFn
SouthernOcean
)
(
MeasureFn
0.0
Meter
))
Geography.kif 4683-4685
測量
0.0 and
儀表
是
南部海洋
的
elevation
高點 的
elevation
(
elevation
(
ElevationLowPointFn
SouthernOcean
)
(
MeasureFn
-7235.0
Meter
))
Geography.kif 4687-4689
測量
-7235.0 and
儀表
是
南部海洋
的
elevation
低點 的
elevation
(
elevation
SeaLevel
(
MeasureFn
0.0
Meter
))
Geography.kif 4827-4828
測量
0.0 and
儀表
是
海平面
的
elevation
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