![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MediterraneanRegion(Mediterranean Region) |
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (instance ?W Sirocco) (eventLocated ?W ?R) (origin ?W SaharaDesert)) (or (equal ?R MediterraneanSea) (equal ?R MediterraneanRegion))) |
Weather.kif 1970-1977 | If X is an instance of sirocco, X is located at Y, and X originates at Sahara Desert, then equal Y and mediterranean sea or equal Y and Mediterranean Region |
| (=> (and (instance ?W Mistral) (eventLocated ?W ?A) (instance ?A GeographicArea) (origin ?W SouthernFrance) (destination ?W GulfOfLion)) (and (geographicSubregion ?A MediterraneanRegion) (orientation ?A MediterraneanSea North) (geographicSubregion ?A SoutheasternEurope))) |
Weather.kif 2084-2094 | If X is an instance of mistral, X is located at Y, Y is an instance of geographic area, X originates at Southern France, and X ends up at Gulf Of Lion, then Y is a geographic subregion of Mediterranean Region, Y is north of to mediterranean sea, and Y is a geographic subregion of southeastern europe |