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" and 四龍經濟 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 373-373 |
名 "Four Tigers" and 四龍經濟 |
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 |
|