No TPTP formula. May not be expressible in strict first order. |
Government.kif 3828-3828 |
南錐共同市場 是 "Mercosur" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3827-3827 |
南錐共同市場 是 "Southern Common Market" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3826-3826 |
南錐共同市場 是 "Southern Cone Common Market" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3829-3829 |
南錐共同市場 是 "Mercado Comun del Cono Sur" 的 local 全名 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54206-54206 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54205-54205 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54204-54204 |
|