highAltitudeWindVelocity |
appearance as argument number 1 |
(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 | |
(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 |
(instance highAltitudeWindVelocity TernaryPredicate) | Weather.kif 238-238 | high altitude wind velocity is an instance of ternary predicate |
appearance as argument number 2 |
(format ChineseLanguage highAltitudeWindVelocity "%2 %n 是 %1 的 high 海拔风速率") | domainEnglishFormat.kif 1173-1173 | |
(format ChineseTraditionalLanguage highAltitudeWindVelocity "%2 %n 是 %1 的 high 海拔風速率") | domainEnglishFormat.kif 1172-1172 | |
(format EnglishLanguage highAltitudeWindVelocity "%2 is %n a high altitude wind velocity of %1") | domainEnglishFormat.kif 1171-1171 | |
(termFormat ChineseLanguage highAltitudeWindVelocity "高空风速率") | domainEnglishFormat.kif 28071-28071 | |
(termFormat ChineseTraditionalLanguage highAltitudeWindVelocity "高空風速率") | domainEnglishFormat.kif 28070-28070 | |
(termFormat EnglishLanguage highAltitudeWindVelocity "high altitude wind velocity") | domainEnglishFormat.kif 28069-28069 |
antecedent |
(=> (highAltitudeWindVelocity ?PLACE ?SPEED ?DIRECTION) (highAltitudeWindSpeed ?PLACE ?SPEED)) |
Weather.kif 257-259 |
|