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
(geographicSubregion California WesternNorthAmerica)	Geography.kif 425-425	geographicSubregion California and WesternNorthAmerica
(instance California AmericanState)	CountriesAndRegions.kif 895-895	California est une instance de AmericanState
(meetsSpatially California Mexico)	CountriesAndRegions.kif 904-904	California rencontre Mexico
(meetsSpatially California NewMexico)	CountriesAndRegions.kif 905-905	California rencontre NewMexico
(meetsSpatially California Oregon)	CountriesAndRegions.kif 906-906	California rencontre Oregon
(meetsSpatially California PacificOcean)	CountriesAndRegions.kif 903-903	California rencontre PacificOcean
(meetsSpatially California Washington)	CountriesAndRegions.kif 907-907	California rencontre Washington
(orientation California RockyMountains West)	Geography.kif 367-367	California est West � RockyMountains

appearance as argument number 2

(geographicSubregion SaltonSea California)	Geography.kif 5357-5357	geographicSubregion SaltonSea and California
(headquartersOfOrganization EBay California)	ComputingBrands.kif 4669-4669	headquartersOfOrganization EBay and California
(headquartersOfOrganization Netflix California)	Medicine.kif 4562-4562	headquartersOfOrganization Netflix and California
(meetsSpatially Arizona California)	CountriesAndRegions.kif 885-885	Arizona rencontre California
(meetsSpatially Nevada California)	CountriesAndRegions.kif 1031-1031	Nevada rencontre California
(meetsSpatially Oregon California)	CountriesAndRegions.kif 1083-1083	Oregon rencontre California
(part LosAngelesCalifornia California)	CountriesAndRegions.kif 810-810	LosAngelesCalifornia est une partie de California
(part SanFranciscoCalifornia California)	CountriesAndRegions.kif 791-791	SanFranciscoCalifornia est une partie de California
(termFormat ChineseLanguage California "加州")	domainEnglishFormat.kif 12742-12742	SanFranciscoCalifornia est une partie de California
(termFormat ChineseTraditionalLanguage California "加州")	domainEnglishFormat.kif 12741-12741	SanFranciscoCalifornia est une partie de California
(termFormat EnglishLanguage California "california")	domainEnglishFormat.kif 12740-12740	SanFranciscoCalifornia est une partie de California

antecedent

(=> (and (instance ?CITY AmericanCity) (part ?CITY California) (not (equal ?CITY LosAngelesCalifornia))) (greaterThan (CardinalityFn (ResidentFn LosAngelesCalifornia)) (CardinalityFn (ResidentFn ?CITY))))	CountriesAndRegions.kif 812-817	Secteur g�opolitique est une instance de AmericanCity secteur g�opolitique est une partie de California equal secteur g�opolitique and LosAngelesCalifornia le nombre d' instances dans ResidentFn LosAngelesCalifornia est plus grand que le nombre d' instances dans ResidentFn secteur g�opolitique
(=> (and (instance ?STATE AmericanState) (not (equal ?STATE California))) (greaterThan (CardinalityFn (ResidentFn California)) (CardinalityFn (ResidentFn ?STATE))))	CountriesAndRegions.kif 897-901	Secteur g�opolitique est une instance de AmericanState equal secteur g�opolitique and California le nombre d' instances dans ResidentFn California est plus grand que le nombre d' instances dans ResidentFn secteur g�opolitique

consequent

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

CountriesAndRegions.kif 897-901