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 242-244
(domain mediumAltitudeWindSpeed 1 Object) Weather.kif 239-239
(domain mediumAltitudeWindSpeed 2 ConstantQuantity) Weather.kif 240-240
(instance mediumAltitudeWindSpeed AsymmetricRelation) Weather.kif 238-238
(instance mediumAltitudeWindSpeed BinaryPredicate) Weather.kif 237-237

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 36876-36876
(termFormat ChineseTraditionalLanguage mediumAltitudeWindSpeed "中等海拔風速") domainEnglishFormat.kif 36875-36875
(termFormat EnglishLanguage mediumAltitudeWindSpeed "medium altitude wind speed") domainEnglishFormat.kif 36874-36874

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


(=>
    (mediumAltitudeWindVelocity ?PLACE ?SPEED ?DIRECTION)
    (mediumAltitudeWindSpeed ?PLACE ?SPEED))
Weather.kif 246-248


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