No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4540-4540 |
NorthAtlanticOcean e' uma instancia de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4572-4572 |
NorthPacificOcean e' uma instancia de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4586-4586 |
NortheasternPacificOcean e' uma instancia de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4599-4599 |
NorthwesternPacificOcean e' uma instancia de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4553-4553 |
SouthAtlanticOcean e' uma instancia de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4612-4612 |
SouthPacificOcean e' uma instancia de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4499-4499 |
WorldOcean e' uma instancia de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5316-5316 |
Channel e' uma sub-classe de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5672-5672 |
Creek e' uma sub-classe de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5179-5179 |
Estuary e' uma sub-classe de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5122-5122 |
Gulf e' uma sub-classe de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5218-5218 |
Inlet e' uma sub-classe de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5078-5078 |
LandlockedWater e' uma sub-classe de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4513-4513 |
Ocean e' uma sub-classe de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5474-5474 |
River e' uma sub-classe de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4758-4758 |
Sea e' uma sub-classe de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5278-5278 |
Sound e' uma sub-classe de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5292-5292 |
Strait e' uma sub-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 |
|