| 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 | 关岛 是 依赖或特殊主权领域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4246-4246 | 关岛 是 岛 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4201-4201 | 关岛 的名 是 "Guam" |
| 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 关岛 |
|
|
|