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
绝对高度
的 1 数量 是
飞机
的
instance
(
domain
absoluteHeight
2
AltitudeMeasure
)
MilitaryDevices.kif 1457-1457
绝对高度
的 2 数量 是
高度测量
的
instance
(
instance
absoluteHeight
BinaryPredicate
)
MilitaryDevices.kif 1455-1455
绝对高度
是
二元谓语
的
instance
(
instance
absoluteHeight
SingleValuedRelation
)
MilitaryDevices.kif 1453-1453
绝对高度
是
单值关系
的
instance
(
instance
absoluteHeight
SpatialRelation
)
MilitaryDevices.kif 1454-1454
绝对高度
是
空间关系
的
instance
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
飞机
的
altitude
是
自身连接物体
和
那个 自身连接物体
是
行星地球
的
surface
和
那个 飞机
是
飞机
的
instance
若且唯若
高度测量
是
absolute
那个 飞机
的高度
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