No TPTP formula. May not be expressible in strict first order. |
Government.kif 2784-2784 |
"CAN" is an abbreviation of andean community of nations |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2783-2783 |
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 2786-2786 |
"AG" is a former name for andean community of nations |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2789-2789 |
"Ancom" is a former name for andean community of nations |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2788-2788 |
"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 2787-2787 |
"Andean Parliament" is a former name for andean community of nations |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2785-2785 |
"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 |
|