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


KB Term:  Term intersection
English Word: 

  GreatBasin

 Sigma KEE - GreatBasin
GreatBasin(Great Basin)

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


(instance GreatBasin EndorheicBasin) Geography.kif 481-481 Great Basin is an instance of endorheic basin
(documentation GreatBasin EnglishLanguage "The GreatBasin is the largest area of contiguous endorheic watersheds, those with no outlets to the ocean, in NorthAmerica. It spans nearly all of Nevada, much of Utah, and portions of California, Idaho, Oregon, Wyoming, and Baja California. It is noted for both its arid climate and the basin and range topography that varies from the North American low point at Badwater Basin in Death Valley to the highest point of the contiguous United States, less than 100 miles (160 km) away at the summit of Mount Whitney. [Wikipedia]") Geography.kif 482-488 Great Basin is an instance of endorheic basin
(geographicSubregion GreatBasin Nevada) Geography.kif 490-490 Great Basin is a geographic subregion of Nevada
(geographicSubregion GreatBasin Utah) Geography.kif 491-491 Great Basin is a geographic subregion of utah
(geographicSubregion GreatBasin Oregon) Geography.kif 492-492 Great Basin is a geographic subregion of Oregon
(geographicSubregion GreatBasin California) Geography.kif 493-493 Great Basin is a geographic subregion of california
(geographicSubregion GreatBasin Idaho) Geography.kif 494-494 Great Basin is a geographic subregion of Idaho
(geographicSubregion GreatBasin Wyoming) Geography.kif 495-495 Great Basin is a geographic subregion of wyoming
(geographicSubregion GreatBasin Mexico) Geography.kif 496-496 Great Basin is a geographic subregion of mexico
(climateTypeInArea GreatBasin AridClimateZone) Geography.kif 497-497 Arid climate zone is a climate type in area of Great Basin

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


(termFormat EnglishLanguage GreatBasin "Great Basin") Geography.kif 489-489

consequent
-------------------------


(=>
    (instance ?W SantaAnaWinds)
    (exists (?H ?D ?A)
        (and
            (instance ?H HighPressureWeatherSystem)
            (eventLocated ?H GreatBasin)
            (causes ?H ?W)
            (path ?W ?D)
            (instance ?D Desert)
            (destination ?W ?A)
            (instance ?A SouthernCalifornia))))		 Weather.kif 2627-2637 If X is an instance of Santa Ana winds, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of high pressure weather system (3) Y is located at Great Basin (4) Y causes X (5) Z is path along which X occurs (6) Z is an instance of desert (7) X ends up at W (8) W is an instance of Southern California


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

Show without tree

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