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
Die Zahl 1 Argument von
earthAltitude
ist ein
fall
von
Object
%n{nicht}
(
domain
earthAltitude
2
PhysicalQuantity
)
Geography.kif 2779-2779
Die Zahl 2 Argument von
earthAltitude
ist ein
fall
von
PhysicalQuantity
%n{nicht}
(
instance
earthAltitude
BinaryPredicate
)
Geography.kif 2777-2777
earthAltitude
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Object
and
LengthMeasure
genau dann wenn es gibt
SelfConnectedObject
um das
altitude
von
** Object
ist
** SelfConnectedObject
%n{nicht} und
** SelfConnectedObject
ist eine
flaeche
von
PlanetEarth
%n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
Basin
%n{nicht} und
** Object
ist ein
fall
von
LandArea
%n{nicht} und
UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
earthAltitude
** Object
and
RealNumber
** UnitOfMeasure
(s) und
earthAltitude
** ** Object
and
** RealNumber
** UnitOfMeasure
(s) und
** Object
ist
Adjacent
hinsichlich
** ** Object
%n{nicht},
dann
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
UndergroundArea
%n{nicht} und
UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
earthAltitude
** Object
and
RealNumber
** UnitOfMeasure
(s) und
SelfConnectedObject
ist eine
flaeche
von
PlanetEarth
%n{nicht} und
** Object
ist ein
teil
von
** SelfConnectedObject
%n{nicht} und
** Object
ist
Below
hinsichlich
** ** Object
%n{nicht} und
earthAltitude
** ** Object
and
** RealNumber
** UnitOfMeasure
(s),
dann
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
Valley
%n{nicht} und
** Object
ist ein
fall
von
LandArea
%n{nicht} und
UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
earthAltitude
** Object
and
RealNumber
** UnitOfMeasure
(s) und
earthAltitude
** ** Object
and
** RealNumber
** UnitOfMeasure
(s) und
** Object
ist
Adjacent
hinsichlich
** ** Object
%n{nicht},
dann
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
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
Wenn
SelfConnectedObject
ist ein
fall
von
SlopedArea
%n{nicht},
dann es gibt
** SelfConnectedObject
,
** SelfConnectedObject
,, ,
RealNumber
,, ,
** RealNumber
, and und
UnitOfMeasure
um die
oberseite
von
** SelfConnectedObject
ist
** ** SelfConnectedObject
und die
unterseite
von
** SelfConnectedObject
ist
** ** SelfConnectedObject
und
** UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
earthAltitude
** ** SelfConnectedObject
and
** RealNumber
** UnitOfMeasure
(s) und
earthAltitude
** ** SelfConnectedObject
and
** ** RealNumber
** UnitOfMeasure
(s) und
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
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