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
earthAltitude
Sigma KEE - earthAltitude
earthAltitude
appearance as argument number 1
(
documentation
earthAltitude
EnglishLanguage
"The altitude of an object above the sea level of
PlanetEarth
")
Geography.kif 2775-2776
(
domain
earthAltitude
1
Object
)
Geography.kif 2778-2778
earthAltitude
的 1 数量 是
客体
的
instance
(
domain
earthAltitude
2
PhysicalQuantity
)
Geography.kif 2779-2779
earthAltitude
的 2 数量 是
物理量
的
instance
(
instance
earthAltitude
BinaryPredicate
)
Geography.kif 2777-2777
earthAltitude
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
earthAltitude
"%1 是 %2 above 地表")
domainEnglishFormat.kif 3290-3290
(
format
ChineseTraditionalLanguage
earthAltitude
"%1 是 %2 above 地表")
domainEnglishFormat.kif 3289-3289
(
format
EnglishLanguage
earthAltitude
"%1 is %2 above the ground")
domainEnglishFormat.kif 3288-3288
(
termFormat
EnglishLanguage
earthAltitude
"earth altitude")
domainEnglishFormat.kif 65819-65819
antecedent
(<=>
(
earthAltitude
?OBJ ?ALT)
(
exists
(?SEA)
(
and
(
altitude
?OBJ ?SEA ?ALT)
(
surface
?SEA
PlanetEarth
))))
Geography.kif 2781-2786
客体
是
长度测量
above
地表 若且唯若 有存在
自身连接物体
这样
那个 客体
的
altitude
是
那个 自身连接物体
和
那个 自身连接物体
是
行星地球
的
surface
(=>
(
and
(
instance
?basin
Basin
)
(
instance
?area
LandArea
)
(
instance
?U
UnitOfLength
)
(
earthAltitude
?basin
(
MeasureFn
?height1 ?U))
(
earthAltitude
?area
(
MeasureFn
?height2 ?U))
(
orientation
?basin ?area
Adjacent
))
(
greaterThan
?height2 ?height1))
Geography.kif 4247-4257
如果
客体
是
盆地
的
instance
和
另一个 客体
是
土地面积
的
instance
和
测量单位
是
UnitOfLength
的
instance
和
那个 客体
是
实数
那个 测量单位
above
地表 和
那个 另外 客体
是
另一个 实数
那个 测量单位
above
地表 和
那个 客体
在
那个 另外 客体
的
邻
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?place
UndergroundArea
)
(
instance
?U
UnitOfLength
)
(
earthAltitude
?place
(
MeasureFn
?alt1 ?U))
(
surface
?ground
PlanetEarth
)
(
part
?area ?ground)
(
orientation
?place ?area
Below
)
(
earthAltitude
?area
(
MeasureFn
?alt2 ?U)))
(
greaterThan
?alt2 ?alt1))
Geography.kif 3999-4010
如果
客体
是
地下区域
的
instance
和
测量单位
是
UnitOfLength
的
instance
和
那个 客体
是
实数
那个 测量单位
above
地表 和
自身连接物体
是
行星地球
的
surface
和
另一个 客体
是
那个 自身连接物体
的
part
和
那个 客体
在
那个 另外 客体
的
下面
和
那个 另外 客体
是
另一个 实数
那个 测量单位
above
地表,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?valley
Valley
)
(
instance
?area
LandArea
)
(
instance
?U
UnitOfLength
)
(
earthAltitude
?valley
(
MeasureFn
?height1 ?U))
(
earthAltitude
?area
(
MeasureFn
?height2 ?U))
(
orientation
?valley ?area
Adjacent
))
(
greaterThan
?height2 ?height1))
Geography.kif 4231-4241
如果
客体
是
谷
的
instance
和
另一个 客体
是
土地面积
的
instance
和
测量单位
是
UnitOfLength
的
instance
和
那个 客体
是
实数
那个 测量单位
above
地表 和
那个 另外 客体
是
另一个 实数
那个 测量单位
above
地表 和
那个 客体
在
那个 另外 客体
的
邻
,
然后
那个 另外 实数
是
greaterThan
那个 实数
consequent
(=>
(
instance
?incline
SlopedArea
)
(
exists
(?top ?bottom ?height1 ?height2 ?U)
(
and
(
top
?top ?incline)
(
bottom
?bottom ?incline)
(
instance
?U
UnitOfLength
)
(
earthAltitude
?top
(
MeasureFn
?height1 ?U))
(
earthAltitude
?bottom
(
MeasureFn
?height2 ?U))
(
greaterThan
?height1 ?height2))))
Geography.kif 4107-4118
如果
自身连接物体
是
倾斜的区域
的
instance
,
然后 有存在
另一个 自身连接物体
,
第三 自身连接物体
,, ,
实数
,, ,
另一个 实数
, and 和
测量单位
这样
那个 另外 自身连接物体
是
那个 自身连接物体
的
top
和
那个 自身连接物体
的
bottom
是
那个 第三 自身连接物体
和
那个 测量单位
是
UnitOfLength
的
instance
和
那个 另外 自身连接物体
是
那个 实数
那个 测量单位
above
地表 和
那个 第三 自身连接物体
是
那个 另外 实数
那个 测量单位
above
地表 和
那个 实数
是
greaterThan
那个 另外 实数
appearance as argument number 0
(
earthAltitude
OzoneShield
(
MeasureFn
25.0
Mile
))
Geography.kif 2793-2793
臭氧盾
是 25.0
英里
above
地表
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