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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - mediumAltitudeWindSpeed
mediumAltitudeWindSpeed

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


(documentation mediumAltitudeWindSpeed EnglishLanguage "(mediumAltitudeWindSpeed ?PLACE ?RATE) means that the Wind blowing between 10,000-25,000 feet at ?PLACE has a speed of ?RATE.") Weather.kif 230-232
(domain mediumAltitudeWindSpeed 1 Object) Weather.kif 227-227
(domain mediumAltitudeWindSpeed 2 ConstantQuantity) Weather.kif 228-228
(instance mediumAltitudeWindSpeed AsymmetricRelation) Weather.kif 226-226
(instance mediumAltitudeWindSpeed BinaryPredicate) Weather.kif 225-225

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


(format ChineseLanguage mediumAltitudeWindSpeed "%2 %n 是 %1 的 medium 海拔风速 %1 ") domainEnglishFormat.kif 1671-1671
(format ChineseTraditionalLanguage mediumAltitudeWindSpeed "%2 %n 是 %1 的 medium 海拔風速 %1 ") domainEnglishFormat.kif 1670-1670
(format EnglishLanguage mediumAltitudeWindSpeed "%2 is %n a medium altitude wind speed of %1") domainEnglishFormat.kif 1669-1669
(termFormat ChineseLanguage mediumAltitudeWindSpeed "中等海拔风速") domainEnglishFormat.kif 36887-36887
(termFormat ChineseTraditionalLanguage mediumAltitudeWindSpeed "中等海拔風速") domainEnglishFormat.kif 36886-36886
(termFormat EnglishLanguage mediumAltitudeWindSpeed "medium altitude wind speed") domainEnglishFormat.kif 36885-36885

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


(=>
    (mediumAltitudeWindVelocity ?PLACE ?SPEED ?DIRECTION)
    (mediumAltitudeWindSpeed ?PLACE ?SPEED))
Weather.kif 234-236


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