| 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 | 北太平洋 是 北半球 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4576-4576 | 北太平洋 是 太平洋 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4572-4572 | 北太平洋 是 水体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4571-4571 | 北太平洋 是 盐水区 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4578-4578 | 北太平洋 是 partlyLocated 在 东半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4579-4579 | 北太平洋 是 partlyLocated 在 西半球 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4590-4590 | NortheasternPacificOcean 是 北太平洋 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4603-4603 | NorthwesternPacificOcean 是 北太平洋 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4573-4573 | 北太平洋 的名 是 "North Pacific Ocean" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4574-4574 | 北太平洋 的名 是 "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 |
|
|
|