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
では %n
(
domain
earthAltitude
2
PhysicalQuantity
)
Geography.kif 2779-2779
earthAltitude
の数値 2 引数は
物理量
の
instance
では %n
(
instance
earthAltitude
BinaryPredicate
)
Geography.kif 2777-2777
earthAltitude
は
2進述語
の
instance
では %n
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 65817-65817
antecedent
(<=>
(
earthAltitude
?OBJ ?ALT)
(
exists
(?SEA)
(
and
(
altitude
?OBJ ?SEA ?ALT)
(
surface
?SEA
PlanetEarth
))))
Geography.kif 2781-2786
earthAltitude
オブジェクト
and
長さ測定
自己接続オブジェクト
オブジェクト
の
altitude
は
自己接続オブジェクト
では %n
自己接続オブジェクト
は
PlanetEarth
の
surface
では %n
(=>
(
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
オブジェクト
は
Basin
の
instance
では %n
オブジェクト
は
土地面積
の
instance
では %n
測定単位
は
UnitOfLength
の
instance
では %n
earthAltitude
オブジェクト
and
実数
の
測定単位
(s)
earthAltitude
オブジェクト
and
実数
の
測定単位
(s)
オブジェクト
は
Adjacent
対
オブジェクト
では %n
実数
は
実数
より
greater
では %n
(=>
(
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
オブジェクト
は
UndergroundArea
の
instance
では %n
測定単位
は
UnitOfLength
の
instance
では %n
earthAltitude
オブジェクト
and
実数
の
測定単位
(s)
自己接続オブジェクト
は
PlanetEarth
の
surface
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
オブジェクト
は
Below
対
オブジェクト
では %n
earthAltitude
オブジェクト
and
実数
の
測定単位
(s)
実数
は
実数
より
greater
では %n
(=>
(
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
オブジェクト
は
Valley
の
instance
では %n
オブジェクト
は
土地面積
の
instance
では %n
測定単位
は
UnitOfLength
の
instance
では %n
earthAltitude
オブジェクト
and
実数
の
測定単位
(s)
earthAltitude
オブジェクト
and
実数
の
測定単位
(s)
オブジェクト
は
Adjacent
対
オブジェクト
では %n
実数
は
実数
より
greater
では %n
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
自己接続オブジェクト
は
SlopedArea
の
instance
では %n
自己接続オブジェクト
自己接続オブジェクト
,
実数
,
実数
and
測定単位
自己接続オブジェクト
の
top
は
自己接続オブジェクト
では
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
測定単位
は
UnitOfLength
の
instance
では %n
earthAltitude
自己接続オブジェクト
and
実数
の
測定単位
(s)
earthAltitude
自己接続オブジェクト
and
実数
の
測定単位
(s)
実数
は
実数
より
greater
では %n
appearance as argument number 0
(
earthAltitude
OzoneShield
(
MeasureFn
25.0
Mile
))
Geography.kif 2793-2793
earthAltitude
OzoneShield
and 25.0 の
Mile
(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