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 The number 1 argument of medium altitude wind speed is an instance of object
(domain mediumAltitudeWindSpeed 2 ConstantQuantity) Weather.kif 240-240 The number 2 argument of medium altitude wind speed is an instance of constant quantity
(instance mediumAltitudeWindSpeed AsymmetricRelation) Weather.kif 238-238 medium altitude wind speed is an instance of asymmetric relation
(instance mediumAltitudeWindSpeed BinaryPredicate) Weather.kif 237-237 medium altitude wind speed is an instance of binary predicate

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