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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AmericanCity

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

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


(documentation AmericanCity EnglishLanguage "The class of cities that are in the UnitedStates.") CountriesAndRegions.kif 36-37
(externalImage AmericanCity "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5c/ DowntownLosAngeles.jpg") pictureList.kif 10388-10388
(externalImage AmericanCity "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6d/ Chicago3_SvG.jpg") pictureList.kif 10387-10387
(externalImage AmericanCity "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ Hollywood_boulevard_from_kodak_theatre.jpg") pictureList.kif 10389-10389
(externalImage AmericanCity "http://upload.wikimedia.org/wikipedia/commons/ c/ cc/ Painted_Ladies.jpg") pictureList.kif 10386-10386
(externalImage AmericanCity "http://upload.wikimedia.org/wikipedia/commons/ f/ f3/ Panorama_clip3.jpg") pictureList.kif 10385-10385
(subclass AmericanCity City) CountriesAndRegions.kif 35-35 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 ChicagoUnitedStates AmericanCity) CountriesAndRegions.kif 1610-1610 Chicago united states 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
(instance DallasTexas AmericanCity) CountriesAndRegions.kif 850-850 Dallas texas 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 FargoNorthDakota AmericanCity) CountriesAndRegions.kif 834-834 Fargo north dakota 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 KansasCityMissouri AmericanCity) CountriesAndRegions.kif 726-726 Kansas city missouri is an instance of american city
(instance LosAngelesCalifornia AmericanCity) CountriesAndRegions.kif 809-809 Los angeles california is an instance of american city
(instance ManchesterNewHampshire AmericanCity) CountriesAndRegions.kif 730-730 Manchester new hampshire is an instance of american city
(instance MemphisTennessee AmericanCity) CountriesAndRegions.kif 729-729 Memphis tennessee 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 NewYorkCityUnitedStates AmericanCity) CountriesAndRegions.kif 2128-2128 New york city united states 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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?CITY AmericanCity)
        (part ?CITY California)
        (not
            (equal ?CITY LosAngelesCalifornia)))
    (greaterThan
        (CardinalityFn
            (ResidentFn LosAngelesCalifornia))
        (CardinalityFn
            (ResidentFn ?CITY))))
CountriesAndRegions.kif 812-817
(=>
    (instance ?CITY AmericanCity)
    (lessThanOrEqualTo
        (CardinalityFn
            (ResidentFn ?CITY))
        (CardinalityFn
            (ResidentFn NewYorkCityUnitedStates))))
CountriesAndRegions.kif 2131-2135
(=>
    (instance ?CITY AmericanCity)
    (part ?CITY UnitedStates))
CountriesAndRegions.kif 39-41


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 is open source software produced by Articulate Software and its partners