SouthAtlanticOcean
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4562-4564 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2525-2525 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4557-4557 | South atlantic ocean is a geographic subregion of atlantic ocean |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4558-4558 | South atlantic ocean is a geographic subregion of southern hemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4553-4553 | South atlantic ocean is an instance of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4552-4552 | South atlantic ocean is an instance of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4560-4560 | South atlantic ocean is partly located in eastern hemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4559-4559 | South atlantic ocean is partly located in western hemisphere |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 231-231 | Saint helena is located at south atlantic ocean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 138-138 | Bouvet island meets south atlantic ocean |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4554-4554 | South atlantic ocean has name "South Atlantic Ocean" |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4555-4555 | South atlantic ocean has name "South Atlantic" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54078-54078 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54077-54077 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54076-54076 |