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 255-258
(domain highAltitudeWindVelocity 1 Object) Weather.kif 251-251 The number 1 argument of high altitude wind velocity is an instance of object
(domain highAltitudeWindVelocity 2 PhysicalQuantity) Weather.kif 252-252 The number 2 argument of high altitude wind velocity is an instance of physical quantity
(domain highAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 253-253 The number 3 argument of high altitude wind velocity is an instance of directional attribute
(instance highAltitudeWindVelocity TernaryPredicate) Weather.kif 250-250 high altitude wind velocity is an instance of ternary predicate

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


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