CityDistrict - Sigma Knowledge base Browser

appearance as argument number 1

(subclass CityDistrict GeopoliticalArea)	Mid-level-ontology.kif 9398-9398
(documentation CityDistrict EnglishLanguage "Any geopoliticalSubdivision of a City.")	Mid-level-ontology.kif 9399-9399

appearance as argument number 2

(subclass Downtown CityDistrict)	Mid-level-ontology.kif 9408-9408
(termFormat EnglishLanguage CityDistrict "city district")	domainEnglishFormat.kif 14916-14916
(termFormat ChineseTraditionalLanguage CityDistrict "市區")	domainEnglishFormat.kif 14917-14917
(termFormat ChineseLanguage CityDistrict "市区")	domainEnglishFormat.kif 14918-14918

antecedent

(<=>
    (instance ?DISTRICT CityDistrict)
    (exists (?CITY)
        (and
            (instance ?CITY City)
            (geopoliticalSubdivision ?DISTRICT ?CITY))))