| Cambodia(柬埔寨)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3045-3045 | 柬埔寨瑞爾 是 柬埔寨 的 currency 類別 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1204-1204 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 627-627 | 發展中國家 是 柬埔寨 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 243-243 | 較未發達國家 是 柬埔寨 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 313-313 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 604-604 | 柬埔寨 是 東南亞 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 605-605 | 例 柬埔寨 and Nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2534-2534 | 吳哥窟柬埔寨 是 柬埔寨 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2608-2608 | Barkeo柬埔寨 是 柬埔寨 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3395-3395 | 金邊柬埔寨 是 柬埔寨 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4174-4174 | 名 "Cambodia" and 柬埔寨 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12793-12793 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12792-12792 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12791-12791 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2732-2732 | "KH" 在 ISO-3166-1-alpha-2 denotes 柬埔寨 |
|
|
|