Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
| 
LogLearn
|
Editor
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishGroupLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
expectedYearOfGraduation
measuringListInterval
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
lowAltitudeWindVelocity
Sigma KEE - lowAltitudeWindVelocity
lowAltitudeWindVelocity
appearance as argument number 1
(
instance
lowAltitudeWindVelocity
TernaryPredicate
)
Weather.kif 189-189
low altitude wind velocity
is an
instance
of
ternary predicate
(
domain
lowAltitudeWindVelocity
1
Object
)
Weather.kif 190-190
The number 1 argument of
low altitude wind velocity
is an
instance
of
object
(
domain
lowAltitudeWindVelocity
2
PhysicalQuantity
)
Weather.kif 191-191
The number 2 argument of
low altitude wind velocity
is an
instance
of
physical quantity
(
domain
lowAltitudeWindVelocity
3
DirectionalAttribute
)
Weather.kif 192-192
The number 3 argument of
low altitude wind velocity
is an
instance
of
directional attribute
(
documentation
lowAltitudeWindVelocity
EnglishLanguage
"(
lowAltitudeWindVelocity
?PLACE ?SPEED ?DIRECTION) means that the low_altitude
Wind
blowing at ?PLACE has a speed of ?SPEED and comes from the compass point ?DIRECTION. Low_altitude wind is wind blowing between 500-10,000 feet.")
Weather.kif 194-198
The number 3 argument of
low altitude wind velocity
is an
instance
of
directional attribute
appearance as argument number 2
(
format
EnglishLanguage
lowAltitudeWindVelocity
"%2 is %n a low altitude wind velocity of %1 from %3")
domainEnglishFormat.kif 1573-1573
(
format
ChineseTraditionalLanguage
lowAltitudeWindVelocity
"%2 %n 是 %1 的 low 海拔風速率")
domainEnglishFormat.kif 1574-1574
(
format
ChineseLanguage
lowAltitudeWindVelocity
"%2 %n 是 %1 的 low 海拔风速率")
domainEnglishFormat.kif 1575-1575
(
termFormat
EnglishLanguage
lowAltitudeWindVelocity
"low altitude wind velocity")
domainEnglishFormat.kif 35113-35113
(
termFormat
ChineseTraditionalLanguage
lowAltitudeWindVelocity
"低空風速")
domainEnglishFormat.kif 35114-35114
(
termFormat
ChineseLanguage
lowAltitudeWindVelocity
"低空风速")
domainEnglishFormat.kif 35115-35115
antecedent
(=>
(
lowAltitudeWindVelocity
?PLACE ?SPEED ?DIRECTION)
(
lowAltitudeWindSpeed
?PLACE ?SPEED))
Weather.kif 211-213
If
X
is a
low
altitude wind velocity of
Y
from
Z
, then
X
is a
low
altitude wind speed of
Y
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.0-
0a80e6c8
(2026-05-12) is
open source software
produced by
Articulate Software
and its partners