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 子類 美國城市 and City

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


(instance AtlantaGeorgia AmericanCity) CountriesAndRegions.kif 710-710 例 美國佐治亞州亞特蘭大 and 美國城市
(instance BaltimoreMaryland AmericanCity) CountriesAndRegions.kif 713-713 例 巴爾的摩馬里蘭州 and 美國城市
(instance BostonMassachusetts AmericanCity) CountriesAndRegions.kif 723-723 例 馬薩諸塞州波士頓 and 美國城市
(instance ChicagoUnitedStates AmericanCity) CountriesAndRegions.kif 1610-1610 例 芝加哥美國 and 美國城市
(instance ClevelandOhio AmericanCity) CountriesAndRegions.kif 853-853 例 克利夫蘭俄亥俄州 and 美國城市
(instance ColumbusOhio AmericanCity) CountriesAndRegions.kif 857-857 例 哥倫布俄亥俄州 and 美國城市
(instance DallasTexas AmericanCity) CountriesAndRegions.kif 850-850 例 達拉斯得克薩斯 and 美國城市
(instance DenverColorado AmericanCity) CountriesAndRegions.kif 837-837 例 丹佛科羅拉多州 and 美國城市
(instance DetroitMichigan AmericanCity) CountriesAndRegions.kif 840-840 例 底特律密執安 and 美國城市
(instance FargoNorthDakota AmericanCity) CountriesAndRegions.kif 834-834 例 法戈北達科他州 and 美國城市
(instance HonoluluHawaii AmericanCity) CountriesAndRegions.kif 824-824 例 檀香山夏威夷 and 美國城市
(instance HoustonTexas AmericanCity) CountriesAndRegions.kif 827-827 例 休斯敦，德克薩斯州 and 美國城市
(instance KansasCityMissouri AmericanCity) CountriesAndRegions.kif 726-726 例 堪薩斯城密蘇里州 and 美國城市
(instance LosAngelesCalifornia AmericanCity) CountriesAndRegions.kif 809-809 例 洛杉磯加利福尼亞州 and 美國城市
(instance ManchesterNewHampshire AmericanCity) CountriesAndRegions.kif 730-730 例 曼徹斯特新罕布什爾州 and 美國城市
(instance MemphisTennessee AmericanCity) CountriesAndRegions.kif 729-729 例 孟菲斯田納西州 and 美國城市
(instance MinneapolisMinnesota AmericanCity) CountriesAndRegions.kif 736-736 例 明尼阿波利斯明尼蘇達州 and 美國城市
(instance NashvilleTennessee AmericanCity) CountriesAndRegions.kif 752-752 例 納什維爾田納西州 and 美國城市
(instance NewYorkCityUnitedStates AmericanCity) CountriesAndRegions.kif 2128-2128 例 紐約市美國 and 美國城市
(instance PhiladelphiaPennsylvania AmericanCity) CountriesAndRegions.kif 762-762 例 費城賓夕法尼亞州 and 美國城市
(instance PittsburghPennsylvania AmericanCity) CountriesAndRegions.kif 765-765 例 匹茲堡賓夕法尼亞州 and 美國城市
(instance ProvidenceRhodeIsland AmericanCity) CountriesAndRegions.kif 770-770 例 天意羅德島 and 美國城市
(instance RichmondVirginia AmericanCity) CountriesAndRegions.kif 774-774 例 里士滿弗吉尼亞州 and 美國城市
(instance SaintLouisMissouri AmericanCity) CountriesAndRegions.kif 782-782 例 聖路易斯密蘇里州 and 美國城市
(instance SaintPaulMinnesota AmericanCity) CountriesAndRegions.kif 785-785 例 聖保羅明尼蘇達州 and 美國城市

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