No TPTP formula. May not be expressible in strict first order. |
Government.kif 2748-2748 |
"CAN" is an abbreviation of andean community of nations |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2747-2747 |
Andean community of nations is a conventional long name of "Andean Community of Nations" |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2750-2750 |
"AG" is a former name for andean community of nations |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2753-2753 |
"Ancom" is a former name for andean community of nations |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2752-2752 |
"Andean Common Market" is a former name for andean community of nations |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2751-2751 |
"Andean Parliament" is a former name for andean community of nations |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2749-2749 |
"AndeanGroup" is a former name for andean community of nations |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7434-7434 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7433-7433 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7432-7432 |
|