|
|
  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 | 南大西洋 是 大西洋 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4558-4558 | 南大西洋 是 南半球 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4553-4553 | 南大西洋 是 水体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4552-4552 | 南大西洋 是 盐水区 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4560-4560 | 南大西洋 是 partlyLocated 在 东半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4559-4559 | 南大西洋 是 partlyLocated 在 西半球 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 231-231 | 圣海伦娜 是 located 在 南大西洋 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 138-138 | 布维岛 接上 南大西洋 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4554-4554 | 南大西洋 的名 是 "South Atlantic Ocean" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4555-4555 | 南大西洋 的名 是 "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 |
|
|
|
