Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(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 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners