![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
SoutheasternEurope(southeastern europe)
|
| appearance as argument number 1 |
|
|
| (instance SoutheasternEurope GeographicArea) | Geography.kif 89-89 | Southeastern europe is an instance of geographic area |
| (geographicSubregion SoutheasternEurope Europe) | Geography.kif 161-161 | Southeastern europe is a geographic subregion of europe |
| (geographicSubregion SoutheasternEurope EasternHemisphere) | Geography.kif 225-225 | Southeastern europe is a geographic subregion of eastern hemisphere |
| (geographicSubregion SoutheasternEurope NorthernHemisphere) | Geography.kif 226-226 | Southeastern europe is a geographic subregion of northern hemisphere |
| (externalImage SoutheasternEurope "http://upload.wikimedia.org/wikipedia/ commons/ b/ bc/ Eastern_Europe_small.png") | pictureList.kif 2525-2525 | Southeastern europe is a geographic subregion of northern hemisphere |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (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 |