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

Formal Language: 



KB Term:  Term intersection
English Word: 

  highAltitudeWindVelocity

 Sigma KEE - highAltitudeWindVelocity
highAltitudeWindVelocity

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


(documentation highAltitudeWindVelocity EnglishLanguage "(highAltitudeWindVelocity ?PLACE ?SPEED ?TOWARD) means that the Wind blowing above 25,000 feet at ?PLACE has a speed of ?SPEED and is moving toward the DirectionalAttribute ?TOWARD.") Weather.kif 243-246
(domain highAltitudeWindVelocity 1 Object) Weather.kif 239-239
(domain highAltitudeWindVelocity 2 PhysicalQuantity) Weather.kif 240-240
(domain highAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 241-241
(instance highAltitudeWindVelocity TernaryPredicate) Weather.kif 238-238

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


(format ChineseLanguage highAltitudeWindVelocity "%2 %n 是 %1 的 high 海拔风速率") domainEnglishFormat.kif 1173-1173
(format ChineseTraditionalLanguage highAltitudeWindVelocity "%2 %n 是 %1 的 high 海拔風速率") domainEnglishFormat.kif 1172-1172
(format EnglishLanguage highAltitudeWindVelocity "%2 is %n a high altitude wind velocity of %1") domainEnglishFormat.kif 1171-1171
(termFormat ChineseLanguage highAltitudeWindVelocity "高空风速率") domainEnglishFormat.kif 28071-28071
(termFormat ChineseTraditionalLanguage highAltitudeWindVelocity "高空風速率") domainEnglishFormat.kif 28070-28070
(termFormat EnglishLanguage highAltitudeWindVelocity "high altitude wind velocity") domainEnglishFormat.kif 28069-28069

antecedent
-------------------------


(=>
    (highAltitudeWindVelocity ?PLACE ?SPEED ?DIRECTION)
    (highAltitudeWindSpeed ?PLACE ?SPEED))		 Weather.kif 257-259


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