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