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 41207-41207 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41206-41206 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41205-41205 |