| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14133-14133 | Plan d'eau sal� est une sous-classe de plan d'eau |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1031-1031 | MaritimeContiguousZone est une sous-classe de plan d'eau sal� |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1100-1100 | MaritimeExclusiveEconomicZone est une sous-classe de plan d'eau sal� |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1133-1133 | ExclusiveFishingZone est une sous-classe de plan d'eau sal� |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1165-1165 | ExtendedFishingZone est une sous-classe de plan d'eau sal� |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1197-1197 | TerritorialSea est une sous-classe de plan d'eau sal� |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4512-4512 | Ocean est une sous-classe de plan d'eau sal� |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4757-4757 | Sea est une sous-classe de plan d'eau sal� |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4944-4944 | Tide est une sous-classe de plan d'eau sal� |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5086-5086 | SaltLake est une sous-classe de plan d'eau sal� |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5123-5123 | Gulf est une sous-classe de plan d'eau sal� |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5180-5180 | Estuary est une sous-classe de plan d'eau sal� |
|
|