| 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 | 域 高空風速率, 1 and Object |
| (domain highAltitudeWindVelocity 2 PhysicalQuantity) | Weather.kif 240-240 | 域 高空風速率, 2 and PhysicalQuantity |
| (domain highAltitudeWindVelocity 3 DirectionalAttribute) | Weather.kif 241-241 | 域 高空風速率, 3 and DirectionalAttribute |
| (instance highAltitudeWindVelocity TernaryPredicate) | Weather.kif 238-238 | 例 高空風速率 and TernaryPredicate |
| 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 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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