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 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 AmericanCity e' uma sub-classe de Cidade

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


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

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