![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SouthernCalifornia(Southern California) |
| appearance as argument number 1 |
|
|
| (instance SouthernCalifornia GeographicArea) | Geography.kif 536-536 | Southern California is an instance of geographic area |
| (documentation SouthernCalifornia EnglishLanguage "SouthernCalifornia is a geographic and cultural region that generally comprises the southern portion of the U.S. state of California. Its densely populated coastal region includes Greater Los Angeles (the second-most populous urban agglomeration in the United States) and San Diego County (the second-most populous county in California). The region generally contains ten of California's 58 counties: Los Angeles, San Diego, Orange, Riverside, San Bernardino, Kern, Ventura, Santa Barbara, San Luis Obispo, and Imperial counties.[Wikipedia]") | Geography.kif 537-543 | Southern California is an instance of geographic area |
| (geographicSubregion SouthernCalifornia California) | Geography.kif 546-546 | Southern California is a geographic subregion of california |
| (externallyConnected SouthernCalifornia NorthernCalifornia) | Geography.kif 548-548 | Southern California and Northern California are externallyConnected |
| appearance as argument number 2 |
|
|
| (geographicSubregion DeathValley SouthernCalifornia) | Geography.kif 519-519 | Death Valley is a geographic subregion of Southern California |
| (geographicSubregion BadwaterBasin SouthernCalifornia) | Geography.kif 529-529 | Badwater Basin is a geographic subregion of Southern California |
| (termFormat EnglishLanguage SouthernCalifornia "Southern California") | Geography.kif 544-544 | Badwater Basin is a geographic subregion of Southern California |
| (names "SoCal" SouthernCalifornia) | Geography.kif 545-545 | Southern California has name "SoCal" |
| (located LosAngelesCalifornia SouthernCalifornia) | Geography.kif 547-547 | Los angeles california is located at Southern California |
| 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 |