| appearance as argument number 1 |
|
| (climateTypeInArea GreatBasin AridClimateZone) | Geography.kif 497-497 | climateTypeInArea GreatBasin and AridClimateZone |
| (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 | climateTypeInArea GreatBasin and AridClimateZone |
| (geographicSubregion GreatBasin California) | Geography.kif 493-493 | geographicSubregion GreatBasin and California |
| (geographicSubregion GreatBasin Idaho) | Geography.kif 494-494 | geographicSubregion GreatBasin and Idaho |
| (geographicSubregion GreatBasin Mexico) | Geography.kif 496-496 | geographicSubregion GreatBasin and Mexico |
| (geographicSubregion GreatBasin Nevada) | Geography.kif 490-490 | geographicSubregion GreatBasin and Nevada |
| (geographicSubregion GreatBasin Oregon) | Geography.kif 492-492 | geographicSubregion GreatBasin and Oregon |
| (geographicSubregion GreatBasin Utah) | Geography.kif 491-491 | geographicSubregion GreatBasin and Utah |
| (geographicSubregion GreatBasin Wyoming) | Geography.kif 495-495 | geographicSubregion GreatBasin and Wyoming |
| (instance GreatBasin EndorheicBasin) | Geography.kif 481-481 | GreatBasin is an instance of EndorheicBasin |
| 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 2642-2652 |
|
|
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 is open source software produced by Articulate Software and its partners