highAltitudeWindSpeed - Sigma Knowledge base Browser

appearance as argument number 1

(instance highAltitudeWindSpeed BinaryPredicate)	Weather.kif 248-248	high altitude wind speed is an instance of binary predicate
(instance highAltitudeWindSpeed AsymmetricRelation)	Weather.kif 249-249	high altitude wind speed is an instance of asymmetric relation
(domain highAltitudeWindSpeed 1 Object)	Weather.kif 250-250	The number 1 argument of high altitude wind speed is an instance of object
(domain highAltitudeWindSpeed 2 ConstantQuantity)	Weather.kif 251-251	The number 2 argument of high altitude wind speed is an instance of constant quantity
(documentation highAltitudeWindSpeed EnglishLanguage "(highAltitudeWindSpeed ?PLACE ?RATE) means that the Wind blowing above 25,000 feet at ?PLACE has a speed of ?RATE.")	Weather.kif 253-255	The number 2 argument of high altitude wind speed is an instance of constant quantity

appearance as argument number 2

(format EnglishLanguage highAltitudeWindSpeed "%2 is %n a high altitude wind speed of %1")	domainEnglishFormat.kif 1167-1167
(format ChineseTraditionalLanguage highAltitudeWindSpeed "%2 %n 是 %1 的 high 海拔風速")	domainEnglishFormat.kif 1168-1168
(format ChineseLanguage highAltitudeWindSpeed "%2 %n 是 %1 的 high 海拔风速")	domainEnglishFormat.kif 1169-1169
(termFormat EnglishLanguage highAltitudeWindSpeed "high altitude wind speed")	domainEnglishFormat.kif 28067-28067
(termFormat ChineseTraditionalLanguage highAltitudeWindSpeed "高空風速")	domainEnglishFormat.kif 28068-28068
(termFormat ChineseLanguage highAltitudeWindSpeed "高空风速")	domainEnglishFormat.kif 28069-28069

consequent

(=>
(highAltitudeWindVelocity ?PLACE ?SPEED ?DIRECTION)
(highAltitudeWindSpeed ?PLACE ?SPEED))

If X is a high altitude wind velocity of Y moving towards Z, then X is a high altitude wind speed of Y