| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1099-1099 | MaritimeExclusiveEconomicZone e' uma sub-classe de MaritimeClaimArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1100-1100 | MaritimeExclusiveEconomicZone e' uma sub-classe de Area Aquatica salgada |
|
|