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



KB Term:  Term intersection
English Word: 

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


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