|
|
  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 | 例 聽過島嶼和麥當勞群島 and 依賴或特殊主權領域 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 143-143 | 例 聽過島嶼和麥當勞群島 and Island |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 144-144 | 空間的符合 聽過島嶼和麥當勞群島 and 印度洋 |
| 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" and 聽過島嶼和麥當勞群島 |
| 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 聽過島嶼和麥當勞群島 |
|
|
|
