No TPTP formula. May not be expressible in strict first order. |
Government.kif 3321-3321 |
10人小組 是 "G-10" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3320-3320 |
10人小組 是 "Group of 10" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3322-3322 |
10人小組 是 "Paris Club" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26742-26742 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26741-26741 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26740-26740 |
|