| appearance as argument number 1 |
|
| (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 | |
| (domain lowAltitudeWindVelocity 1 Object) | Weather.kif 190-190 | lowAltitudeWindVelocity の数値 1 引数は オブジェクト の instance では |
| (domain lowAltitudeWindVelocity 2 PhysicalQuantity) | Weather.kif 191-191 | lowAltitudeWindVelocity の数値 2 引数は 物理量 の instance では |
| (domain lowAltitudeWindVelocity 3 DirectionalAttribute) | Weather.kif 192-192 | lowAltitudeWindVelocity の数値 3 引数は 方向属性 の instance では |
| (instance lowAltitudeWindVelocity TernaryPredicate) | Weather.kif 189-189 | lowAltitudeWindVelocity は 3進述語 の instance では |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage lowAltitudeWindVelocity "%2 %n 是 %1 的 low 海拔风速率") | domainEnglishFormat.kif 1575-1575 | |
| (format ChineseTraditionalLanguage lowAltitudeWindVelocity "%2 %n 是 %1 的 low 海拔風速率") | domainEnglishFormat.kif 1574-1574 | |
| (format EnglishLanguage lowAltitudeWindVelocity "%2 is %n a low altitude wind velocity of %1 from %3") | domainEnglishFormat.kif 1573-1573 | |
| (termFormat ChineseLanguage lowAltitudeWindVelocity "低空风速") | domainEnglishFormat.kif 35122-35122 | |
| (termFormat ChineseTraditionalLanguage lowAltitudeWindVelocity "低空風速") | domainEnglishFormat.kif 35121-35121 | |
| (termFormat EnglishLanguage lowAltitudeWindVelocity "low altitude wind velocity") | domainEnglishFormat.kif 35120-35120 |
| antecedent |
|
|
| (=> (lowAltitudeWindVelocity ?PLACE ?SPEED ?DIRECTION) (lowAltitudeWindSpeed ?PLACE ?SPEED)) |
Weather.kif 211-213 |
|
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