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
absoluteHeight
Sigma KEE - absoluteHeight
absoluteHeight
appearance as argument number 1
(
documentation
absoluteHeight
EnglishLanguage
"The height of an aircraft directly above the surface or terrain over which it is flying.")
MilitaryDevices.kif 1459-1460
(
domain
absoluteHeight
1
Aircraft
)
MilitaryDevices.kif 1456-1456
Il numero 1 argomenti di
absoluteHeight
è un
istanza
di
Aircraft
(
domain
absoluteHeight
2
AltitudeMeasure
)
MilitaryDevices.kif 1457-1457
Il numero 2 argomenti di
absoluteHeight
è un
istanza
di
AltitudeMeasure
(
instance
absoluteHeight
BinaryPredicate
)
MilitaryDevices.kif 1455-1455
absoluteHeight
è un'
istanza
di
PredicatoBinario
(
instance
absoluteHeight
SingleValuedRelation
)
MilitaryDevices.kif 1453-1453
absoluteHeight
è un'
istanza
di
RelazioneMonovalente
(
instance
absoluteHeight
SpatialRelation
)
MilitaryDevices.kif 1454-1454
absoluteHeight
è un'
istanza
di
RelazioneSpaziale
appearance as argument number 2
(
format
ChineseLanguage
absoluteHeight
"%2 %n 是 absolute %1 的高度")
domainEnglishFormat.kif 32-32
(
format
ChineseTraditionalLanguage
absoluteHeight
"%2 %n 是 absolute %1 的高度")
domainEnglishFormat.kif 31-31
(
format
EnglishLanguage
absoluteHeight
"%1 is %n at an absolute height of %2.")
MilitaryDevices.kif 2037-2037
(
format
EnglishLanguage
absoluteHeight
"%2 is %n the absolute height of %1")
domainEnglishFormat.kif 30-30
(
termFormat
ChineseLanguage
absoluteHeight
"绝对高度")
domainEnglishFormat.kif 5142-5142
(
termFormat
ChineseTraditionalLanguage
absoluteHeight
"絕對高度")
domainEnglishFormat.kif 5141-5141
(
termFormat
EnglishLanguage
absoluteHeight
"absolute height")
domainEnglishFormat.kif 5140-5140
consequent
(<=>
(
and
(
altitude
?AIRCRAFT ?OBJ2 ?QUANTITY)
(
surface
?OBJ2
PlanetEarth
)
(
instance
?AIRCRAFT
Aircraft
))
(
absoluteHeight
?AIRCRAFT ?QUANTITY))
MilitaryDevices.kif 1462-1467
L'
altezza
di
Aircraft
è
OggettoIntegro
OggettoIntegro
è una
superficie
di
PlanetEarth
Aircraft
è un'
istanza
di
Aircraft
absoluteHeight
Aircraft
and
AltitudeMeasure
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