No TPTP formula. May not be expressible in strict first order. |
Government.kif 2876-2876 |
东盟区域论坛 是 "ARF" 的简称 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2875-2875 |
东盟区域论坛 是 "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 |
|