| AndeanCommunityOfNations(andean community of nations)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2758-2758 | 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 8335-8335 | The day 26 is a date established of andean community of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2744-2744 | Andean community of nations is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2759-2759 | 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 2746-2746 | "CAN" is an abbreviation of andean community of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2745-2745 | 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 2748-2748 | "AG" is a former name for andean community of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2751-2751 | "Ancom" is a former name for andean community of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2750-2750 | "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 2749-2749 | "Andean Parliament" is a former name for andean community of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2747-2747 | "AndeanGroup" is a former name for andean community of nations |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7437-7437 | "AndeanGroup" is a former name for andean community of nations |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7436-7436 | "AndeanGroup" is a former name for andean community of nations |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7435-7435 | "AndeanGroup" is a former name for andean community of nations |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2753-2756 | A time position is an instance of the day 1 and andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after the time position |
|
|
|