|
|
   CityDistrict
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8078-8078 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8077-8077 | City district is a subclass of geopolitical area |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8087-8087 | Downtown is a subclass of city district |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14916-14916 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14915-14915 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14914-14914 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | 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 |
|
|
|