highAltitudeWindVelocity - Sigma Knowledge base Browser

appearance as argument number 1

(instance highAltitudeWindVelocity TernaryPredicate)	Weather.kif 238-238	high altitude wind velocity is an instance of ternary predicate
(domain highAltitudeWindVelocity 1 Object)	Weather.kif 239-239	The number 1 argument of high altitude wind velocity is an instance of object
(domain highAltitudeWindVelocity 2 PhysicalQuantity)	Weather.kif 240-240	The number 2 argument of high altitude wind velocity is an instance of physical quantity
(domain highAltitudeWindVelocity 3 DirectionalAttribute)	Weather.kif 241-241	The number 3 argument of high altitude wind velocity is an instance of directional attribute
(documentation highAltitudeWindVelocity EnglishLanguage "(highAltitudeWindVelocity ?PLACE ?SPEED ?TOWARD) means that the Wind blowing above 25,000 feet at ?PLACE has a speed of ?SPEED and is moving toward the DirectionalAttribute ?TOWARD.")	Weather.kif 243-246	The number 3 argument of high altitude wind velocity is an instance of directional attribute

appearance as argument number 2

(format EnglishLanguage highAltitudeWindVelocity "%2 is %n a high altitude wind velocity of %1 moving towards %3")	domainEnglishFormat.kif 1171-1171
(format ChineseTraditionalLanguage highAltitudeWindVelocity "%2 %n 是 %1 的 high 海拔風速率")	domainEnglishFormat.kif 1172-1172
(format ChineseLanguage highAltitudeWindVelocity "%2 %n 是 %1 的 high 海拔风速率")	domainEnglishFormat.kif 1173-1173
(termFormat EnglishLanguage highAltitudeWindVelocity "high altitude wind velocity")	domainEnglishFormat.kif 28073-28073
(termFormat ChineseTraditionalLanguage highAltitudeWindVelocity "高空風速率")	domainEnglishFormat.kif 28074-28074
(termFormat ChineseLanguage highAltitudeWindVelocity "高空风速率")	domainEnglishFormat.kif 28075-28075

antecedent

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