No TPTP formula. May not be expressible in strict first order. |
Economy.kif 374-374 |
四龙经济 是 香港 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 375-375 |
四龙经济 是 新加坡 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 376-376 |
四龙经济 是 韩国 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 377-377 |
四龙经济 是 台湾 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 372-372 |
四龙经济 的名 是 "Four Dragons" |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 373-373 |
四龙经济 的名 是 "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 |
|