Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GulfOfLion
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
-------------------------


(orientation SouthernFrance GulfOfLion North) Geography.kif 338-338 Southern France is north of to Gulf Of Lion
(termFormat EnglishLanguage GulfOfLion "Gulf Of Lion") Geography.kif 6748-6748 Southern France is north of to Gulf Of Lion
(orientation MediterraneanSea GulfOfLion South) Geography.kif 6750-6750 Mediterranean sea is south of to Gulf Of Lion
(meetsSpatially Spain GulfOfLion) Geography.kif 6751-6751 Spain meets Gulf Of Lion
(meetsSpatially France GulfOfLion) Geography.kif 6752-6752 France meets Gulf Of Lion
(partlyLocated MarseillesFrance GulfOfLion) Geography.kif 6753-6753 Marseilles france is partly located in Gulf Of Lion

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners