|
|
  SouthernOcean
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4580-4580 | Polar climate zone is an attribute of southern ocean |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4575-4575 | Southern ocean comparative area greater than for 2.0 with united states |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4551-4552 | |
| 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 4554-4554 | Southern ocean is a geographic subregion of southern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4548-4548 | Southern ocean is an instance of ocean |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4576-4576 | Cyclonic storm is a natural hazard type in area of southern ocean |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4577-4577 | Iceberg is a natural hazard type in area of southern ocean |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4578-4578 | Sea ice is a natural hazard type in area of southern ocean |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4555-4555 | Southern ocean is partly located in eastern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4556-4556 | Southern ocean is partly located in western hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4558-4559 | 20327000.0 Square kilometer(s) is a total area of southern ocean |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4531-4531 | Indian ocean is connected to southern ocean |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4591-4591 | South sandwich trench is a geographic subregion of southern ocean |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4594-4594 | Antarctic circumpolar current is located at southern ocean |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4549-4549 | Southern ocean has name "Southern Ocean" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54219-54219 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54218-54218 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54217-54217 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4582-4584 | 0.0 Meter(s) is an elevation of the elevation high point of southern ocean |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4586-4588 | -7235.0 Meter(s) is an elevation of the elevation low point of southern ocean |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4570-4573 | The length of the shoreline of southern ocean and antarctica is 17968.0 1 thousand meters(s) |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4561-4568 | The geographic center of southern ocean is object geographic coordinates the region south of 65.0 angular degree(s) for the meridian at 0.0 angular degree(s) east |
|
|
|
