|
|
  SouthernOcean
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4681-4681 | attribute 南部海洋 and 極地氣候區 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4676-4676 | 南部海洋 comparative 地區 比較多 對於 2.0 跟 美國 在一起 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4652-4653 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 750-750 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4655-4655 | 南部海洋 是 南半球 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4649-4649 | 例 南部海洋 and 海洋 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4677-4677 | 氣旋風暴 是區域 南部海洋 的 natural 有害類別 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4678-4678 | 冰山 是區域 南部海洋 的 natural 有害類別 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4679-4679 | 海冰 是區域 南部海洋 的 natural 有害類別 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4656-4656 | 部分位於 南部海洋 and 東半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4657-4657 | 部分位於 南部海洋 and 西半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4659-4660 | 測量 20327000.0 and 平方千米 是 南部海洋 的 total 區域 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4632-4632 | 連接的 印度洋 and 南部海洋 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4692-4692 | 南三明治溝 是 南部海洋 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4695-4695 | 位於 南極極地電流 and 南部海洋 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4650-4650 | 名 "Southern Ocean" and 南部海洋 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54240-54240 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54239-54239 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54238-54238 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4683-4685 | 測量 0.0 and 儀表 是 南部海洋 的 elevation 高點 的 elevation |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4687-4689 | 測量 -7235.0 and 儀表 是 南部海洋 的 elevation 低點 的 elevation |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4671-4674 | length 南部海洋 和 南極洲 的 shoreline and 測量 17968.0 and 千 儀表 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4662-4669 | 南部海洋 的 geographic 中心 是 對於 在 測量 0.0 and 圓周角度 東 的 meridian 的 object 地理座標 測量 65.0 and 圓周角度 的 region 南 |
|
|
|
