CityDistrict - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(subclass Downtown CityDistrict)	Mid-level-ontology.kif 7809-7809
(termFormat ChineseLanguage CityDistrict "市区")	domainEnglishFormat.kif 14926-14926
(termFormat ChineseTraditionalLanguage CityDistrict "市區")	domainEnglishFormat.kif 14925-14925
(termFormat EnglishLanguage CityDistrict "city district")	domainEnglishFormat.kif 14924-14924

antecedent

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

Mid-level-ontology.kif 7802-7807