No TPTP formula. May not be expressible in strict first order. |
Government.kif 3841-3841 |
南太平洋區域經貿合作協定 是 "Sparteca" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3840-3840 |
南太平洋區域經貿合作協定 是 "South Pacific Regional Trade and Economic Cooperation Agreement" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54318-54318 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54317-54317 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54316-54316 |
|