| (subclass City GeopoliticalArea) | Merge.kif 14244-14244 | Cidade e' uma sub-classe de Area Geopolitica |
| (subclass City LandArea) | Merge.kif 14245-14245 | Cidade e' uma sub-classe de Area terrestre |
| (subclass PortCity City) | Transportation.kif 837-837 | PortCity e' uma sub-classe de Cidade |
| (subclass AmericanCity City) | CountriesAndRegions.kif 35-35 | AmericanCity e' uma sub-classe de Cidade |
| (subclass EuropeanCity City) | CountriesAndRegions.kif 47-47 | EuropeanCity e' uma sub-classe de Cidade |
|
|