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
elevation
の数値 1 引数は
オブジェクト
の
instance
では %n
(
domain
elevation
2
LengthMeasure
)
Geography.kif 1892-1892
elevation
の数値 2 引数は
長さ測定
の
instance
では %n
(
instance
elevation
BinaryPredicate
)
Geography.kif 1890-1890
elevation
は
2進述語
の
instance
では %n
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
自己接続オブジェクト
and
実数
の
測定単位
(s)
測定単位
は
UnitOfLength
の
instance
では %n
自己接続オブジェクト
は
LandForm
の
instance
では %n
自己接続オブジェクト
自己接続オブジェクト
の
top
は
自己接続オブジェクト
では
自己接続オブジェクト
と
SeaLevel
の
distance
は
実数
の
測定単位
(s) では %n
(=>
(
and
(
elevation
?OBJECT ?HEIGHT)
(
located
?OBJECT ?PLACE)
(
instance
?PLACE
GeographicArea
))
(
superficialPart
?PLACE
PlanetEarth
))
Geography.kif 1907-1912
elevation
オブジェクト
and
長さ測定
オブジェクト
は
オブジェクト
に
located
して %n
オブジェクト
は
地理的地域
の
instance
では %n
オブジェクト
は
PlanetEarth
の
superficial
部分では %n
(=>
(
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
では %n
geographicSubregion
ElevationHighPointFn
地理的地域
and
地理的地域
elevation
ElevationHighPointFn
地理的地域
and
実数
の
測定単位
(s)
地理的地域
実数
geographicSubregion
地理的地域
and
地理的地域
地理的地域
は
ElevationHighPointFn
地理的地域
と
equal
では
elevation
地理的地域
and
実数
の
測定単位
(s)
実数
は
実数
より
greater
では %n
(=>
(
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
では %n
geographicSubregion
ElevationLowPointFn
地理的地域
and
地理的地域
測定単位
は
UnitOfLength
の
instance
では %n
elevation
ElevationLowPointFn
地理的地域
and
実数
の
測定単位
(s)
地理的地域
実数
geographicSubregion
地理的地域
and
地理的地域
地理的地域
は
ElevationLowPointFn
地理的地域
と
equal
では
elevation
地理的地域
and
実数
の
測定単位
(s)
実数
は
実数
より
less
では %n
(=>
(
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
工程
は
LandSubsidence
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
土地面積
の
instance
では %n
測定単位
は
UnitOfLength
の
instance
では %n
elevation
オブジェクト
and
実数
の
測定単位
(s)
エンティティー
elevation
オブジェクト
and
エンティティー
の
測定単位
(s)
エンティティー
は
実数
より
less
では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
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
オブジェクト
は
WindFlow
の
instance
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
は
partly
に
オブジェクト
に 位置して %n
elevation
オブジェクト
and
実数
の
FootLength
(s)
実数
は 500.0 より
less
または同等 では %n
オブジェクト
の
measure
は
時間分
per
長さ測定
では %n
surfaceWindSpeed
オブジェクト
and
時間分
per
長さ測定
(=>
(
elevation
?OBJECT ?HEIGHT)
(
exists
(?DATUM)
(
and
(
properPart
?DATUM
SeaLevel
)
(
orientation
?OBJECT ?DATUM
Vertical
)
(
distance
?OBJECT ?DATUM ?HEIGHT))))
Geography.kif 1914-1920
elevation
オブジェクト
and
長さ測定
オブジェクト
オブジェクト
は
SeaLevel
の
proper
part
では %n
オブジェクト
は
Vertical
対
オブジェクト
では %n
オブジェクト
と
オブジェクト
の
distance
は
長さ測定
では %n
(=>
(
elevation
?OBJECT ?HEIGHT)
(
exists
(?PLACE)
(
and
(
instance
?PLACE
GeographicArea
)
(
located
?OBJECT ?PLACE))))
Geography.kif 1901-1906
elevation
オブジェクト
and
長さ測定
オブジェクト
オブジェクト
は
地理的地域
の
instance
では %n
オブジェクト
は
オブジェクト
に
located
して %n
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
では %n
geographicSubregion
ElevationHighPointFn
地理的地域
and
地理的地域
elevation
ElevationHighPointFn
地理的地域
and
実数
の
測定単位
(s)
地理的地域
実数
geographicSubregion
地理的地域
and
地理的地域
地理的地域
は
ElevationHighPointFn
地理的地域
と
equal
では
elevation
地理的地域
and
実数
の
測定単位
(s)
実数
は
実数
より
greater
では %n
(=>
(
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
では %n
geographicSubregion
ElevationLowPointFn
地理的地域
and
地理的地域
測定単位
は
UnitOfLength
の
instance
では %n
elevation
ElevationLowPointFn
地理的地域
and
実数
の
測定単位
(s)
地理的地域
実数
geographicSubregion
地理的地域
and
地理的地域
地理的地域
は
ElevationLowPointFn
地理的地域
と
equal
では
elevation
地理的地域
and
実数
の
測定単位
(s)
実数
は
実数
より
less
では %n
(=>
(
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
では %n
自己接続オブジェクト
は
工程
の
patient
では %n
自己接続オブジェクト
は
PlanetEarth
の
surface
では %n
長さ測定
は
工程
の
result
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
BarometricAltimeter
の
instance
では %n
elevation
自己接続オブジェクト
and
長さ測定
(=>
(
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
工程
は
LandSubsidence
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
土地面積
の
instance
では %n
測定単位
は
UnitOfLength
の
instance
では %n
elevation
オブジェクト
and
実数
の
測定単位
(s)
エンティティー
elevation
オブジェクト
and
エンティティー
の
測定単位
(s)
エンティティー
は
実数
より
less
では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?ocean
Ocean
)
(
surface
?top ?ocean))
(
elevation
?top
(
MeasureFn
0.0
FootLength
)))
Geography.kif 4837-4842
自己接続オブジェクト
は
Ocean
の
instance
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
elevation
自己接続オブジェクト
and 0.0 の
FootLength
(s)
(=>
(
and
(
instance
?ocean
Ocean
)
(
surface
?top ?ocean))
(
elevation
?top
(
MeasureFn
0.0
Meter
)))
Geography.kif 4830-4835
自己接続オブジェクト
は
Ocean
の
instance
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
elevation
自己接続オブジェクト
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
工程
は
SurfaceWindSpeedMeasuring
の
instance
では %n
オブジェクト
オブジェクト
オブジェクト
は
地理的地域
の
instance
では %n
オブジェクト
は
デバイス
の
instance
では %n
eventLocated
工程
and
オブジェクト
オブジェクト
は
工程
の
instrument
では %n
elevation
オブジェクト
and 10.0 の
Meter
(s) は
工程
の
time
の existence の
during
holds %n{ない}
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