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 24818-24818 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24817-24817 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24816-24816 |
|