Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - lowAltitudeWindVelocity
lowAltitudeWindVelocity

appearance as argument number 1
-------------------------


(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
(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
(instance lowAltitudeWindVelocity TernaryPredicate) Weather.kif 189-189 low altitude wind velocity is an instance of ternary predicate

appearance as argument number 2
-------------------------


(format ChineseLanguage lowAltitudeWindVelocity "%2 %n 是 %1 的 low 海拔风速率") domainEnglishFormat.kif 1575-1575
(format ChineseTraditionalLanguage lowAltitudeWindVelocity "%2 %n 是 %1 的 low 海拔風速率") domainEnglishFormat.kif 1574-1574
(format EnglishLanguage lowAltitudeWindVelocity "%2 is %n a low altitude wind velocity of %1") domainEnglishFormat.kif 1573-1573
(termFormat ChineseLanguage lowAltitudeWindVelocity "低空风速") domainEnglishFormat.kif 35145-35145
(termFormat ChineseTraditionalLanguage lowAltitudeWindVelocity "低空風速") domainEnglishFormat.kif 35144-35144
(termFormat EnglishLanguage lowAltitudeWindVelocity "low altitude wind velocity") domainEnglishFormat.kif 35143-35143

antecedent
-------------------------


(=>
    (lowAltitudeWindVelocity ?PLACE ?SPEED ?DIRECTION)
    (lowAltitudeWindSpeed ?PLACE ?SPEED))
Weather.kif 211-213


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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