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 | geographicSubregion SouthAtlanticOcean and AtlanticOcean |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4558-4558 | geographicSubregion SouthAtlanticOcean and SouthernHemisphere |
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 4552-4552 | SouthAtlanticOcean est une instance de plan d'eau sal� |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4560-4560 | SouthAtlanticOcean est partiellement localis� � EasternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4559-4559 | SouthAtlanticOcean est partiellement localis� � WesternHemisphere |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 231-231 | SaintHelena est situ� � SouthAtlanticOcean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 138-138 | BouvetIsland rencontre SouthAtlanticOcean |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4554-4554 | SouthAtlanticOcean s'appele nom "South Atlantic Ocean" |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4555-4555 | SouthAtlanticOcean s'appele nom "South Atlantic" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54080-54080 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54079-54079 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54078-54078 |