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

Formal Language: 



KB Term:  Term intersection
English Word: 

  lowAltitudeWindSpeed

Sigma KEE - lowAltitudeWindSpeed
lowAltitudeWindSpeed

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


s__documentation(s__lowAltitudeWindSpeed__m,s__EnglishLanguage,'"(lowAltitudeWindSpeed ?PLACE ?RATE) means that the Wind blowing between 500-10,000 feet at ?PLACE has a speed of ?RATE. Wind speed may be expressed in knots (KnotUnitOfSpeed) or as any distance per time unit (using (SpeedFn ?DISTANCE ?TIME))."')

Weather.kif 217-221
s__domain(s__lowAltitudeWindSpeed__m,n__1,s__Object)

Weather.kif 214-214 The number 1 argument of low altitude wind speed is an instance of object
s__domain(s__lowAltitudeWindSpeed__m,n__2,s__PhysicalQuantity)

Weather.kif 215-215 The number 2 argument of low altitude wind speed is an instance of physical quantity
s__instance(s__lowAltitudeWindSpeed__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Weather.kif 213-213 low altitude wind speed is an instance of asymmetric relation
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__lowAltitudeWindSpeed__m,s__BinaryPredicate)

Weather.kif 212-212 low altitude wind speed is an instance of binary predicate

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


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

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

domainEnglishFormat.kif 1570-1570
s__format(s__EnglishLanguage,s__lowAltitudeWindSpeed__m,'"%2 is %n a low altitude wind speed of %1"')

domainEnglishFormat.kif 1569-1569
s__termFormat(s__ChineseLanguage,s__lowAltitudeWindSpeed__m,'"低空风速"')

domainEnglishFormat.kif 35088-35088
s__termFormat(s__ChineseTraditionalLanguage,s__lowAltitudeWindSpeed__m,'"低空風速"')

domainEnglishFormat.kif 35087-35087
s__termFormat(s__EnglishLanguage,s__lowAltitudeWindSpeed__m,'"low altitude wind speed"')

domainEnglishFormat.kif 35086-35086

consequent
-------------------------


( ! [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