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 数量 是
客体
的
instance
(
domain
elevation
2
LengthMeasure
)
Geography.kif 1892-1892
海拔
的 2 数量 是
长度测量
的
instance
(
instance
elevation
BinaryPredicate
)
Geography.kif 1890-1890
海拔
是
二元谓语
的
instance
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
和
那个 测量单位
是
UnitOfLength
的
instance
和
那个 自身连接物体
是
土地形式
的
instance
,
然后 有存在
另一个 自身连接物体
这样
那个 另外 自身连接物体
是
那个 自身连接物体
的
top
和
那个 另外 自身连接物体
和
海平面
的
distance
是
那个 实数
那个 测量单位
(=>
(
and
(
elevation
?OBJECT ?HEIGHT)
(
located
?OBJECT ?PLACE)
(
instance
?PLACE
GeographicArea
))
(
superficialPart
?PLACE
PlanetEarth
))
Geography.kif 1907-1912
如果
长度测量
是
客体
的
elevation
和
那个 客体
是
located
在
另一个 客体
和
那个 另外 客体
是
地理区域
的
instance
,
然后
那个 另外 客体
是
行星地球
的
superficialPart
(=>
(
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
如果
地理区域
是
地理区域
的
instance
和
那个 地理区域
的
elevation
高点 是
那个 地理区域
的
geographic
次要地区 和
实数
测量单位
是
那个 地理区域
的
elevation
高点 的
elevation
,
然后 不存在
另一个 地理区域
和
另一个 实数
这样
那个 另外 地理区域
是
那个 地理区域
的
geographic
次要地区 和
那个 另外 地理区域
不
equal
那个 地理区域
的
elevation
高点 和
那个 另外 实数
那个 测量单位
是
那个 另外 地理区域
的
elevation
和
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
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
如果
地理区域
是
地理区域
的
instance
和
那个 地理区域
的
elevation
低点 是
那个 地理区域
的
geographic
次要地区 和
测量单位
是
UnitOfLength
的
instance
和
实数
那个 测量单位
是
那个 地理区域
的
elevation
低点 的
elevation
,
然后 不存在
另一个 地理区域
和
另一个 实数
这样
那个 另外 地理区域
是
那个 地理区域
的
geographic
次要地区 和
那个 另外 地理区域
不
equal
那个 地理区域
的
elevation
低点 和
那个 另外 实数
那个 测量单位
是
那个 另外 地理区域
的
elevation
和
那个 另外 实数
是
lessThan
那个 实数
(=>
(
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
如果
过程
是
地面沉降
的
instance
和
客体
是
那个 过程
的
patient
和
那个 客体
是
土地面积
的
instance
和
测量单位
是
UnitOfLength
的
instance
和
实数
那个 测量单位
是
那个 客体
的
elevation
,
然后 有存在
实体
这样
那个 实体
那个 测量单位
是
那个 客体
的
elevation
和
那个 实体
是
lessThan
那个 实数
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
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
如果
客体
是
大气气流
的
instance
和
另一个 客体
是
客体
的
instance
和
那个 客体
是
partlyLocated
在
那个 另外 客体
和
实数
脚长
是
那个 客体
的
elevation
和
那个 实数
是
lessThanOrEqualTo
500.0 和
那个 客体
的
measure
是
长度测量
除以
持续时间
,
然后
那个 长度测量
除以
那个 持续时间
是
那个 另外 客体
的
surface
风速
(=>
(
elevation
?OBJECT ?HEIGHT)
(
exists
(?DATUM)
(
and
(
properPart
?DATUM
SeaLevel
)
(
orientation
?OBJECT ?DATUM
Vertical
)
(
distance
?OBJECT ?DATUM ?HEIGHT))))
Geography.kif 1914-1920
如果
长度测量
是
客体
的
elevation
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
海平面
的
properPart
和
那个 客体
在
那个 另外 客体
的
垂直
和
那个 客体
和
那个 另外 客体
的
distance
是
那个 长度测量
(=>
(
elevation
?OBJECT ?HEIGHT)
(
exists
(?PLACE)
(
and
(
instance
?PLACE
GeographicArea
)
(
located
?OBJECT ?PLACE))))
Geography.kif 1901-1906
如果
长度测量
是
客体
的
elevation
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
地理区域
的
instance
和
那个 客体
是
located
在
那个 另外 客体
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
如果
地理区域
是
地理区域
的
instance
和
那个 地理区域
的
elevation
高点 是
那个 地理区域
的
geographic
次要地区 和
实数
测量单位
是
那个 地理区域
的
elevation
高点 的
elevation
,
然后 不存在
另一个 地理区域
和
另一个 实数
这样
那个 另外 地理区域
是
那个 地理区域
的
geographic
次要地区 和
那个 另外 地理区域
不
equal
那个 地理区域
的
elevation
高点 和
那个 另外 实数
那个 测量单位
是
那个 另外 地理区域
的
elevation
和
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
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
如果
地理区域
是
地理区域
的
instance
和
那个 地理区域
的
elevation
低点 是
那个 地理区域
的
geographic
次要地区 和
测量单位
是
UnitOfLength
的
instance
和
实数
那个 测量单位
是
那个 地理区域
的
elevation
低点 的
elevation
,
然后 不存在
另一个 地理区域
和
另一个 实数
这样
那个 另外 地理区域
是
那个 地理区域
的
geographic
次要地区 和
那个 另外 地理区域
不
equal
那个 地理区域
的
elevation
低点 和
那个 另外 实数
那个 测量单位
是
那个 另外 地理区域
的
elevation
和
那个 另外 实数
是
lessThan
那个 实数
(=>
(
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
如果
过程
是
测量
的
instance
和
自身连接物体
是
那个 过程
的
patient
和
那个 自身连接物体
是
行星地球
的
surface
和
长度测量
是
那个 过程
的
result
和
客体
是导致
那个 过程
的
instrument
和
那个 客体
是
气压高度计
的
instance
,
然后
那个 长度测量
是
那个 自身连接物体
的
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
如果
过程
是
地面沉降
的
instance
和
客体
是
那个 过程
的
patient
和
那个 客体
是
土地面积
的
instance
和
测量单位
是
UnitOfLength
的
instance
和
实数
那个 测量单位
是
那个 客体
的
elevation
,
然后 有存在
实体
这样
那个 实体
那个 测量单位
是
那个 客体
的
elevation
和
那个 实体
是
lessThan
那个 实数
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?ocean
Ocean
)
(
surface
?top ?ocean))
(
elevation
?top
(
MeasureFn
0.0
FootLength
)))
Geography.kif 4837-4842
如果
自身连接物体
是
海洋
的
instance
和
另一个 自身连接物体
是
那个 自身连接物体
的
surface
,
然后 0.0
脚长
是
那个 另外 自身连接物体
的
elevation
(=>
(
and
(
instance
?ocean
Ocean
)
(
surface
?top ?ocean))
(
elevation
?top
(
MeasureFn
0.0
Meter
)))
Geography.kif 4830-4835
如果
自身连接物体
是
海洋
的
instance
和
另一个 自身连接物体
是
那个 自身连接物体
的
surface
,
然后 0.0
仪表
是
那个 另外 自身连接物体
的
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 1732-1742
如果
过程
是
地面风速量度
的
instance
,
然后 有存在
客体
和
另一个 客体
这样
那个 客体
是
地理区域
的
instance
和
那个 另外 客体
是
设备
的
instance
和
那个 过程
是
located
在
那个 客体
和
那个 另外 客体
是导致
那个 过程
的
instrument
和 10.0
仪表
是
那个 另外 客体
的
elevation
在
那个 过程
出现 的
time
holdsDuring
appearance as argument number 0
(
elevation
(
ElevationHighPointFn
SouthernOcean
)
(
MeasureFn
0.0
Meter
))
Geography.kif 4683-4685
0.0
仪表
是
南部海洋
的
elevation
高点 的
elevation
(
elevation
(
ElevationLowPointFn
SouthernOcean
)
(
MeasureFn
-7235.0
Meter
))
Geography.kif 4687-4689
-7235.0
仪表
是
南部海洋
的
elevation
低点 的
elevation
(
elevation
SeaLevel
(
MeasureFn
0.0
Meter
))
Geography.kif 4827-4828
0.0
仪表
是
海平面
的
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