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


KB Term:  Term intersection
English Word: 

  California

 Sigma KEE - California
California(california)
CA, Calif., California, Golden_State

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


(instance California AmericanState) CountriesAndRegions.kif 895-895 California is an instance of american state
(documentation California EnglishLanguage "The AmericanState with the highest population.") CountriesAndRegions.kif 896-896 California is an instance of american state
(meetsSpatially California PacificOcean) CountriesAndRegions.kif 903-903 California meets pacific ocean
(meetsSpatially California Mexico) CountriesAndRegions.kif 904-904 California meets mexico
(meetsSpatially California NewMexico) CountriesAndRegions.kif 905-905 California meets new mexico
(meetsSpatially California Oregon) CountriesAndRegions.kif 906-906 California meets Oregon
(meetsSpatially California Washington) CountriesAndRegions.kif 907-907 California meets washington
(orientation California RockyMountains West) Geography.kif 368-368 California is west of to Rocky Mountains
(geographicSubregion California WesternNorthAmerica) Geography.kif 1504-1504 California is a geographic subregion of Western NorthAmerica
(externalImage California "http://articulatesoftware.com/SUMOpictures/geography/ US_States/ california.png") pictureList.kif 311-311 California is a geographic subregion of Western NorthAmerica

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


(headquartersOfOrganization EBay California) ComputingBrands.kif 4585-4585 The headquarters of eBay is in california
(part SanFranciscoCalifornia California) CountriesAndRegions.kif 791-791 San francisco california is a part of california
(part LosAngelesCalifornia California) CountriesAndRegions.kif 810-810 Los angeles california is a part of california
(meetsSpatially Arizona California) CountriesAndRegions.kif 885-885 Arizona meets california
(meetsSpatially Nevada California) CountriesAndRegions.kif 1031-1031 Nevada meets california
(meetsSpatially Oregon California) CountriesAndRegions.kif 1083-1083 Oregon meets california
(geographicSubregion KlamathMountains California) Geography.kif 426-426 Klamath Mountains is a geographic subregion of california
(geographicSubregion CaliforniaCoastRanges California) Geography.kif 439-439 California Coast Ranges is a geographic subregion of california
(geographicSubregion GreatBasin California) Geography.kif 493-493 Great Basin is a geographic subregion of california
(geographicSubregion MojaveDesert California) Geography.kif 508-508 Mojave Desert is a geographic subregion of california
(geographicSubregion SouthernCalifornia California) Geography.kif 546-546 Southern California is a geographic subregion of california
(geographicSubregion NorthernCalifornia California) Geography.kif 557-557 Northern California is a geographic subregion of california
(geographicSubregion TransverseRanges California) Geography.kif 1289-1289 Transverse Ranges is a geographic subregion of california
(geographicSubregion PeninsularRanges California) Geography.kif 1305-1305 Peninsular Ranges is a geographic subregion of california
(geographicSubregion SierraNevada California) Geography.kif 1335-1335 Sierra Nevada is a geographic subregion of california
(geographicSubregion MountWhitney California) Geography.kif 1386-1386 Mount Whitney is a geographic subregion of california
(geographicSubregion CentralValleyCalifornia California) Geography.kif 1399-1399 Central Valley California is a geographic subregion of california
(geographicSubregion SaltonSea California) Geography.kif 6659-6659 Salton sea is a geographic subregion of california
(headquartersOfOrganization Netflix California) Medicine.kif 4576-4576 The headquarters of Netflix Corp. is in california
(termFormat EnglishLanguage California "california") domainEnglishFormat.kif 12739-12739 The headquarters of Netflix Corp. is in california
(termFormat ChineseTraditionalLanguage California "加州") domainEnglishFormat.kif 12740-12740 The headquarters of Netflix Corp. is in california
(termFormat ChineseLanguage California "加州") domainEnglishFormat.kif 12741-12741 The headquarters of Netflix Corp. is in california

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


(=>
    (and
        (instance ?CITY AmericanCity)
        (part ?CITY California)
        (not
            (equal ?CITY LosAngelesCalifornia)))
    (greaterThan
        (CardinalityFn
            (ResidentFn LosAngelesCalifornia))
        (CardinalityFn
            (ResidentFn ?CITY))))		 CountriesAndRegions.kif 812-817 If X is an instance of american city, X is a part of california, and equal X and los angeles california, then the number of instances in the resident of los angeles california is greater than the number of instances in the resident of X
(=>
    (and
        (instance ?STATE AmericanState)
        (not
            (equal ?STATE California)))
    (greaterThan
        (CardinalityFn
            (ResidentFn California))
        (CardinalityFn
            (ResidentFn ?STATE))))		 CountriesAndRegions.kif 897-901 If X is an instance of american state and equal X and california, then the number of instances in the resident of california is greater than the number of instances in the resident of X

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


(=>
    (and
        (instance ?STATE AmericanState)
        (not
            (equal ?STATE California)))
    (greaterThan
        (CardinalityFn
            (ResidentFn California))
        (CardinalityFn
            (ResidentFn ?STATE))))		 CountriesAndRegions.kif 897-901 If X is an instance of american state and equal X and california, then the number of instances in the resident of california is greater than the number of instances in the resident of X

statement
-------------------------


(orientation
    (SeacoastFn California PacificOcean) CaliforniaCoastRanges West)		 Geography.kif 440-441 The seacoast of california is west of to California Coast Ranges
(located TransverseRanges
    (GeographicSouthFn California))		 Geography.kif 1295-1296 Transverse Ranges is located at geographic South california
(orientation
    (SeacoastFn California PacificOcean) CentralValleyCalifornia West)		 Geography.kif 1400-1402 The seacoast of california is west of to Central Valley 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