| 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 8851-8851 | |
| (subclass CityDistrict GeopoliticalArea) | Mid-level-ontology.kif 8850-8850 | City district is a subclass of geopolitical area |
| appearance as argument number 2 |
|
|
| (subclass Downtown CityDistrict) | Mid-level-ontology.kif 8860-8860 | Downtown is a subclass of city district |
| (termFormat ChineseLanguage CityDistrict "市区") | domainEnglishFormat.kif 14931-14931 | Downtown is a subclass of city district |
| (termFormat ChineseTraditionalLanguage CityDistrict "市區") | domainEnglishFormat.kif 14930-14930 | Downtown is a subclass of city district |
| (termFormat EnglishLanguage CityDistrict "city district") | domainEnglishFormat.kif 14929-14929 | Downtown is a subclass of city district |
| antecedent |
|
|
| (<=> (instance ?DISTRICT CityDistrict) (exists (?CITY) (and (instance ?CITY City) (geopoliticalSubdivision ?DISTRICT ?CITY)))) |
Mid-level-ontology.kif 8853-8858 | 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 |
|
|
|