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 220-223
(domain mediumAltitudeWindVelocity 1 Object) Weather.kif 216-216 The number 1 argument of medium altitude wind velocity is an instance of object
(domain mediumAltitudeWindVelocity 2 PhysicalQuantity) Weather.kif 217-217 The number 2 argument of medium altitude wind velocity is an instance of physical quantity
(domain mediumAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 218-218 The number 3 argument of medium altitude wind velocity is an instance of directional attribute
(instance mediumAltitudeWindVelocity TernaryPredicate) Weather.kif 215-215 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 36893-36893
(termFormat ChineseTraditionalLanguage mediumAltitudeWindVelocity "中等海拔風速率") domainEnglishFormat.kif 36892-36892
(termFormat EnglishLanguage mediumAltitudeWindVelocity "medium altitude wind velocity") domainEnglishFormat.kif 36891-36891

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


(=>
    (mediumAltitudeWindVelocity ?PLACE ?SPEED ?DIRECTION)
    (mediumAltitudeWindSpeed ?PLACE ?SPEED))
Weather.kif 234-236


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