SouthGeorgiaAndTheSouthSandwichIslands(南佐治亞和南三明治島嶼) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3840-3840 | 南佐治亞和南三明治島嶼 是 英國 的 dependent |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3841-3841 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 748-748 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 518-518 | 南佐治亞和南三明治島嶼 是 南美洲南部 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3914-3914 | 例 南佐治亞和南三明治島嶼 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 493-493 | 例 南佐治亞和南三明治島嶼 and LandArea |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4136-4136 | 名 "South Georgia and the South Sandwich Islands" and 南佐治亞和南三明治島嶼 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54296-54296 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54295-54295 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54294-54294 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2878-2878 | "GS" 在 ISO-3166-1-alpha-2 denotes 南佐治亞和南三明治島嶼 |