|
|
  NorthPacificOcean
|
|
|
| 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 | geographicSubregion NorthPacificOcean and NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4576-4576 | geographicSubregion NorthPacificOcean and PacificOcean |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4572-4572 | NorthPacificOcean est une instance de BodyOfWater |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4571-4571 | NorthPacificOcean est une instance de plan d'eau sal� |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4578-4578 | NorthPacificOcean est partiellement localis� � EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4579-4579 | NorthPacificOcean est partiellement localis� � WesternHemisphere |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4590-4590 | geographicSubregion NortheasternPacificOcean and NorthPacificOcean |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4603-4603 | geographicSubregion NorthwesternPacificOcean and NorthPacificOcean |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4573-4573 | NorthPacificOcean s'appele nom "North Pacific Ocean" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4574-4574 | NorthPacificOcean s'appele nom "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 |
|
|
|
