CityDistrict - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

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

antecedent

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

X is an instance of city district if, only if there exists Y such that Y is an instance of city, and X is a geopolitical part of Y