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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 The number 1 argument of high altitude wind velocity is an instance of object
(domain highAltitudeWindVelocity 2 PhysicalQuantity) Weather.kif 240-240 The number 2 argument of high altitude wind velocity is an instance of physical quantity
(domain highAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 241-241 The number 3 argument of high altitude wind velocity is an instance of directional attribute
(instance highAltitudeWindVelocity TernaryPredicate) Weather.kif 238-238 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 257-259


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