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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - mediumAltitudeWindVelocity
mediumAltitudeWindVelocity

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


(documentation mediumAltitudeWindVelocity EnglishLanguage "(mediumAltitudeWindVelocity ?PLACE ?SPEED ?TOWARD) means that the Wind blowing between 10,000-25,000 feet at ?PLACE has a speed of ?SPEED and is moving toward the DirectionalAttribute ?TOWARD.") Weather.kif 232-235
(domain mediumAltitudeWindVelocity 1 Object) Weather.kif 228-228 The number 1 argument of medium altitude wind velocity is an instance of object
(domain mediumAltitudeWindVelocity 2 PhysicalQuantity) Weather.kif 229-229 The number 2 argument of medium altitude wind velocity is an instance of physical quantity
(domain mediumAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 230-230 The number 3 argument of medium altitude wind velocity is an instance of directional attribute
(instance mediumAltitudeWindVelocity TernaryPredicate) Weather.kif 227-227 medium altitude wind velocity is an instance of ternary predicate

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


(format ChineseLanguage mediumAltitudeWindVelocity "%2 %n 是 %1 的 medium 海拔风速率") domainEnglishFormat.kif 1675-1675
(format ChineseTraditionalLanguage mediumAltitudeWindVelocity "%2 %n 是 %1 的 medium 海拔風速率") domainEnglishFormat.kif 1674-1674
(format EnglishLanguage mediumAltitudeWindVelocity "%2 is %n a medium altitude wind velocity of %1") domainEnglishFormat.kif 1673-1673
(termFormat ChineseLanguage mediumAltitudeWindVelocity "中等海拔风速率") domainEnglishFormat.kif 36882-36882
(termFormat ChineseTraditionalLanguage mediumAltitudeWindVelocity "中等海拔風速率") domainEnglishFormat.kif 36881-36881
(termFormat EnglishLanguage mediumAltitudeWindVelocity "medium altitude wind velocity") domainEnglishFormat.kif 36880-36880

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


(=>
    (mediumAltitudeWindVelocity ?PLACE ?SPEED ?DIRECTION)
    (mediumAltitudeWindSpeed ?PLACE ?SPEED))
Weather.kif 246-248


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