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 252-254
(domain highAltitudeWindSpeed 1 Object) Weather.kif 249-249 domain highAltitudeWindSpeed, 1 and Object
(domain highAltitudeWindSpeed 2 ConstantQuantity) Weather.kif 250-250 domain highAltitudeWindSpeed, 2 and ConstantQuantity
(instance highAltitudeWindSpeed AsymmetricRelation) Weather.kif 248-248 instance highAltitudeWindSpeed and AsymmetricRelation
(instance highAltitudeWindSpeed BinaryPredicate) Weather.kif 247-247 instance highAltitudeWindSpeed and BinaryPredicate

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 27988-27988
(termFormat ChineseTraditionalLanguage highAltitudeWindSpeed "高空風速") domainEnglishFormat.kif 27987-27987
(termFormat EnglishLanguage highAltitudeWindSpeed "high altitude wind speed") domainEnglishFormat.kif 27986-27986

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


(=>
    (highAltitudeWindVelocity ?PLACE ?SPEED ?DIRECTION)
    (highAltitudeWindSpeed ?PLACE ?SPEED))
Weather.kif 256-258


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