|
|
  HeardIslandAndMcDonaldIslands
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3787-3787 | dependentGeopoliticalArea HeardIslandAndMcDonaldIslands and Australia |
| 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 | geographicSubregion HeardIslandAndMcDonaldIslands and SouthernAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3886-3886 | HeardIslandAndMcDonaldIslands e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 143-143 | HeardIslandAndMcDonaldIslands e' uma instancia de Ilha |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 144-144 | HeardIslandAndMcDonaldIslands encontra IndianOcean |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3962-3962 | HeardIslandAndMcDonaldIslands se chama nome "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 | codeMapping ISO-3166-1-alpha-2, "HM" and HeardIslandAndMcDonaldIslands |
|
|
|
