Guam(關島) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3784-3784 | 關島 是 美國 的 dependent |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4247-4248 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 479-479 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 669-669 | 關島 是 大洋洲 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3884-3884 | 例 關島 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4246-4246 | 例 關島 and Island |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4201-4201 | 名 "Guam" and 關島 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26868-26868 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26867-26867 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26866-26866 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2860-2860 | "GU" 在 ISO-3166-1-alpha-2 denotes 關島 |