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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AmericanCity
AmericanCity
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 10409-10409
(externalImage AmericanCity "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6d/ Chicago3_SvG.jpg") pictureList.kif 10408-10408
(externalImage AmericanCity "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ Hollywood_boulevard_from_kodak_theatre.jpg") pictureList.kif 10410-10410
(externalImage AmericanCity "http://upload.wikimedia.org/wikipedia/commons/ c/ cc/ Painted_Ladies.jpg") pictureList.kif 10407-10407
(externalImage AmericanCity "http://upload.wikimedia.org/wikipedia/commons/ f/ f3/ Panorama_clip3.jpg") pictureList.kif 10406-10406
(subclass AmericanCity City) CountriesAndRegions.kif 35-35

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


(instance AtlantaGeorgia AmericanCity) CountriesAndRegions.kif 710-710
(instance BaltimoreMaryland AmericanCity) CountriesAndRegions.kif 713-713
(instance BostonMassachusetts AmericanCity) CountriesAndRegions.kif 723-723
(instance ChicagoUnitedStates AmericanCity) CountriesAndRegions.kif 1610-1610
(instance ClevelandOhio AmericanCity) CountriesAndRegions.kif 853-853
(instance ColumbusOhio AmericanCity) CountriesAndRegions.kif 857-857
(instance DallasTexas AmericanCity) CountriesAndRegions.kif 850-850
(instance DenverColorado AmericanCity) CountriesAndRegions.kif 837-837
(instance DetroitMichigan AmericanCity) CountriesAndRegions.kif 840-840
(instance FargoNorthDakota AmericanCity) CountriesAndRegions.kif 834-834
(instance HonoluluHawaii AmericanCity) CountriesAndRegions.kif 824-824
(instance HoustonTexas AmericanCity) CountriesAndRegions.kif 827-827
(instance KansasCityMissouri AmericanCity) CountriesAndRegions.kif 726-726
(instance LosAngelesCalifornia AmericanCity) CountriesAndRegions.kif 809-809
(instance ManchesterNewHampshire AmericanCity) CountriesAndRegions.kif 730-730
(instance MemphisTennessee AmericanCity) CountriesAndRegions.kif 729-729
(instance MinneapolisMinnesota AmericanCity) CountriesAndRegions.kif 736-736
(instance NashvilleTennessee AmericanCity) CountriesAndRegions.kif 752-752
(instance NewYorkCityUnitedStates AmericanCity) CountriesAndRegions.kif 2128-2128
(instance PhiladelphiaPennsylvania AmericanCity) CountriesAndRegions.kif 762-762
(instance PittsburghPennsylvania AmericanCity) CountriesAndRegions.kif 765-765
(instance ProvidenceRhodeIsland AmericanCity) CountriesAndRegions.kif 770-770
(instance RichmondVirginia AmericanCity) CountriesAndRegions.kif 774-774
(instance SaintLouisMissouri AmericanCity) CountriesAndRegions.kif 782-782
(instance SaintPaulMinnesota AmericanCity) CountriesAndRegions.kif 785-785

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 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