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

KB Term:  Term intersection
English Word: 

Sigma KEE - SaharaDesert
SaharaDesert(Sahara Desert)

appearance as argument number 1
-------------------------


(instance SaharaDesert Desert) Geography.kif 8267-8267 Sahara Desert is an instance of desert
(documentation SaharaDesert EnglishLanguage "SaharaDesert spans across North Africa. With an area of 9,200,000 square kilometres (3,600,000 sq mi). It stretches from the Red Sea in the east and the Mediterranean in the north to the Atlantic Ocean in the west, where the landscape gradually changes from desert to coastal plains. To the south it is bounded by the Sahel, a belt of semi-arid tropical savanna around the Niger River valley and the Sudan region of sub-Saharan Africa. [Wikipedia]") Geography.kif 8268-8273 Sahara Desert is an instance of desert
(geographicSubregion SaharaDesert NorthernAfrica) Geography.kif 8275-8275 Sahara Desert is a geographic subregion of northern africa
(totalArea SaharaDesert
    (MeasureFn 3600000 SquareKilometer))		 Geography.kif 8276-8276 3600000 Square kilometer(s) is a total area of Sahara Desert
(climateTypeInArea SaharaDesert SubtropicalDesertClimateZone) Geography.kif 8277-8277 Subtropical desert climate zone is a climate type in area of Sahara Desert
(orientation SaharaDesert Sahel North) Geography.kif 8296-8296 Sahara Desert is north of to Sahel

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage SaharaDesert "Sahara Desert") Geography.kif 8274-8274
(orientation MediterraneanSea SaharaDesert North) Geography.kif 8278-8278 Mediterranean sea is north of to Sahara Desert
(orientation RedSea SaharaDesert East) Geography.kif 8279-8279 Red sea is east of to Sahara Desert
(orientation AtlanticOcean SaharaDesert West) Geography.kif 8280-8280 Atlantic ocean is west of to Sahara Desert
(orientation Sahel SaharaDesert South) Geography.kif 8297-8297 Sahel is south of to Sahara Desert

antecedent
-------------------------


(=>
    (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 HarmattanWind)
        (eventLocated ?W WesternAfrica)
        (origin ?W SaharaDesert)
        (destination ?W GulfOfGuinea)
        (located ?W ?LOC))
    (holdsDuring
        (WhenFn ?W)
        (surfaceWindDirection ?LOC Northeast)))		 Weather.kif 1994-2003 If X is an instance of harmattan wind, X is located at western africa, X originates at Sahara Desert, X ends up at Gulf Of Guinea, and X is located at Y, then northeast of is a surface wind direction of Y holds during the time of existence of X


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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners