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

Formal Language: 



KB Term:  Term intersection
English Word: 

  highAltitudeWindSpeed

 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 253-255
(domain highAltitudeWindSpeed 1 Object) Weather.kif 250-250
(domain highAltitudeWindSpeed 2 ConstantQuantity) Weather.kif 251-251
(instance highAltitudeWindSpeed AsymmetricRelation) Weather.kif 249-249
(instance highAltitudeWindSpeed BinaryPredicate) Weather.kif 248-248

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 257-259


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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