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