Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LosAngelesCalifornia
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 35033-35033
(termFormat ChineseTraditionalLanguage LosAngelesCalifornia "洛杉磯加利福尼亞州") domainEnglishFormat.kif 35032-35032
(termFormat EnglishLanguage LosAngelesCalifornia "los angeles california") domainEnglishFormat.kif 35031-35031

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners