| AndeanCommunityOfNations(andean community of nations)
| | andean_community_of_nations, 安第斯国际社会, 安第斯國際社會 |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2733-2733 | The day 26 is a date established of andean community of nations |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8338-8338 | "http://upload.wikimedia.org/wikipedia/commons/b/b7/ CAN.png" is a URL depicting andean community of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2724-2724 | Andean community of nations is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2734-2734 | Economic integration is an organizational objective of andean community of nations |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2726-2726 | "CAN" is an abbreviation of andean community of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2725-2725 | 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 2728-2728 | "AG" is a former name for andean community of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2731-2731 | "Ancom" is a former name for andean community of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2730-2730 | "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 2729-2729 | "Andean Parliament" is a former name for andean community of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2727-2727 | "AndeanGroup" is a former name for andean community of nations |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7441-7441 | "安第斯国际社会" is the printable form of andean community of nations in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7440-7440 | "安第斯國際社會" is the printable form of andean community of nations in ChineseTraditionalLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7439-7439 | "andean community of nations" is the printable form of andean community of nations in english language |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2732-2732 | Andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after the day 1 |
|
|
|