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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AmericanCity

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都市subclass では %n

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


(instance AtlantaGeorgia AmericanCity) CountriesAndRegions.kif 710-710 AtlantaGeorgiaAmericanCityinstance では %n
(instance BaltimoreMaryland AmericanCity) CountriesAndRegions.kif 713-713 BaltimoreMarylandAmericanCityinstance では %n
(instance BostonMassachusetts AmericanCity) CountriesAndRegions.kif 723-723 BostonMassachusettsAmericanCityinstance では %n
(instance ChicagoUnitedStates AmericanCity) CountriesAndRegions.kif 1610-1610 ChicagoUnitedStatesAmericanCityinstance では %n
(instance ClevelandOhio AmericanCity) CountriesAndRegions.kif 853-853 ClevelandOhioAmericanCityinstance では %n
(instance ColumbusOhio AmericanCity) CountriesAndRegions.kif 857-857 ColumbusOhioAmericanCityinstance では %n
(instance DallasTexas AmericanCity) CountriesAndRegions.kif 850-850 DallasTexasAmericanCityinstance では %n
(instance DenverColorado AmericanCity) CountriesAndRegions.kif 837-837 DenverColoradoAmericanCityinstance では %n
(instance DetroitMichigan AmericanCity) CountriesAndRegions.kif 840-840 DetroitMichiganAmericanCityinstance では %n
(instance FargoNorthDakota AmericanCity) CountriesAndRegions.kif 834-834 FargoNorthDakotaAmericanCityinstance では %n
(instance HonoluluHawaii AmericanCity) CountriesAndRegions.kif 824-824 HonoluluHawaiiAmericanCityinstance では %n
(instance HoustonTexas AmericanCity) CountriesAndRegions.kif 827-827 HoustonTexasAmericanCityinstance では %n
(instance KansasCityMissouri AmericanCity) CountriesAndRegions.kif 726-726 KansasCityMissouriAmericanCityinstance では %n
(instance LosAngelesCalifornia AmericanCity) CountriesAndRegions.kif 809-809 LosAngelesCaliforniaAmericanCityinstance では %n
(instance ManchesterNewHampshire AmericanCity) CountriesAndRegions.kif 730-730 ManchesterNewHampshireAmericanCityinstance では %n
(instance MemphisTennessee AmericanCity) CountriesAndRegions.kif 729-729 MemphisTennesseeAmericanCityinstance では %n
(instance MinneapolisMinnesota AmericanCity) CountriesAndRegions.kif 736-736 MinneapolisMinnesotaAmericanCityinstance では %n
(instance NashvilleTennessee AmericanCity) CountriesAndRegions.kif 752-752 NashvilleTennesseeAmericanCityinstance では %n
(instance NewYorkCityUnitedStates AmericanCity) CountriesAndRegions.kif 2128-2128 NewYorkCityUnitedStatesAmericanCityinstance では %n
(instance PhiladelphiaPennsylvania AmericanCity) CountriesAndRegions.kif 762-762 PhiladelphiaPennsylvaniaAmericanCityinstance では %n
(instance PittsburghPennsylvania AmericanCity) CountriesAndRegions.kif 765-765 PittsburghPennsylvaniaAmericanCityinstance では %n
(instance ProvidenceRhodeIsland AmericanCity) CountriesAndRegions.kif 770-770 ProvidenceRhodeIslandAmericanCityinstance では %n
(instance RichmondVirginia AmericanCity) CountriesAndRegions.kif 774-774 RichmondVirginiaAmericanCityinstance では %n
(instance SaintLouisMissouri AmericanCity) CountriesAndRegions.kif 782-782 SaintLouisMissouriAmericanCityinstance では %n
(instance SaintPaulMinnesota AmericanCity) CountriesAndRegions.kif 785-785 SaintPaulMinnesotaAmericanCityinstance では %n

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