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 |
|