Cambodia(cambodia) | Cambodia, Kampuchea, Kingdom_of_Cambodia |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3045-3045 | Cambodian riel is a currency type of cambodia |
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 | Developing country is an economy type of cambodia |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 243-243 | Less developed country is an economy type of cambodia |
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 | Cambodia is a geographic subregion of southeastern asia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 605-605 | Cambodia is an instance of nation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2534-2534 | Angkor wat cambodia is a geographic subregion of cambodia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2608-2608 | Barkeo cambodia is a geographic subregion of cambodia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3395-3395 | Phnom penh cambodia is a geographic subregion of cambodia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4174-4174 | Cambodia has name "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 | "KH" in ISO-3166-1-alpha-2 denotes cambodia |