CityDistrict
|
|
appearance as argument number 1 |
(documentation CityDistrict EnglishLanguage "Any geopoliticalSubdivision of a City.") | Mid-level-ontology.kif 8078-8078 | |
(subclass CityDistrict GeopoliticalArea) | Mid-level-ontology.kif 8077-8077 | City district is a subclass of geopolitical area |
appearance as argument number 2 |
(subclass Downtown CityDistrict) | Mid-level-ontology.kif 8087-8087 | Downtown is a subclass of city district |
(termFormat ChineseLanguage CityDistrict "市区") | domainEnglishFormat.kif 14916-14916 | |
(termFormat ChineseTraditionalLanguage CityDistrict "市區") | domainEnglishFormat.kif 14915-14915 | |
(termFormat EnglishLanguage CityDistrict "city district") | domainEnglishFormat.kif 14914-14914 |
antecedent |
(<=> (instance ?DISTRICT CityDistrict) (exists (?CITY) (and (instance ?CITY City) (geopoliticalSubdivision ?DISTRICT ?CITY)))) |
Mid-level-ontology.kif 8080-8085 | A geopolitical area is an instance of city district if and only if there exists another geopolitical area such that the other geopolitical area is an instance of city and the geopolitical area is a geopolitical part of the other geopolitical area |