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


KB Term:  Term intersection
English Word: 

  Entity

 Sigma KEE - AmericanCity
AmericanCity(american city)
more pictures...

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


(subclass AmericanCity City) CountriesAndRegions.kif 35-35 American city is a subclass of city
(documentation AmericanCity EnglishLanguage "The class of cities that are in the UnitedStates.") CountriesAndRegions.kif 36-37 American city is a subclass of city
(externalImage AmericanCity "http://upload.wikimedia.org/wikipedia/commons/ f/ f3/ Panorama_clip3.jpg") pictureList.kif 10383-10383 American city is a subclass of city
(externalImage AmericanCity "http://upload.wikimedia.org/wikipedia/commons/ c/ cc/ Painted_Ladies.jpg") pictureList.kif 10384-10384 American city is a subclass of city
(externalImage AmericanCity "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6d/ Chicago3_SvG.jpg") pictureList.kif 10385-10385 American city is a subclass of city
(externalImage AmericanCity "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5c/ DowntownLosAngeles.jpg") pictureList.kif 10386-10386 American city is a subclass of city
(externalImage AmericanCity "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ Hollywood_boulevard_from_kodak_theatre.jpg") pictureList.kif 10387-10387 American city is a subclass of city

appearance as argument number 2
-------------------------


(instance AtlantaGeorgia AmericanCity) CountriesAndRegions.kif 710-710 Atlanta georgia is an instance of american city
(instance BaltimoreMaryland AmericanCity) CountriesAndRegions.kif 713-713 Baltimore maryland is an instance of american city
(instance BostonMassachusetts AmericanCity) CountriesAndRegions.kif 723-723 Boston, Massachusetts is an instance of american city
(instance KansasCityMissouri AmericanCity) CountriesAndRegions.kif 726-726 Kansas city missouri is an instance of american city
(instance MemphisTennessee AmericanCity) CountriesAndRegions.kif 729-729 Memphis tennessee is an instance of american city
(instance ManchesterNewHampshire AmericanCity) CountriesAndRegions.kif 730-730 Manchester new hampshire is an instance of american city
(instance MinneapolisMinnesota AmericanCity) CountriesAndRegions.kif 736-736 Minneapolis minnesota is an instance of american city
(instance NashvilleTennessee AmericanCity) CountriesAndRegions.kif 752-752 Nashville tennessee is an instance of american city
(instance PhiladelphiaPennsylvania AmericanCity) CountriesAndRegions.kif 762-762 Philadelphia pennsylvania is an instance of american city
(instance PittsburghPennsylvania AmericanCity) CountriesAndRegions.kif 765-765 Pittsburgh pennsylvania is an instance of american city
(instance ProvidenceRhodeIsland AmericanCity) CountriesAndRegions.kif 770-770 Providence rhode island is an instance of american city
(instance RichmondVirginia AmericanCity) CountriesAndRegions.kif 774-774 Richmond virginia is an instance of american city
(instance SaintLouisMissouri AmericanCity) CountriesAndRegions.kif 782-782 Saint louis missouri is an instance of american city
(instance SaintPaulMinnesota AmericanCity) CountriesAndRegions.kif 785-785 Saint paul minnesota is an instance of american city
(instance SanFranciscoCalifornia AmericanCity) CountriesAndRegions.kif 790-790 San francisco california is an instance of american city
(instance SavannahGeorgia AmericanCity) CountriesAndRegions.kif 794-794 Savannah georgia is an instance of american city
(instance LosAngelesCalifornia AmericanCity) CountriesAndRegions.kif 809-809 Los angeles california is an instance of american city
(instance HonoluluHawaii AmericanCity) CountriesAndRegions.kif 824-824 Honolulu hawaii is an instance of american city
(instance HoustonTexas AmericanCity) CountriesAndRegions.kif 827-827 Houston texas is an instance of american city
(instance FargoNorthDakota AmericanCity) CountriesAndRegions.kif 834-834 Fargo north dakota is an instance of american city
(instance DenverColorado AmericanCity) CountriesAndRegions.kif 837-837 Denver colorado is an instance of american city
(instance DetroitMichigan AmericanCity) CountriesAndRegions.kif 840-840 Detroit michigan is an instance of american city
(instance DallasTexas AmericanCity) CountriesAndRegions.kif 850-850 Dallas texas is an instance of american city
(instance ClevelandOhio AmericanCity) CountriesAndRegions.kif 853-853 Cleveland ohio is an instance of american city
(instance ColumbusOhio AmericanCity) CountriesAndRegions.kif 857-857 Columbus ohio is an instance of american city

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(=>
    (instance ?CITY AmericanCity)
    (part ?CITY UnitedStates))		 CountriesAndRegions.kif 39-41 If X is an instance of american city, then X is a part of united states
(=>
    (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
(=>
    (instance ?CITY AmericanCity)
    (lessThanOrEqualTo
        (CardinalityFn
            (ResidentFn ?CITY))
        (CardinalityFn
            (ResidentFn NewYorkCityUnitedStates))))		 CountriesAndRegions.kif 2135-2139 If X is an instance of american city, then the number of instances in the resident of X is less than or equal to the number of instances in the resident of new york city united states


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