|
|
  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 54294-54294 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54293-54293 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54292-54292 |
| 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 南佐治亞和南三明治島嶼 |
|
|
|
