Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
BeaufortNumber0
BeaufortNumber1
BeaufortNumber10
BeaufortNumber11
BeaufortNumber12
BeaufortNumber2
BeaufortNumber3
BeaufortNumber4
BeaufortNumber5
BeaufortNumber6
BeaufortNumber7
BeaufortNumber8
BeaufortNumber9
BeaufortNumberAttribute
ChineseLanguage
ChineseLanguge
ChineseTraditionalLanguage
ChinesehLanguage
Chineselanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SpeedScaleAttribute
SwedishLanguage
speedScaleAttributeMinMax
windDrivenMotion
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
(
domain
absoluteHeight
2
AltitudeMeasure
)
MilitaryDevices.kif 1457-1457
(
instance
absoluteHeight
BinaryPredicate
)
MilitaryDevices.kif 1455-1455
(
instance
absoluteHeight
SingleValuedRelation
)
MilitaryDevices.kif 1453-1453
(
instance
absoluteHeight
SpatialRelation
)
MilitaryDevices.kif 1454-1454
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 5151-5151
(
termFormat
ChineseTraditionalLanguage
absoluteHeight
"絕對高度")
domainEnglishFormat.kif 5150-5150
(
termFormat
EnglishLanguage
absoluteHeight
"absolute height")
domainEnglishFormat.kif 5149-5149
consequent
(<=>
(
and
(
altitude
?AIRCRAFT ?OBJ2 ?QUANTITY)
(
surface
?OBJ2
PlanetEarth
)
(
instance
?AIRCRAFT
Aircraft
))
(
absoluteHeight
?AIRCRAFT ?QUANTITY))
MilitaryDevices.kif 1462-1467
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