![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| GulfOfLion(Gulf Of Lion) |
| appearance as argument number 1 |
|
|
| (instance GulfOfLion Gulf) | Geography.kif 6743-6743 | Gulf Of Lion is an instance of gulf |
| (documentation GulfOfLion EnglishLanguage "The GulfOfLion is a wide embayment of the Mediterranean coastline of Catalonia in Spain with Languedoc-Roussillon and Provence in France, extending from Begur in the west to Toulon in the east.[Wikipedia]") | Geography.kif 6744-6746 | Gulf Of Lion is an instance of gulf |
| (instance GulfOfLion SaltWaterArea) | Geography.kif 6747-6747 | Gulf Of Lion is an instance of salt water area |
| (connected GulfOfLion MediterraneanSea) | Geography.kif 6749-6749 | Gulf Of Lion is connected to mediterranean sea |
| appearance as argument number 2 |
|
|
| 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 |