No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4540-4540 |
NorthAtlanticOcean est une instance de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4572-4572 |
NorthPacificOcean est une instance de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4586-4586 |
NortheasternPacificOcean est une instance de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4599-4599 |
NorthwesternPacificOcean est une instance de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4553-4553 |
SouthAtlanticOcean est une instance de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4612-4612 |
SouthPacificOcean est une instance de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4499-4499 |
WorldOcean est une instance de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5316-5316 |
Channel est une sous-classe de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5672-5672 |
Creek est une sous-classe de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5179-5179 |
Estuary est une sous-classe de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5122-5122 |
Gulf est une sous-classe de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5218-5218 |
Inlet est une sous-classe de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5078-5078 |
LandlockedWater est une sous-classe de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4513-4513 |
Ocean est une sous-classe de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5474-5474 |
River est une sous-classe de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4758-4758 |
Sea est une sous-classe de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5278-5278 |
Sound est une sous-classe de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5292-5292 |
Strait est une sous-classe de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11483-11483 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11482-11482 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11481-11481 |
|