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

Formal Language: 



KB Term:  Term intersection
English Word: 

  lowAltitudeWindVelocity

Sigma KEE - lowAltitudeWindVelocity
lowAltitudeWindVelocity

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


s__documentation(s__lowAltitudeWindVelocity__m,s__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 206-210
s__domain(s__lowAltitudeWindVelocity__m,n__1,s__Object)

Weather.kif 202-202 The number 1 argument of low altitude wind velocity is an instance of object
s__domain(s__lowAltitudeWindVelocity__m,n__2,s__PhysicalQuantity)

Weather.kif 203-203 The number 2 argument of low altitude wind velocity is an instance of physical quantity
s__domain(s__lowAltitudeWindVelocity__m,n__3,s__DirectionalAttribute)

Weather.kif 204-204 The number 3 argument of low altitude wind velocity is an instance of directional attribute
s__instance(s__TernaryPredicate,s__SetOrClass)

s__instance(s__lowAltitudeWindVelocity__m,s__TernaryPredicate)

Weather.kif 201-201 low altitude wind velocity is an instance of ternary predicate

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


s__format(s__ChineseLanguage,s__lowAltitudeWindVelocity__m,'"%2 %n 是 %1 的 low 海拔风速率"')

domainEnglishFormat.kif 1575-1575
s__format(s__ChineseTraditionalLanguage,s__lowAltitudeWindVelocity__m,'"%2 %n 是 %1 的 low 海拔風速率"')

domainEnglishFormat.kif 1574-1574
s__format(s__EnglishLanguage,s__lowAltitudeWindVelocity__m,'"%2 is %n a low altitude wind velocity of %1"')

domainEnglishFormat.kif 1573-1573
s__termFormat(s__ChineseLanguage,s__lowAltitudeWindVelocity__m,'"低空风速"')

domainEnglishFormat.kif 35094-35094
s__termFormat(s__ChineseTraditionalLanguage,s__lowAltitudeWindVelocity__m,'"低空風速"')

domainEnglishFormat.kif 35093-35093
s__termFormat(s__EnglishLanguage,s__lowAltitudeWindVelocity__m,'"low altitude wind velocity"')

domainEnglishFormat.kif 35092-35092

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


( ! [V__SPEED,V__PLACE,V__DIRECTION] :
   (((s__instance(V__SPEED,s__PhysicalQuantity) &
         s__instance(V__PLACE,s__Object) &
         s__instance(V__DIRECTION,s__DirectionalAttribute))
       =>
       ((s__lowAltitudeWindVelocity(V__PLACE,V__SPEED,V__DIRECTION)
         =>
         (s__lowAltitudeWindSpeed(V__PLACE,V__SPEED)))))
)
)

Weather.kif 223-225


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