California - Sigma Knowledge base Browser

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 12749-12749	San francisco california is a part of california
(termFormat ChineseTraditionalLanguage California "加州")	domainEnglishFormat.kif 12748-12748	San francisco california is a part of california
(termFormat EnglishLanguage California "california")	domainEnglishFormat.kif 12747-12747	San francisco california is a part of 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 a geopolitical area is an instance of american city and the geopolitical area is a part of california and the geopolitical area is not equal to 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 the geopolitical area
(=> (and (instance ?STATE AmericanState) (not (equal ?STATE California))) (greaterThan (CardinalityFn (ResidentFn California)) (CardinalityFn (ResidentFn ?STATE))))	CountriesAndRegions.kif 897-901	If a geopolitical area is an instance of american state and the geopolitical area is not equal to california, then the number of instances in the resident of california is greater than the number of instances in the resident of the geopolitical area

consequent

(=>
    (and
        (instance ?STATE AmericanState)
        (not
            (equal ?STATE California)))
    (greaterThan
        (CardinalityFn
            (ResidentFn California))
        (CardinalityFn
            (ResidentFn ?STATE))))

CountriesAndRegions.kif 897-901