| NorthPacificOcean(north pacific ocean)
| | North_Pacific |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4581-4583 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2498-2498 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4577-4577 | North pacific ocean is a geographic subregion of northern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4576-4576 | North pacific ocean is a geographic subregion of pacific ocean |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4572-4572 | North pacific ocean is an instance of body of water |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4571-4571 | North pacific ocean is an instance of salt water area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4578-4578 | North pacific ocean is partly located in eastern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4579-4579 | North pacific ocean is partly located in western hemisphere |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4590-4590 | Northeastern Pacific ocean is a geographic subregion of north pacific ocean |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4603-4603 | Northwestern Pacific Ocean is a geographic subregion of north pacific ocean |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4573-4573 | North pacific ocean has name "North Pacific Ocean" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4574-4574 | North pacific ocean has name "North Pacific" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41205-41205 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41204-41204 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41203-41203 |
|
|
|