HeardIslandAndMcDonaldIslands
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3787-3787 | Heard island and mc donald islands is a dependent of 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 | Heard island and mc donald islands is a geographic subregion of southern africa |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3886-3886 | Heard island and mc donald islands is an instance of dependency or special sovereignty area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 143-143 | Heard island and mc donald islands is an instance of island |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 144-144 | Heard island and mc donald islands meets indian ocean |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3962-3962 | Heard island and mc donald islands has name "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" in ISO-3166-1-alpha-2 denotes heard island and mc donald islands |