more pictures...
| LosAngelesCalifornia
more pictures... | |
| appearance as argument number 1 |
|
|
| (documentation LosAngelesCalifornia EnglishLanguage "The largest City in California.") | CountriesAndRegions.kif 811-811 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1b/ Lacathedral.jpg") | pictureList.kif 7206-7206 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1e/ 777citifig.jpg") | pictureList.kif 7207-7207 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 25/ Grauman%27s_Chinese_Theatre%2C_by_Carol_Highsmith.jpg") | pictureList.kif 5313-5313 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 31/ LAColiseumStatues.jpg") | pictureList.kif 7208-7208 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 51/ Los_Angeles_Freeway_Interchange.jpg") | pictureList.kif 7209-7209 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 59/ East_LA_Basin_from_Mulholland.jpg") | pictureList.kif 7210-7210 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 5c/ DowntownLosAngeles.jpg") | pictureList.kif 7211-7211 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 65/ Foxyplaza.jpg") | pictureList.kif 7212-7212 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 79/ Los_Angeles_City_Hall_%28color%29.jpg") | pictureList.kif 7213-7213 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7f/ California_County_of_Los_Angeles.png") | pictureList.kif 7236-7236 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 83/ Doheny.jpg") | pictureList.kif 7214-7214 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 85/ Flag_of_Los_Angeles%2C_California.svg") | pictureList.kif 5311-5311 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 86/ Capitol_Records_Building_LA.jpg") | pictureList.kif 7215-7215 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 87/ Downtownplazala.jpg") | pictureList.kif 7216-7216 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8d/ RHall.JPG") | pictureList.kif 7217-7217 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 92/ Hollywood_boulevard_from_kodak_theatre.jpg") | pictureList.kif 7218-7218 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ a/ a2/ Los_Angeles_Temple_1.jpg") | pictureList.kif 7220-7220 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ b/ b6/ Echo_Park_Lake_Los_Angeles_skyline.JPG") | pictureList.kif 7221-7221 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ b/ b7/ Los_Angeles_City_Hall_with_sister_cities_2006.jpg") | pictureList.kif 7222-7222 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ c/ c7/ PB050006.JPG") | pictureList.kif 7223-7223 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ e/ e1/ Vincent_Thomas_Bridge.jpg") | pictureList.kif 7224-7224 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ en/ 0/ 00/ Lapubliclibrary.jpg") | pictureList.kif 7225-7225 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ en/ 6/ 6f/ IMG_9136.jpg") | pictureList.kif 7228-7228 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ en/ 9/ 99/ Highsmithlaxlightsdnc2000.jpg") | pictureList.kif 7230-7230 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 2 |
|
|
| (names "Los Angeles" LosAngelesCalifornia) | CountriesAndRegions.kif 3139-3139 | |
| (termFormat ChineseLanguage LosAngelesCalifornia "洛杉矶加利福尼亚州") | domainEnglishFormat.kif 35062-35062 | |
| (termFormat ChineseTraditionalLanguage LosAngelesCalifornia "洛杉磯加利福尼亞州") | domainEnglishFormat.kif 35061-35061 | |
| (termFormat EnglishLanguage LosAngelesCalifornia "los angeles california") | domainEnglishFormat.kif 35060-35060 |
| antecedent |
|
|
| (=> (and (instance ?CITY AmericanCity) (part ?CITY California) (not (equal ?CITY LosAngelesCalifornia))) (greaterThan (CardinalityFn (ResidentFn LosAngelesCalifornia)) (CardinalityFn (ResidentFn ?CITY)))) |
CountriesAndRegions.kif 812-817 |
| consequent |
|
|
| (=> (and (instance ?CITY AmericanCity) (part ?CITY California) (not (equal ?CITY LosAngelesCalifornia))) (greaterThan (CardinalityFn (ResidentFn LosAngelesCalifornia)) (CardinalityFn (ResidentFn ?CITY)))) |
CountriesAndRegions.kif 812-817 |
|
|
|