No TPTP formula. May not be expressible in strict first order. |
Government.kif 3792-3792 |
太平洋社区 是 "Pacific Community" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3794-3794 |
"SPC" 是对于 太平洋社区 的 former name |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3793-3793 |
"South Pacific Commission" 是对于 太平洋社区 的 former name |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43866-43866 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43865-43865 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43864-43864 |
|