Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SouthernFrance(Southern France) |
| appearance as argument number 1 |
|
| (instance SouthernFrance GeographicArea) | Geography.kif 330-330 | Southern France is an instance of geographic area |
| (documentation SouthernFrance EnglishLanguage "SouthernFrance is a geographical area consisting of the regions of France that border the AtlanticOcean south of the Marais Poitevin, Spain, MediterraneanSea and Italy.[Wikipedia]") | Geography.kif 331-333 | Southern France is an instance of geographic area |
| (geographicSubregion SouthernFrance France) | Geography.kif 337-337 | Southern France is a geographic subregion of france |
| (orientation SouthernFrance GulfOfLion North) | Geography.kif 338-338 | Southern France is north of to Gulf Of Lion |
| (climateTypeInArea SouthernFrance MediterraneanClimateZone) | Geography.kif 339-339 | Mediterranean climate zone is a climate type in area of Southern France |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SouthernFrance "Southern France") | Geography.kif 334-334 | |
| (names "south of France" SouthernFrance) | Geography.kif 335-335 | Southern France has name "south of France" |
| (names "le Midi" SouthernFrance) | Geography.kif 336-336 | Southern France has name "le Midi" |
| (geographicSubregion MarseillesFrance SouthernFrance) | Geography.kif 340-340 | Marseilles france is a geographic subregion of Southern France |
| (geographicSubregion ToulonFrance SouthernFrance) | Geography.kif 341-341 | ToulonFrance is a geographic subregion of Southern France |
| (orientation AtlanticOcean SouthernFrance West) | Geography.kif 342-342 | Atlantic ocean is west of to Southern France |
| (orientation Spain SouthernFrance South) | Geography.kif 343-343 | Spain is south of to Southern France |
| (orientation Italy SouthernFrance East) | Geography.kif 344-344 | Italy is east of to Southern France |
| antecedent |
|
|
| (=> (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 |
|