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 265-267
(domain highAltitudeWindSpeed 1 Object) Weather.kif 262-262 highAltitudeWindSpeed の数値 1 引数は オブジェクト の instance では %n
(domain highAltitudeWindSpeed 2 ConstantQuantity) Weather.kif 263-263 highAltitudeWindSpeed の数値 2 引数は 一定量 の instance では %n
(instance highAltitudeWindSpeed AsymmetricRelation) Weather.kif 261-261 highAltitudeWindSpeed は 非対称関係 の instance では %n
(instance highAltitudeWindSpeed BinaryPredicate) Weather.kif 260-260 highAltitudeWindSpeed は 2進述語 の instance では %n

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

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