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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - highAltitudeWindSpeed
highAltitudeWindSpeed

appearance as argument number 1
-------------------------


(documentation highAltitudeWindSpeed EnglishLanguage "(highAltitudeWindSpeed ?PLACE ?RATE) means that the Wind blowing above 25,000 feet at ?PLACE has a speed of ?RATE.") Weather.kif 265-267
(domain highAltitudeWindSpeed 1 Object) Weather.kif 262-262
(domain highAltitudeWindSpeed 2 ConstantQuantity) Weather.kif 263-263
(instance highAltitudeWindSpeed AsymmetricRelation) Weather.kif 261-261
(instance highAltitudeWindSpeed BinaryPredicate) Weather.kif 260-260

appearance as argument number 2
-------------------------


(format ChineseLanguage highAltitudeWindSpeed "%2 %n 是 %1 的 high 海拔风速") domainEnglishFormat.kif 1169-1169
(format ChineseTraditionalLanguage highAltitudeWindSpeed "%2 %n 是 %1 的 high 海拔風速") domainEnglishFormat.kif 1168-1168
(format EnglishLanguage highAltitudeWindSpeed "%2 is %n a high altitude wind speed of %1") domainEnglishFormat.kif 1167-1167
(termFormat ChineseLanguage highAltitudeWindSpeed "高空风速") domainEnglishFormat.kif 28065-28065
(termFormat ChineseTraditionalLanguage highAltitudeWindSpeed "高空風速") domainEnglishFormat.kif 28064-28064
(termFormat EnglishLanguage highAltitudeWindSpeed "high altitude wind speed") domainEnglishFormat.kif 28063-28063

consequent
-------------------------


(=>
    (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