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 242-245
(domain highAltitudeWindVelocity 1 Object) Weather.kif 238-238 domain highAltitudeWindVelocity, 1 and Object
(domain highAltitudeWindVelocity 2 PhysicalQuantity) Weather.kif 239-239 domain highAltitudeWindVelocity, 2 and PhysicalQuantity
(domain highAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 240-240 domain highAltitudeWindVelocity, 3 and DirectionalAttribute
(instance highAltitudeWindVelocity TernaryPredicate) Weather.kif 237-237 instance highAltitudeWindVelocity and TernaryPredicate

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 27973-27973
(termFormat ChineseTraditionalLanguage highAltitudeWindVelocity "高空風速率") domainEnglishFormat.kif 27972-27972
(termFormat EnglishLanguage highAltitudeWindVelocity "high altitude wind velocity") domainEnglishFormat.kif 27971-27971

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


(=>
    (highAltitudeWindVelocity ?PLACE ?SPEED ?DIRECTION)
    (highAltitudeWindSpeed ?PLACE ?SPEED))
Weather.kif 256-258


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners