No TPTP formula. May not be expressible in strict first order. |
Government.kif 3864-3864 |
"Mercosur" is an abbreviation of southern cone common market |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3863-3863 |
Southern cone common market is a conventional long name of "Southern Common Market" |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3862-3862 |
Southern cone common market is a conventional long name of "Southern Cone Common Market" |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3865-3865 |
Southern cone common market is a local long name of "Mercado Comun del Cono Sur" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54204-54204 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54203-54203 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54202-54202 |
|