| CityDistrict(city district) | | City_of_Westminster, Westminster, borough, downtown |
| appearance as argument number 1 |
|
|
| (documentation CityDistrict EnglishLanguage "Any geopoliticalSubdivision of a City.") | Mid-level-ontology.kif 9245-9245 | |
| (subclass CityDistrict GeopoliticalArea) | Mid-level-ontology.kif 9244-9244 | City district is a subclass of geopolitical area |
| appearance as argument number 2 |
|
|
| (subclass Downtown CityDistrict) | Mid-level-ontology.kif 9254-9254 | Downtown is a subclass of city district |
| (termFormat ChineseLanguage CityDistrict "市区") | domainEnglishFormat.kif 14925-14925 | Downtown is a subclass of city district |
| (termFormat ChineseTraditionalLanguage CityDistrict "市區") | domainEnglishFormat.kif 14924-14924 | Downtown is a subclass of city district |
| (termFormat EnglishLanguage CityDistrict "city district") | domainEnglishFormat.kif 14923-14923 | Downtown is a subclass of city district |
| antecedent |
|
|
| (<=> (instance ?DISTRICT CityDistrict) (exists (?CITY) (and (instance ?CITY City) (geopoliticalSubdivision ?DISTRICT ?CITY)))) |
Mid-level-ontology.kif 9247-9252 | 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 |
|
|
|