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 美国城市城市subclass

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


(instance AtlantaGeorgia AmericanCity) CountriesAndRegions.kif 710-710 美国佐治亚州亚特兰大美国城市instance
(instance BaltimoreMaryland AmericanCity) CountriesAndRegions.kif 713-713 巴尔的摩马里兰州美国城市instance
(instance BostonMassachusetts AmericanCity) CountriesAndRegions.kif 723-723 马萨诸塞州波士顿美国城市instance
(instance ChicagoUnitedStates AmericanCity) CountriesAndRegions.kif 1610-1610 芝加哥美国美国城市instance
(instance ClevelandOhio AmericanCity) CountriesAndRegions.kif 853-853 克利夫兰俄亥俄州美国城市instance
(instance ColumbusOhio AmericanCity) CountriesAndRegions.kif 857-857 哥伦布俄亥俄州美国城市instance
(instance DallasTexas AmericanCity) CountriesAndRegions.kif 850-850 达拉斯得克萨斯美国城市instance
(instance DenverColorado AmericanCity) CountriesAndRegions.kif 837-837 丹佛科罗拉多州美国城市instance
(instance DetroitMichigan AmericanCity) CountriesAndRegions.kif 840-840 底特律密执安美国城市instance
(instance FargoNorthDakota AmericanCity) CountriesAndRegions.kif 834-834 法戈北达科他州美国城市instance
(instance HonoluluHawaii AmericanCity) CountriesAndRegions.kif 824-824 檀香山夏威夷美国城市instance
(instance HoustonTexas AmericanCity) CountriesAndRegions.kif 827-827 休斯敦,德克萨斯州美国城市instance
(instance KansasCityMissouri AmericanCity) CountriesAndRegions.kif 726-726 堪萨斯城密苏里州美国城市instance
(instance LosAngelesCalifornia AmericanCity) CountriesAndRegions.kif 809-809 洛杉矶加利福尼亚州美国城市instance
(instance ManchesterNewHampshire AmericanCity) CountriesAndRegions.kif 730-730 曼彻斯特新罕布什尔州美国城市instance
(instance MemphisTennessee AmericanCity) CountriesAndRegions.kif 729-729 孟菲斯田纳西州美国城市instance
(instance MinneapolisMinnesota AmericanCity) CountriesAndRegions.kif 736-736 明尼阿波利斯明尼苏达州美国城市instance
(instance NashvilleTennessee AmericanCity) CountriesAndRegions.kif 752-752 纳什维尔田纳西州美国城市instance
(instance NewYorkCityUnitedStates AmericanCity) CountriesAndRegions.kif 2128-2128 纽约市美国美国城市instance
(instance PhiladelphiaPennsylvania AmericanCity) CountriesAndRegions.kif 762-762 费城宾夕法尼亚州美国城市instance
(instance PittsburghPennsylvania AmericanCity) CountriesAndRegions.kif 765-765 匹兹堡宾夕法尼亚州美国城市instance
(instance ProvidenceRhodeIsland AmericanCity) CountriesAndRegions.kif 770-770 天意罗德岛美国城市instance
(instance RichmondVirginia AmericanCity) CountriesAndRegions.kif 774-774 里士满弗吉尼亚州美国城市instance
(instance SaintLouisMissouri AmericanCity) CountriesAndRegions.kif 782-782 圣路易斯密苏里州美国城市instance
(instance SaintPaulMinnesota AmericanCity) CountriesAndRegions.kif 785-785 圣保罗明尼苏达州美国城市instance

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