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
The number 1 argument of
absolute height
is an
instance
of
aircraft
(
domain
absoluteHeight
2
AltitudeMeasure
)
MilitaryDevices.kif 1457-1457
The number 2 argument of
absolute height
is an
instance
of
altitude measure
(
instance
absoluteHeight
BinaryPredicate
)
MilitaryDevices.kif 1455-1455
absolute height
is an
instance
of
binary predicate
(
instance
absoluteHeight
SingleValuedRelation
)
MilitaryDevices.kif 1453-1453
absolute height
is an
instance
of
single valued relation
(
instance
absoluteHeight
SpatialRelation
)
MilitaryDevices.kif 1454-1454
absolute height
is an
instance
of
spatial relation
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
The
altitude
of
an aircraft
is
a self connected object
and
the self connected object
is a
surface
of
planet earth
and
the aircraft
is an
instance
of
aircraft
if and only if
an altitude measure
is the
absolute
height of
the aircraft
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