Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - highAltitudeWindVelocity
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 255-258
(domain highAltitudeWindVelocity 1 Object) Weather.kif 251-251 highAltitudeWindVelocity の数値 1 引数は オブジェクトinstance では %n
(domain highAltitudeWindVelocity 2 PhysicalQuantity) Weather.kif 252-252 highAltitudeWindVelocity の数値 2 引数は 物理量instance では %n
(domain highAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 253-253 highAltitudeWindVelocity の数値 3 引数は 方向属性instance では %n
(instance highAltitudeWindVelocity TernaryPredicate) Weather.kif 250-250 highAltitudeWindVelocity3進述語instance では %n

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