| 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 9240-9240 | |
| (subclass CityDistrict GeopoliticalArea) | Mid-level-ontology.kif 9239-9239 | City district is a subclass of geopolitical area |
| appearance as argument number 2 |
|
|
| (subclass Downtown CityDistrict) | Mid-level-ontology.kif 9249-9249 | Downtown is a subclass of city district |
| (termFormat ChineseLanguage CityDistrict "市区") | domainEnglishFormat.kif 14924-14924 | Downtown is a subclass of city district |
| (termFormat ChineseTraditionalLanguage CityDistrict "市區") | domainEnglishFormat.kif 14923-14923 | Downtown is a subclass of city district |
| (termFormat EnglishLanguage CityDistrict "city district") | domainEnglishFormat.kif 14922-14922 | Downtown is a subclass of city district |
| antecedent |
|
|
| (<=> (instance ?DISTRICT CityDistrict) (exists (?CITY) (and (instance ?CITY City) (geopoliticalSubdivision ?DISTRICT ?CITY)))) |
Mid-level-ontology.kif 9242-9247 | 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 |
|
|
|