|
|
  HeardIslandAndMcDonaldIslands
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3787-3787 | 听过岛屿和麦当劳群岛 是 澳大利亚 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3788-3788 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 495-495 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 162-162 | 听过岛屿和麦当劳群岛 是 非洲南部 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3886-3886 | 听过岛屿和麦当劳群岛 是 依赖或特殊主权领域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 143-143 | 听过岛屿和麦当劳群岛 是 岛 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 144-144 | 听过岛屿和麦当劳群岛 接上 印度洋 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3962-3962 | 听过岛屿和麦当劳群岛 的名 是 "Heard Island and McDonald Islands" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27762-27762 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27761-27761 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27760-27760 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2861-2861 | "HM" 在 ISO-3166-1-alpha-2 denotes 听过岛屿和麦当劳群岛 |
|
|
|
