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 | 加州 是 美国国家 的 instance |
(meetsSpatially California Mexico) | CountriesAndRegions.kif 904-904 | 加州 接上 墨西哥 |
(meetsSpatially California NewMexico) | CountriesAndRegions.kif 905-905 | 加州 接上 新墨西哥 |
(meetsSpatially California Oregon) | CountriesAndRegions.kif 906-906 | 加州 接上 Oregon |
(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 | 萨尔顿海 是 加州 的 geographic 次要地区 |
(headquartersOfOrganization EBay California) | ComputingBrands.kif 4674-4674 | EBay 的 headquarters 是在 加州 |
(headquartersOfOrganization Netflix California) | Medicine.kif 4555-4555 | Netflix 的 headquarters 是在 加州 |
(meetsSpatially Arizona California) | CountriesAndRegions.kif 885-885 | Arizona 接上 加州 |
(meetsSpatially Nevada California) | CountriesAndRegions.kif 1031-1031 | Nevada 接上 加州 |
(meetsSpatially Oregon California) | CountriesAndRegions.kif 1083-1083 | Oregon 接上 加州 |
(part LosAngelesCalifornia California) | CountriesAndRegions.kif 810-810 | 洛杉矶加利福尼亚州 是 加州 的 part |
(part SanFranciscoCalifornia California) | CountriesAndRegions.kif 791-791 | 旧金山加利福尼亚州 是 加州 的 part |
(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 |