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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(documentation California EnglishLanguage "The AmericanState with the highest population.") CountriesAndRegions.kif 896-896
(externalImage California "http://articulatesoftware.com/SUMOpictures/geography/ US_States/ california.png") pictureList.kif 311-311
(instance California AmericanState) CountriesAndRegions.kif 895-895 California is an instance of american state
(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 PacificOcean) CountriesAndRegions.kif 903-903 California meets pacific ocean
(meetsSpatially California Washington) CountriesAndRegions.kif 907-907 California meets washington

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


(geographicSubregion SaltonSea California) Geography.kif 5103-5103 Salton sea is a geographic subregion of california
(headquartersOfOrganization EBay California) ComputingBrands.kif 4674-4674 The headquarters of eBay is in california
(headquartersOfOrganization Netflix California) Medicine.kif 4555-4555 The headquarters of Netflix Corp. is in 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
(part LosAngelesCalifornia California) CountriesAndRegions.kif 810-810 Los angeles california is a part of california
(part SanFranciscoCalifornia California) CountriesAndRegions.kif 791-791 San francisco california is a part of california
(termFormat ChineseLanguage California "加州") domainEnglishFormat.kif 12733-12733
(termFormat ChineseTraditionalLanguage California "加州") domainEnglishFormat.kif 12732-12732
(termFormat EnglishLanguage California "california") domainEnglishFormat.kif 12731-12731

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


(=>
    (and
        (instance ?CITY AmericanCity)
        (part ?CITY California)
        (not
            (equal ?CITY LosAngelesCalifornia)))
    (greaterThan
        (CardinalityFn
            (ResidentFn LosAngelesCalifornia))
        (CardinalityFn
            (ResidentFn ?CITY))))
CountriesAndRegions.kif 812-817
(=>
    (and
        (instance ?STATE AmericanState)
        (not
            (equal ?STATE California)))
    (greaterThan
        (CardinalityFn
            (ResidentFn California))
        (CardinalityFn
            (ResidentFn ?STATE))))
CountriesAndRegions.kif 897-901

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


(=>
    (and
        (instance ?STATE AmericanState)
        (not
            (equal ?STATE California)))
    (greaterThan
        (CardinalityFn
            (ResidentFn California))
        (CardinalityFn
            (ResidentFn ?STATE))))
CountriesAndRegions.kif 897-901


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