Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  SouthernOcean

Sigma KEE - SouthernOcean
SouthernOcean(southern ocean)
Antarctic_Ocean

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners