Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Upwind(upwind from)
|  | against_the_wind, into_the_wind, leeward, upwind, weather, windward |
| appearance as argument number 1 |
|
|
| (instance Upwind PositionalAttribute) | Mid-level-ontology.kif 32398-32398 | Upwind from is an instance of positional attribute |
| (subAttribute Upwind Upstream) | Mid-level-ontology.kif 32399-32399 | Upwind from is a subattribute of upstream from |
| (documentation Upwind EnglishLanguage "Upwind is a PositionalAttribute that indicates relative position upwind (windward) with respect to the direction that the Wind is blowing.") | Mid-level-ontology.kif 32400-32403 | Upwind from is a subattribute of upstream from |
| (externalImage Upwind "http://upload.wikimedia.org/wikipedia/commons/7/75/ Upwind_downwind_example.png") | pictureList.kif 6952-6952 | Upwind from is a subattribute of upstream from |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (orientation ?O1 ?O2 Upwind) (exists (?T ?L ?P) (and (instance ?T Transfer) (attribute ?L Liquid) (path ?T ?P) (origin ?T ?O1) (beforeOnPath ?O1 ?O2 ?P ?T) (destination ?T ?O2)))) |
Mid-level-ontology.kif 32405-32414 | If X is upwind from to Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of transfer (3) liquid is an attribute of W (4) V is path along which Z occurs (5) Z originates at X (6) X before Y on path V during Z (7) Z ends up at Y |
| consequent |
|
|
| (=> (and (instance ?W CoastalChinookWind) (eventLocated ?W PacificNorthwest) (origin ?W PacificOcean)) (orientation PacificOcean PacificNorthwest Upwind)) |
Weather.kif 2138-2143 | If X is an instance of coastal chinook wind, X is located at Pacific Northwest, and X originates at pacific ocean, then pacific ocean is upwind from to Pacific Northwest |
|