| AndeanCommunityOfNations(andean community of nations)
|
| appearance as argument number 1 |
|
| s__dateEstablished(s__AndeanCommunityOfNations,s__DayFn(n__26,s__MonthFn(s__May,s__YearFn(n__1969))))
|
Government.kif 2727-2727 | The day 26 is a date established of andean community of nations |
| s__externalImage(s__AndeanCommunityOfNations,'"http://upload.wikimedia.org/wikipedia/ commons/ b/ b7/ CAN.png"')
|
pictureList.kif 8338-8338 | |
| s__instance(s__AndeanCommunityOfNations,s__OrganizationOfNations) s__instance(s__OrganizationOfNations,s__SetOrClass)
|
Government.kif 2718-2718 | Andean community of nations is an instance of organization of nations |
| s__organizationalObjective(s__AndeanCommunityOfNations,s__EconomicIntegration)
|
Government.kif 2728-2728 | Economic integration is an organizational objective of andean community of nations |
| appearance as argument number 2 |
|
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2726-2726 | Andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after the day 1 |
|
|
|