| AndeanCommunityOfNations(andean community of nations)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2757-2757 | The day 26 of month the month May 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 of month the month May is a date established of andean community of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2743-2743 | Andean community of nations is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2758-2758 | 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 2745-2745 | "CAN" is an abbreviation 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 a conventional long name of "Andean Community of Nations" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2747-2747 | "AG" is a former name for andean community of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2750-2750 | "Ancom" 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 Common Market" is a former name for andean community of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2748-2748 | "Andean Parliament" is a former name for andean community of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2746-2746 | "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 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7434-7434 | "AndeanGroup" is a former name for andean community of nations |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7433-7433 | "AndeanGroup" is a former name for andean community of nations |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2752-2755 | A time position is an instance of the day 1 of month the month October and andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after the time position |
|
|
|