No TPTP formula. May not be expressible in strict first order. |
Government.kif 2840-2840 |
東盟區域論壇 是 "ARF" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2839-2839 |
東盟區域論壇 是 "ASEAN Regional Forum" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8634-8634 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8633-8633 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8632-8632 |
|