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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LosAngelesCalifornia
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 7209-7209
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1e/ 777citifig.jpg") pictureList.kif 7210-7210
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 25/ Grauman%27s_Chinese_Theatre%2C_by_Carol_Highsmith.jpg") pictureList.kif 5315-5315
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 31/ LAColiseumStatues.jpg") pictureList.kif 7211-7211
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 51/ Los_Angeles_Freeway_Interchange.jpg") pictureList.kif 7212-7212
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 59/ East_LA_Basin_from_Mulholland.jpg") pictureList.kif 7213-7213
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 5c/ DowntownLosAngeles.jpg") pictureList.kif 7214-7214
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 65/ Foxyplaza.jpg") pictureList.kif 7215-7215
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 79/ Los_Angeles_City_Hall_%28color%29.jpg") pictureList.kif 7216-7216
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7f/ California_County_of_Los_Angeles.png") pictureList.kif 7239-7239
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 83/ Doheny.jpg") pictureList.kif 7217-7217
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 85/ Flag_of_Los_Angeles%2C_California.svg") pictureList.kif 5313-5313
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 86/ Capitol_Records_Building_LA.jpg") pictureList.kif 7218-7218
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 87/ Downtownplazala.jpg") pictureList.kif 7219-7219
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8d/ RHall.JPG") pictureList.kif 7220-7220
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 92/ Hollywood_boulevard_from_kodak_theatre.jpg") pictureList.kif 7221-7221
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ a/ a2/ Los_Angeles_Temple_1.jpg") pictureList.kif 7223-7223
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ b/ b6/ Echo_Park_Lake_Los_Angeles_skyline.JPG") pictureList.kif 7224-7224
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ b/ b7/ Los_Angeles_City_Hall_with_sister_cities_2006.jpg") pictureList.kif 7225-7225
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ c/ c7/ PB050006.JPG") pictureList.kif 7226-7226
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ e/ e1/ Vincent_Thomas_Bridge.jpg") pictureList.kif 7227-7227
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ en/ 0/ 00/ Lapubliclibrary.jpg") pictureList.kif 7228-7228
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ en/ 6/ 6f/ IMG_9136.jpg") pictureList.kif 7231-7231
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ en/ 9/ 99/ Highsmithlaxlightsdnc2000.jpg") pictureList.kif 7233-7233

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 3140-3140
(termFormat ChineseLanguage LosAngelesCalifornia "洛杉矶加利福尼亚州") domainEnglishFormat.kif 35023-35023
(termFormat ChineseTraditionalLanguage LosAngelesCalifornia "洛杉磯加利福尼亞州") domainEnglishFormat.kif 35022-35022
(termFormat EnglishLanguage LosAngelesCalifornia "los angeles california") domainEnglishFormat.kif 35021-35021

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