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
O argumento numero 1 de
earthAltitude
e' uma
instancia
de
Objeto
(
domain
earthAltitude
2
PhysicalQuantity
)
Geography.kif 2779-2779
O argumento numero 2 de
earthAltitude
e' uma
instancia
de
Quantidade Fisica
(
instance
earthAltitude
BinaryPredicate
)
Geography.kif 2777-2777
earthAltitude
e' uma
instancia
de
Predicado Binario
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
Objeto
and
Medida de Comprimento
Objeto auto-conectado
a
altitude
de
Objeto
e'
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
PlanetEarth
(=>
(
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
Objeto
e' uma
instancia
de
Basin
Objeto
e' uma
instancia
de
Area terrestre
Unidade de Medida
e' uma
instancia
de
UnitOfLength
earthAltitude
Objeto
and
Numero Real
Unidade de Medida
(s)
earthAltitude
Objeto
and
Numero Real
Unidade de Medida
(s)
Objeto
e'
Adjacent
em relacao a
Objeto
Numero Real
e'
maior
que
Numero Real
(=>
(
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
Objeto
e' uma
instancia
de
UndergroundArea
Unidade de Medida
e' uma
instancia
de
UnitOfLength
earthAltitude
Objeto
and
Numero Real
Unidade de Medida
(s)
Objeto auto-conectado
e' uma
superficie
de
PlanetEarth
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e'
Below
em relacao a
Objeto
earthAltitude
Objeto
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
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
Objeto
e' uma
instancia
de
Valley
Objeto
e' uma
instancia
de
Area terrestre
Unidade de Medida
e' uma
instancia
de
UnitOfLength
earthAltitude
Objeto
and
Numero Real
Unidade de Medida
(s)
earthAltitude
Objeto
and
Numero Real
Unidade de Medida
(s)
Objeto
e'
Adjacent
em relacao a
Objeto
Numero Real
e'
maior
que
Numero Real
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
Objeto auto-conectado
e' uma
instancia
de
SlopedArea
Objeto auto-conectado
Objeto auto-conectado
,
Numero Real
,
Numero Real
and
Unidade de Medida
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Unidade de Medida
e' uma
instancia
de
UnitOfLength
earthAltitude
Objeto auto-conectado
and
Numero Real
Unidade de Medida
(s)
earthAltitude
Objeto auto-conectado
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
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