|
|
  HongKong
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3197-3197 | Hong kong dollar is a currency type of hong kong |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3789-3789 | Hong kong is a dependent of china |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3790-3790 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 544-544 | Advanced economy is an economy type of hong kong |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 374-374 | Four dragons economy is an economy type of hong kong |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 502-502 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 547-547 | Hong kong is a geographic subregion of eastern asia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3887-3887 | Hong kong is an instance of dependency or special sovereignty area |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 542-542 | Hong kong is an instance of land area |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4149-4149 | Hong kong has name "Hong Kong" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28521-28521 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28520-28520 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28519-28519 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2862-2862 | "HK" in ISO-3166-1-alpha-2 denotes hong kong |
|
|
|
