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
rangeSubclass
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
The number 1 argument of
earth altitude
is an
instance
of
object
(
domain
earthAltitude
2
PhysicalQuantity
)
Geography.kif 2779-2779
The number 2 argument of
earth altitude
is an
instance
of
physical quantity
(
instance
earthAltitude
BinaryPredicate
)
Geography.kif 2777-2777
earth altitude
is an
instance
of
binary predicate
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
An object
is
a length measure
above
the ground if and only if there exists
a self connected object
such that the
altitude
of
the object
is
the self connected object
and
the self connected object
is a
surface
of
planet earth
(=>
(
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
If
an object
is an
instance
of
basin
and
another object
is an
instance
of
land area
and
an unit of measure
is an
instance
of
unit of length
and
the object
is
a real number
the unit of measure
(s)
above
the ground and
the other object
is
another real number
the unit of measure
(s)
above
the ground and
the object
is
adjacent
to
the other object
,
then
the other real number
is
greater
than
the real number
(=>
(
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
If
an object
is an
instance
of
underground area
and
an unit of measure
is an
instance
of
unit of length
and
the object
is
a real number
the unit of measure
(s)
above
the ground and
a self connected object
is a
surface
of
planet earth
and
another object
is a
part
of
the self connected object
and
the object
is
below
to
the other object
and
the other object
is
another real number
the unit of measure
(s)
above
the ground,
then
the other real number
is
greater
than
the real number
(=>
(
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
If
an object
is an
instance
of
valley
and
another object
is an
instance
of
land area
and
an unit of measure
is an
instance
of
unit of length
and
the object
is
a real number
the unit of measure
(s)
above
the ground and
the other object
is
another real number
the unit of measure
(s)
above
the ground and
the object
is
adjacent
to
the other object
,
then
the other real number
is
greater
than
the real number
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
If
a self connected object
is an
instance
of
sloped area
,
then there exist
another self connected object
,
a third self connected object
,, ,
a real number
,, ,
another real number
and
an unit of measure
such that the
top
of
the self connected object
is
the other self connected object
and the
bottom
of
the self connected object
is
the third self connected object
and
the unit of measure
is an
instance
of
unit of length
and
the other self connected object
is
the real number
the unit of measure
(s)
above
the ground and
the third self connected object
is
the other real number
the unit of measure
(s)
above
the ground and
the real number
is
greater
than
the other real number
appearance as argument number 0
(
earthAltitude
OzoneShield
(
MeasureFn
25.0
Mile
))
Geography.kif 2793-2793
Ozone shield
is 25.0
mile
(s)
above
the ground
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