| 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 255-258 | |
| (domain highAltitudeWindVelocity 1 Object) | Weather.kif 251-251 | Die Zahl 1 Argument von highAltitudeWindVelocity ist ein fall von Object %n{nicht} |
| (domain highAltitudeWindVelocity 2 PhysicalQuantity) | Weather.kif 252-252 | Die Zahl 2 Argument von highAltitudeWindVelocity ist ein fall von PhysicalQuantity %n{nicht} |
| (domain highAltitudeWindVelocity 3 DirectionalAttribute) | Weather.kif 253-253 | Die Zahl 3 Argument von highAltitudeWindVelocity ist ein fall von DirectionalAttribute %n{nicht} |
| (instance highAltitudeWindVelocity TernaryPredicate) | Weather.kif 250-250 | highAltitudeWindVelocity ist ein fall von TernaryPredicate %n{nicht} |
| 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 269-271 |
|
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