| FourDragonsEconomy(four dragons economy)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 379-382 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8491-8491 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9236-9236 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9237-9237 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 371-371 | Four dragons economy is an instance of economic development level |
| appearance as argument number 2 |
|
|
| 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. | Economy.kif 375-375 | Four dragons economy is an economy type of singapore |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 376-376 | Four dragons economy is an economy type of south korea |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 377-377 | Four dragons economy is an economy type of taiwan |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 372-372 | Four dragons economy has name "Four Dragons" |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 373-373 | Four dragons economy has name "Four Tigers" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24846-24846 | Four dragons economy has name "Four Tigers" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24845-24845 | Four dragons economy has name "Four Tigers" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24844-24844 | Four dragons economy has name "Four Tigers" |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 388-390 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 384-386 |
|
|
|
|