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
Il numero 1 argomenti di
earthAltitude
è un
istanza
di
Oggetto
(
domain
earthAltitude
2
PhysicalQuantity
)
Geography.kif 2779-2779
Il numero 2 argomenti di
earthAltitude
è un
istanza
di
Quantit�Fisica
(
instance
earthAltitude
BinaryPredicate
)
Geography.kif 2777-2777
earthAltitude
è un'
istanza
di
PredicatoBinario
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
Oggetto
and
MisuraDiLunghezza
OggettoIntegro
l'
altezza
di
Oggetto
è
OggettoIntegro
OggettoIntegro
è una
superficie
di
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
Oggetto
è un'
istanza
di
Basin
Oggetto
è un'
istanza
di
SuperficieTerrestre
Unit�DiMisura
è un'
istanza
di
UnitOfLength
earthAltitude
Oggetto
and
NumeroReale
Unit�DiMisura
(s
earthAltitude
Oggetto
and
NumeroReale
Unit�DiMisura
(s
Oggetto
è
Adjacent
a
Oggetto
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
Oggetto
è un'
istanza
di
UndergroundArea
Unit�DiMisura
è un'
istanza
di
UnitOfLength
earthAltitude
Oggetto
and
NumeroReale
Unit�DiMisura
(s
OggettoIntegro
è una
superficie
di
PlanetEarth
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
è
Below
a
Oggetto
earthAltitude
Oggetto
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
Oggetto
è un'
istanza
di
Valley
Oggetto
è un'
istanza
di
SuperficieTerrestre
Unit�DiMisura
è un'
istanza
di
UnitOfLength
earthAltitude
Oggetto
and
NumeroReale
Unit�DiMisura
(s
earthAltitude
Oggetto
and
NumeroReale
Unit�DiMisura
(s
Oggetto
è
Adjacent
a
Oggetto
NumeroReale
è
pi
ù grande di
NumeroReale
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
OggettoIntegro
è un'
istanza
di
SlopedArea
OggettoIntegro
OggettoIntegro
,
NumeroReale
,
NumeroReale
and
Unit�DiMisura
il
vertice
OggettoIntegro
è
OggettoIntegro
il
fondo
di
OggettoIntegro
è
OggettoIntegro
Unit�DiMisura
è un'
istanza
di
UnitOfLength
earthAltitude
OggettoIntegro
and
NumeroReale
Unit�DiMisura
(s
earthAltitude
OggettoIntegro
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
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