No TPTP formula. May not be expressible in strict first order. | Geography.kif 983-987 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 998-1003 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 989-996 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1021-1021 | MaritimeClaimArea est une sous-classe de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1030-1030 | MaritimeContiguousZone est une sous-classe de MaritimeClaimArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1057-1057 | MaritimeShelfArea est une sous-classe de MaritimeClaimArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1099-1099 | MaritimeExclusiveEconomicZone est une sous-classe de MaritimeClaimArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1132-1132 | ExclusiveFishingZone est une sous-classe de MaritimeClaimArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1164-1164 | ExtendedFishingZone est une sous-classe de MaritimeClaimArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1196-1196 | TerritorialSea est une sous-classe de MaritimeClaimArea |