|
|
   SaltWaterArea
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14156-14156 | Area Aquatica salgada e' disjunto de Area Aquatica nao-salgada |
| 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 14157-14158 | |
| 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 14155-14155 | Area Aquatica salgada e' uma sub-classe de Area Aquatica |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5166-5166 | GulfOfAden e' uma instancia de Area Aquatica salgada |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5174-5174 | GulfOfMexico e' uma instancia de Area Aquatica salgada |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5158-5158 | GulfOfOman e' uma instancia de Area Aquatica salgada |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4539-4539 | NorthAtlanticOcean e' uma instancia de Area Aquatica salgada |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4571-4571 | NorthPacificOcean e' uma instancia de Area Aquatica salgada |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4585-4585 | NortheasternPacificOcean e' uma instancia de Area Aquatica salgada |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4598-4598 | NorthwesternPacificOcean e' uma instancia de Area Aquatica salgada |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5152-5152 | PersianGulf e' uma instancia de Area Aquatica salgada |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4552-4552 | SouthAtlanticOcean e' uma instancia de Area Aquatica salgada |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4611-4611 | SouthPacificOcean e' uma instancia de Area Aquatica salgada |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5313-5313 | StraitOfHormuz e' uma instancia de Area Aquatica salgada |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4498-4498 | WorldOcean e' uma instancia de Area Aquatica salgada |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5180-5180 | Estuary e' uma sub-classe de Area Aquatica salgada |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1133-1133 | ExclusiveFishingZone e' uma sub-classe de Area Aquatica salgada |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1165-1165 | ExtendedFishingZone e' uma sub-classe de Area Aquatica salgada |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5123-5123 | Gulf e' uma sub-classe de Area Aquatica salgada |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1031-1031 | MaritimeContiguousZone e' uma sub-classe de Area Aquatica salgada |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1100-1100 | MaritimeExclusiveEconomicZone e' uma sub-classe de Area Aquatica salgada |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4512-4512 | Ocean e' uma sub-classe de Area Aquatica salgada |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5086-5086 | SaltLake e' uma sub-classe de Area Aquatica salgada |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4757-4757 | Sea e' uma sub-classe de Area Aquatica salgada |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1197-1197 | TerritorialSea e' uma sub-classe de Area Aquatica salgada |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4944-4944 | Tide e' uma sub-classe de Area Aquatica salgada |
| 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 | O argumento numero 2 de SeacoastFn e' uma instancia de Area Aquatica salgada |
| 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 e' um atributo de Objeto Fisico Numero Real Objeto e' uma instancia de Area Aquatica salgada Objeto e' uma instancia de LandlockedWater a distancia entre Fisico e Objeto e' Numero Real NauticalMile(s) Numero Real e' maior 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 |
|
|
|
