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 e' uma instancia de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4571-4571 | NorthPacificOcean e' uma instancia de Area Aquatica salgada |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4578-4578 | NorthPacificOcean e' parcialmente localizado em EasternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4579-4579 | NorthPacificOcean e' parcialmente localizado em 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 se chama nome "North Pacific Ocean" |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4574-4574 | NorthPacificOcean se chama nome "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 |