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

Formal Language: 



KB Term:  Term intersection
English Word: 

  mediumAltitudeWindSpeed

 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 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 246-248


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