|
|
  Cambodia
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3045-3045 | currencyType Cambodia and CambodianRiel |
| 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 | economyType Cambodia and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 243-243 | economyType Cambodia and LessDevelopedCountry |
| 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 | geographicSubregion Cambodia and SoutheasternAsia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 605-605 | Cambodia e' uma instancia de Nacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2534-2534 | geographicSubregion AngkorWatCambodia and Cambodia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2608-2608 | geographicSubregion BarkeoCambodia and Cambodia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3395-3395 | geographicSubregion PhnomPenhCambodia and Cambodia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4174-4174 | Cambodia se chama nome "Cambodia" |
| 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 | codeMapping ISO-3166-1-alpha-2, "KH" and Cambodia |
|
|
|
