|
|
  SouthernOcean
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4681-4681 | PolarClimateZone est un attribut de SouthernOcean |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4676-4676 | comparativeArea SouthernOcean, greaterThan, 2.0 and UnitedStates |
| 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 | geographicSubregion SouthernOcean and SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4649-4649 | SouthernOcean est une instance de Ocean |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4677-4677 | naturalHazardTypeInArea SouthernOcean and CyclonicStorm |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4678-4678 | naturalHazardTypeInArea SouthernOcean and Iceberg |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4679-4679 | naturalHazardTypeInArea SouthernOcean and SeaIce |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4656-4656 | SouthernOcean est partiellement localis� � EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4657-4657 | SouthernOcean est partiellement localis� � WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4659-4660 | totalArea SouthernOcean and 20327000.0 SquareKilometer(s) |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4632-4632 | IndianOcean est connect� � SouthernOcean |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4692-4692 | geographicSubregion SouthSandwichTrench and SouthernOcean |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4695-4695 | AntarcticCircumpolarCurrent est situ� � SouthernOcean |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4650-4650 | SouthernOcean s'appele nom "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 | elevation ElevationHighPointFn SouthernOcean and 0.0 Meter(s) |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4687-4689 | elevation ElevationLowPointFn SouthernOcean and -7235.0 Meter(s) |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4671-4674 | Le longueur de ShorelineFn SouthernOcean and Antarctica est 17968.0 1 millier Meters(s) |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4662-4669 | objectGeographicCoordinates GeographicCenterFn SouthernOcean, LatitudeFn South, 65.0 AngularDegree(s) and 0.0 ArcMinute(s) and LongitudeFn East, 0.0 AngularDegree(s) and 0.0 ArcMinute(s) |
|
|
|
