|
|
   CityDistrict
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8105-8105 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8104-8104 | 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 8114-8114 | 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 8107-8112 | 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 |
|
|
|