![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| lowAltitudeWindVelocity |
| appearance as argument number 1 |
|
|
| (instance lowAltitudeWindVelocity TernaryPredicate) | Weather.kif 189-189 | low altitude wind velocity is an instance of ternary predicate |
| (domain lowAltitudeWindVelocity 1 Object) | Weather.kif 190-190 | The number 1 argument of low altitude wind velocity is an instance of object |
| (domain lowAltitudeWindVelocity 2 PhysicalQuantity) | Weather.kif 191-191 | The number 2 argument of low altitude wind velocity is an instance of physical quantity |
| (domain lowAltitudeWindVelocity 3 DirectionalAttribute) | Weather.kif 192-192 | The number 3 argument of low altitude wind velocity is an instance of directional attribute |
| (documentation lowAltitudeWindVelocity EnglishLanguage "(lowAltitudeWindVelocity ?PLACE ?SPEED ?DIRECTION) means that the low_altitude Wind blowing at ?PLACE has a speed of ?SPEED and comes from the compass point ?DIRECTION. Low_altitude wind is wind blowing between 500-10,000 feet.") | Weather.kif 194-198 | The number 3 argument of low altitude wind velocity is an instance of directional attribute |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage lowAltitudeWindVelocity "%2 is %n a low altitude wind velocity of %1 from %3") | domainEnglishFormat.kif 1573-1573 | |
| (format ChineseTraditionalLanguage lowAltitudeWindVelocity "%2 %n 是 %1 的 low 海拔風速率") | domainEnglishFormat.kif 1574-1574 | |
| (format ChineseLanguage lowAltitudeWindVelocity "%2 %n 是 %1 的 low 海拔风速率") | domainEnglishFormat.kif 1575-1575 | |
| (termFormat EnglishLanguage lowAltitudeWindVelocity "low altitude wind velocity") | domainEnglishFormat.kif 35113-35113 | |
| (termFormat ChineseTraditionalLanguage lowAltitudeWindVelocity "低空風速") | domainEnglishFormat.kif 35114-35114 | |
| (termFormat ChineseLanguage lowAltitudeWindVelocity "低空风速") | domainEnglishFormat.kif 35115-35115 |
| antecedent |
|
|
| (=> (lowAltitudeWindVelocity ?PLACE ?SPEED ?DIRECTION) (lowAltitudeWindSpeed ?PLACE ?SPEED)) |
Weather.kif 211-213 | If X is a low altitude wind velocity of Y from Z, then X is a low altitude wind speed of Y |