Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Downwind
Downwind(downwind from)
downwind, lee, leeward, windward

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


(instance Downwind PositionalAttribute) Mid-level-ontology.kif 32416-32416 Downwind from is an instance of positional attribute
(subAttribute Downwind Downstream) Mid-level-ontology.kif 32417-32417 Downwind from is a subattribute of downstream from
(documentation Downwind EnglishLanguage "Downwind is a PositionalAttribute that indicates relative position downwind (leeward) with respect to the direction that the Wind is blowing.") Mid-level-ontology.kif 32418-32421 Downwind from is a subattribute of downstream from
(externalImage Downwind "http://upload.wikimedia.org/wikipedia/commons/8/ 89/ Cyclone_Catarina_from_the_ISS_on_March_26_2004.JPG") pictureList.kif 5965-5965 Downwind from is a subattribute of downstream from
(externalImage Downwind "http://upload.wikimedia.org/wikipedia/commons/7/ 75/ Upwind_downwind_example.png") pictureList.kif 6399-6399 Downwind from is a subattribute of downstream from

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


(termFormat EnglishLanguage Downwind "downwind from") domainEnglishFormat.kif 20286-20286
(termFormat ChineseTraditionalLanguage Downwind "順風") domainEnglishFormat.kif 20287-20287
(termFormat ChineseLanguage Downwind "顺风") domainEnglishFormat.kif 20288-20288

appearance as argument number 3
-------------------------


(orientation MojaveDesert SierraNevada Downwind) Geography.kif 509-509 Mojave Desert is downwind from to Sierra Nevada
(orientation MojaveDesert TransverseRanges Downwind) Geography.kif 510-510 Mojave Desert is downwind from to Transverse Ranges

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


(=>
    (orientation ?O1 ?O2 Downwind)
    (exists (?W ?T ?P)
        (and
            (instance ?W Wind)
            (path ?T ?P)
            (origin ?T ?O2)
            (beforeOnPath ?O2 ?O1 ?P ?T)
            (destination ?T ?O1))))		 Mid-level-ontology.kif 32423-32431 If X is downwind from to Y, then there exist Z, W, V such that Z is an instance of wind, V is path along which W occurs, W originates at Y, Y before X on path V during W, and W ends up at X

consequent
-------------------------


(=>
    (and
        (instance ?W FohnWind)
        (eventLocated ?W ?A)
        (instance ?A GeographicArea)
        (instance ?M MountainRange))
    (orientation ?A ?M Downwind))		 Weather.kif 2187-2193 If X is an instance of Fohn wind, X is located at Y, Y is an instance of geographic area, and Z is an instance of mountain range, then Y is downwind from to Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners