KikaiLanguage
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4681-4681 | Polar climate zone is an attribute of southern ocean |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4676-4676 | 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 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 | Southern ocean is a geographic subregion of southern hemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4649-4649 | Southern ocean is an instance of ocean |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4677-4677 | 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 4678-4678 | Iceberg is a natural hazard type in area of southern ocean |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4679-4679 | 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 4656-4656 | Southern ocean is partly located in eastern hemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4657-4657 | Southern ocean is partly located in western hemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4659-4660 | 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 4632-4632 | Indian ocean is connected to southern ocean |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4692-4692 | South sandwich trench is a geographic subregion of southern ocean |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4695-4695 | Antarctic circumpolar current is located at southern ocean |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4650-4650 | Southern ocean has name "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 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 4687-4689 | -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 4671-4674 | 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 4662-4669 | 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 |