| Downwind
| |
| appearance as argument number 1 |
|
|
| (documentation Downwind EnglishLanguage "Downwind is a PositionalAttribute that indicates relative position downwind (leeward) with respect to the direction that the Wind is blowing.") | Weather.kif 272-275 | |
| (externalImage Downwind "http://upload.wikimedia.org/wikipedia/commons/7/ 75/ Upwind_downwind_example.png") | pictureList.kif 6399-6399 | |
| (externalImage Downwind "http://upload.wikimedia.org/wikipedia/commons/8/ 89/ Cyclone_Catarina_from_the_ISS_on_March_26_2004.JPG") | pictureList.kif 5965-5965 | |
| (instance Downwind PositionalAttribute) | Weather.kif 269-269 | Downwind は 位置属性 の instance では |
| (subAttribute Downwind Downstream) | Weather.kif 270-270 | Downwind は Downstream の subattribute では |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Downwind "顺风") | domainEnglishFormat.kif 20295-20295 | |
| (termFormat ChineseTraditionalLanguage Downwind "順風") | domainEnglishFormat.kif 20294-20294 | |
| (termFormat EnglishLanguage Downwind "downwind") | domainEnglishFormat.kif 20293-20293 |
| 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 31716-31724 |
| consequent |
|
|
| (=> (and (instance ?W FohnWind) (eventLocated ?W ?A) (instance ?A GeographicArea) (instance ?M MountainRange)) (orientation ?A ?M Downwind)) |
Weather.kif 1742-1748 |
|
|
|