Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CoastalChinookWind(coastal chinook wind) |
| appearance as argument number 1 |
|
| (subclass CoastalChinookWind ChinookWind) | Weather.kif 2123-2123 | Coastal chinook wind is a subclass of chinook wind |
| (documentation CoastalChinookWind EnglishLanguage "CoastalChinookWinds are persistent seasonal, wet, southwesterly winds blowing in from the ocean. Along the Pacific Northwest coast, they deliver tremendous amounts of moisture both as rain along the coast and snow in the coastal mountains, that sustain the characteristic temperate rainforests and climate of the Pacific Northwest.[Wikipedia]") | Weather.kif 2124-2127 | Coastal chinook wind is a subclass of chinook wind |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CoastalChinookWind "coastal chinook wind") | Weather.kif 2128-2128 |
| antecedent |
|
|
| (=> (and (instance ?W CoastalChinookWind) (eventLocated ?W ?A)) (holdsDuring (WhenFn ?W) (surfaceWindDirection ?A West))) |
Weather.kif 2130-2136 | If X is an instance of coastal chinook wind and X is located at Y, then west of is a surface wind direction of Y holds during the time of existence of X |
| (=> (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 |
| (=> (instance ?W CoastalChinookWind) (holdsDuring (WhenFn ?W) (exists (?P) (and (instance ?P Precipitation) (subProcess ?P ?W))))) |
Weather.kif 2145-2152 | If X is an instance of coastal chinook wind, then there exists Y such that Y is an instance of precipitation and Y is a subprocess of X holds during the time of existence of X |
|