No TPTP formula. May not be expressible in strict first order. |
Government.kif 2748-2748 |
abbreviation "CAN" and AndeanCommunityOfNations |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2747-2747 |
conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2750-2750 |
formerName "AG" and AndeanCommunityOfNations |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2753-2753 |
formerName "Ancom" and AndeanCommunityOfNations |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2752-2752 |
formerName "Andean Common Market" and AndeanCommunityOfNations |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2751-2751 |
formerName "Andean Parliament" and AndeanCommunityOfNations |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2749-2749 |
formerName "AndeanGroup" and AndeanCommunityOfNations |
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 |
|