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
-------------------------


(documentation lowAltitudeWindSpeed 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
(domain lowAltitudeWindSpeed 1 Object) Weather.kif 214-214 The number 1 argument of low altitude wind speed is an instance of object
(domain lowAltitudeWindSpeed 2 PhysicalQuantity) Weather.kif 215-215 The number 2 argument of low altitude wind speed is an instance of physical quantity
(instance lowAltitudeWindSpeed AsymmetricRelation) Weather.kif 213-213 low altitude wind speed is an instance of asymmetric relation
(instance lowAltitudeWindSpeed BinaryPredicate) Weather.kif 212-212 low altitude wind speed is an instance of binary predicate

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


(format ChineseLanguage lowAltitudeWindSpeed "%2 %n 是 %1 的 low 海拔风速") domainEnglishFormat.kif 1571-1571
(format ChineseTraditionalLanguage lowAltitudeWindSpeed "%2 %n 是 %1 的 low 海拔風速") domainEnglishFormat.kif 1570-1570
(format EnglishLanguage lowAltitudeWindSpeed "%2 is %n a low altitude wind speed of %1") domainEnglishFormat.kif 1569-1569
(termFormat ChineseLanguage lowAltitudeWindSpeed "低空风速") domainEnglishFormat.kif 35105-35105
(termFormat ChineseTraditionalLanguage lowAltitudeWindSpeed "低空風速") domainEnglishFormat.kif 35104-35104
(termFormat EnglishLanguage lowAltitudeWindSpeed "low altitude wind speed") domainEnglishFormat.kif 35103-35103

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


(=>
    (lowAltitudeWindVelocity ?PLACE ?SPEED ?DIRECTION)
    (lowAltitudeWindSpeed ?PLACE ?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