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


KB Term:  Term intersection
English Word: 

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 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners