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