|
|
   SaltWaterArea
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14134-14134 | Plan d'eau sal� est disjoint de plan d'eau non sal� |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1449-1450 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14135-14136 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2519-2519 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2625-2625 | |
| 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 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5166-5166 | GulfOfAden est une instance de plan d'eau sal� |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5174-5174 | GulfOfMexico est une instance de plan d'eau sal� |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5158-5158 | GulfOfOman est une instance de plan d'eau sal� |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4539-4539 | NorthAtlanticOcean est une instance de plan d'eau sal� |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4571-4571 | NorthPacificOcean est une instance de plan d'eau sal� |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4585-4585 | NortheasternPacificOcean est une instance de plan d'eau sal� |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4598-4598 | NorthwesternPacificOcean est une instance de plan d'eau sal� |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5152-5152 | PersianGulf est une instance de plan d'eau sal� |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4552-4552 | SouthAtlanticOcean est une instance de plan d'eau sal� |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4611-4611 | SouthPacificOcean est une instance de plan d'eau sal� |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5313-5313 | StraitOfHormuz est une instance de plan d'eau sal� |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4498-4498 | WorldOcean est une instance 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� |
| 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 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 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 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 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 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 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 4944-4944 | Tide est une sous-classe de plan d'eau sal� |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 951-951 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6112-6112 | Le nombre 2 argument de SeacoastFn est une instance de plan d'eau sal� |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5239-5244 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4711-4720 | OpenSea est un attribut de objet physique nombre r�el objet est une instance de plan d'eau sal� objet est une instance de LandlockedWater la distance entre physique et objet est nombre r�el NauticalMile(s) nombre r�el est plus grand que 5.0 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6126-6131 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5239-5244 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 942-950 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5138-5143 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2829-2834 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5187-5193 |
|
|
|
