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 中等海拔风速率 的 1 数量 是 客体instance
(domain mediumAltitudeWindVelocity 2 PhysicalQuantity) Weather.kif 229-229 中等海拔风速率 的 2 数量 是 物理量instance
(domain mediumAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 230-230 中等海拔风速率 的 3 数量 是 方向属性instance
(instance mediumAltitudeWindVelocity TernaryPredicate) Weather.kif 227-227 中等海拔风速率三元谓语instance

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