Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  LosAngelesCalifornia

 Sigma KEE - LosAngelesCalifornia
LosAngelesCalifornia(los angeles california)
more pictures...		City_of_the_Angels, Los_Angeles

appearance as argument number 1
-------------------------


(instance LosAngelesCalifornia AmericanCity) CountriesAndRegions.kif 809-809 Los angeles california is an instance of american city
(part LosAngelesCalifornia California) CountriesAndRegions.kif 810-810 Los angeles california is a part of california
(documentation LosAngelesCalifornia EnglishLanguage "The largest City in California.") CountriesAndRegions.kif 811-811 Los angeles california is a part of california
(geographicSubregion LosAngelesCalifornia UnitedStates) CountriesAndRegions.kif 3142-3142 Los angeles california is a geographic subregion of united states
(located LosAngelesCalifornia SouthernCalifornia) Geography.kif 547-547 Los angeles california is located at Southern California
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 85/ Flag_of_Los_Angeles%2C_California.svg") pictureList.kif 5311-5311 Los angeles california is located at Southern California
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 25/ Grauman%27s_Chinese_Theatre%2C_by_Carol_Highsmith.jpg") pictureList.kif 5313-5313 Los angeles california is located at Southern California
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1b/ Lacathedral.jpg") pictureList.kif 7206-7206 Los angeles california is located at Southern California
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1e/ 777citifig.jpg") pictureList.kif 7207-7207 Los angeles california is located at Southern California
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 31/ LAColiseumStatues.jpg") pictureList.kif 7208-7208 Los angeles california is located at Southern California
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 51/ Los_Angeles_Freeway_Interchange.jpg") pictureList.kif 7209-7209 Los angeles california is located at Southern California
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 59/ East_LA_Basin_from_Mulholland.jpg") pictureList.kif 7210-7210 Los angeles california is located at Southern California
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 5c/ DowntownLosAngeles.jpg") pictureList.kif 7211-7211 Los angeles california is located at Southern California
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 65/ Foxyplaza.jpg") pictureList.kif 7212-7212 Los angeles california is located at Southern California
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 79/ Los_Angeles_City_Hall_%28color%29.jpg") pictureList.kif 7213-7213 Los angeles california is located at Southern California
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 83/ Doheny.jpg") pictureList.kif 7214-7214 Los angeles california is located at Southern California
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 86/ Capitol_Records_Building_LA.jpg") pictureList.kif 7215-7215 Los angeles california is located at Southern California
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 87/ Downtownplazala.jpg") pictureList.kif 7216-7216 Los angeles california is located at Southern California
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8d/ RHall.JPG") pictureList.kif 7217-7217 Los angeles california is located at Southern California
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 92/ Hollywood_boulevard_from_kodak_theatre.jpg") pictureList.kif 7218-7218 Los angeles california is located at Southern California
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ a/ a2/ Los_Angeles_Temple_1.jpg") pictureList.kif 7220-7220 Los angeles california is located at Southern California
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ b/ b6/ Echo_Park_Lake_Los_Angeles_skyline.JPG") pictureList.kif 7221-7221 Los angeles california is located at Southern California
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ b/ b7/ Los_Angeles_City_Hall_with_sister_cities_2006.jpg") pictureList.kif 7222-7222 Los angeles california is located at Southern California
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ c/ c7/ PB050006.JPG") pictureList.kif 7223-7223 Los angeles california is located at Southern California
(externalImage LosAngelesCalifornia "http://upload.wikimedia.org/wikipedia/ commons/ e/ e1/ Vincent_Thomas_Bridge.jpg") pictureList.kif 7224-7224 Los angeles california is located at Southern California

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 3143-3143 Los angeles california has name "Los Angeles"
(termFormat EnglishLanguage LosAngelesCalifornia "los angeles california") domainEnglishFormat.kif 35035-35035 Los angeles california has name "Los Angeles"
(termFormat ChineseTraditionalLanguage LosAngelesCalifornia "洛杉磯加利福尼亞州") domainEnglishFormat.kif 35036-35036 Los angeles california has name "Los Angeles"
(termFormat ChineseLanguage LosAngelesCalifornia "洛杉矶加利福尼亚州") domainEnglishFormat.kif 35037-35037 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 If X is an instance of american city, X is a part of california, and equal X and los angeles california, then the number of instances in the resident of los angeles california is greater than the number of instances in the resident of X

consequent
-------------------------


(=>
    (and
        (instance ?CITY AmericanCity)
        (part ?CITY California)
        (not
            (equal ?CITY LosAngelesCalifornia)))
    (greaterThan
        (CardinalityFn
            (ResidentFn LosAngelesCalifornia))
        (CardinalityFn
            (ResidentFn ?CITY))))		 CountriesAndRegions.kif 812-817 If X is an instance of american city, X is a part of california, and equal X and los angeles california, then the number of instances in the resident of los angeles california is greater than the number of instances in the resident of X


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners