![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
WesternNorthAmerica
|
|
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?W InteriorChinookWind) (eventLocated ?W ?A) (geographicSubregion ?A WesternNorthAmerica) (instance ?M MountainRange)) (orientation ?A ?M East)) |
Weather.kif 2160-2166 | If X is an instance of interior chinook wind, X is located at Y, Y is a geographic subregion of Western NorthAmerica, and Z is an instance of mountain range, then Y is east of to Z |
| consequent |
|
|
| (=> (instance ?W ChinookWind) (eventLocated ?W WesternNorthAmerica)) |
Weather.kif 2111-2113 | If X is an instance of chinook wind, then X is located at Western NorthAmerica |