| California
| |
| 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 | |
| (meetsSpatially California Mexico) | CountriesAndRegions.kif 904-904 | |
| (meetsSpatially California NewMexico) | CountriesAndRegions.kif 905-905 | |
| (meetsSpatially California Oregon) | CountriesAndRegions.kif 906-906 | |
| (meetsSpatially California PacificOcean) | CountriesAndRegions.kif 903-903 | |
| (meetsSpatially California Washington) | CountriesAndRegions.kif 907-907 |
| appearance as argument number 2 |
|
|
| (geographicSubregion SaltonSea California) | Geography.kif 5103-5103 | |
| (headquartersOfOrganization EBay California) | ComputingBrands.kif 4674-4674 | |
| (headquartersOfOrganization Netflix California) | Medicine.kif 4555-4555 | |
| (meetsSpatially Arizona California) | CountriesAndRegions.kif 885-885 | |
| (meetsSpatially Nevada California) | CountriesAndRegions.kif 1031-1031 | |
| (meetsSpatially Oregon California) | CountriesAndRegions.kif 1083-1083 | |
| (part LosAngelesCalifornia California) | CountriesAndRegions.kif 810-810 | |
| (part SanFranciscoCalifornia California) | CountriesAndRegions.kif 791-791 | |
| (termFormat ChineseLanguage California "加州") | domainEnglishFormat.kif 12744-12744 | |
| (termFormat ChineseTraditionalLanguage California "加州") | domainEnglishFormat.kif 12743-12743 | |
| (termFormat EnglishLanguage California "california") | domainEnglishFormat.kif 12742-12742 |
| 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 |
|
|
|