|
|
  SouthernOcean
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4681-4681 | 极地气候区 是 南部海洋 的 attribute |
| 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 | 南部海洋 是 海洋 的 instance |
| 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 | 南部海洋 是 partlyLocated 在 东半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4657-4657 | 南部海洋 是 partlyLocated 在 西半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4659-4660 | 20327000.0 平方千米 是 南部海洋 的 total 區域 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4632-4632 | 印度洋 和 南部海洋 是 connected |
| 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 | 南极极地电流 是 located 在 南部海洋 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4650-4650 | 南部海洋 的名 是 "Southern Ocean" |
| 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 仪表 是 南部海洋 的 elevation 高点 的 elevation |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4687-4689 | -7235.0 仪表 是 南部海洋 的 elevation 低点 的 elevation |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4671-4674 | 南部海洋 和 南极洲 的 shoreline 的 length 是 17968.0 仪表 的一千倍 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4662-4669 | 南部海洋 的 geographic 中心 是 对于 在 0.0 圆周角度 东 的 meridian 的 object 地理座标 65.0 圆周角度 的 region 南 |
|
|
|
