more pictures...
| LosAngelesCalifornia(los angeles california)
more pictures... | | City_of_the_Angels, Los_Angeles |
| 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 7207-7207 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1e/ 777citifig.jpg") | pictureList.kif 7208-7208 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 25/ Grauman%27s_Chinese_Theatre%2C_by_Carol_Highsmith.jpg") | pictureList.kif 5314-5314 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 31/ LAColiseumStatues.jpg") | pictureList.kif 7209-7209 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 51/ Los_Angeles_Freeway_Interchange.jpg") | pictureList.kif 7210-7210 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 59/ East_LA_Basin_from_Mulholland.jpg") | pictureList.kif 7211-7211 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 5c/ DowntownLosAngeles.jpg") | pictureList.kif 7212-7212 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 65/ Foxyplaza.jpg") | pictureList.kif 7213-7213 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 79/ Los_Angeles_City_Hall_%28color%29.jpg") | pictureList.kif 7214-7214 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7f/ California_County_of_Los_Angeles.png") | pictureList.kif 7237-7237 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 83/ Doheny.jpg") | pictureList.kif 7215-7215 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 85/ Flag_of_Los_Angeles%2C_California.svg") | pictureList.kif 5312-5312 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 86/ Capitol_Records_Building_LA.jpg") | pictureList.kif 7216-7216 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 87/ Downtownplazala.jpg") | pictureList.kif 7217-7217 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8d/ RHall.JPG") | pictureList.kif 7218-7218 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 92/ Hollywood_boulevard_from_kodak_theatre.jpg") | pictureList.kif 7219-7219 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ a/ a2/ Los_Angeles_Temple_1.jpg") | pictureList.kif 7221-7221 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ b/ b6/ Echo_Park_Lake_Los_Angeles_skyline.JPG") | pictureList.kif 7222-7222 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ b/ b7/ Los_Angeles_City_Hall_with_sister_cities_2006.jpg") | pictureList.kif 7223-7223 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ c/ c7/ PB050006.JPG") | pictureList.kif 7224-7224 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ e/ e1/ Vincent_Thomas_Bridge.jpg") | pictureList.kif 7225-7225 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ en/ 0/ 00/ Lapubliclibrary.jpg") | pictureList.kif 7226-7226 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ en/ 6/ 6f/ IMG_9136.jpg") | pictureList.kif 7229-7229 | |
| (externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ en/ 9/ 99/ Highsmithlaxlightsdnc2000.jpg") | pictureList.kif 7231-7231 | |
| 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 | Los angeles california has name "Los Angeles" |
| (termFormat ChineseLanguage LosAngelesCalifornia "洛杉矶加利福尼亚州") | domainEnglishFormat.kif 35067-35067 | Los angeles california has name "Los Angeles" |
| (termFormat ChineseTraditionalLanguage LosAngelesCalifornia "洛杉磯加利福尼亞州") | domainEnglishFormat.kif 35066-35066 | Los angeles california has name "Los Angeles" |
| (termFormat EnglishLanguage LosAngelesCalifornia "los angeles california") | domainEnglishFormat.kif 35065-35065 | Los angeles california has name "Los Angeles" |
| 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 |
|
|
|
|