No TPTP formula. May not be expressible in strict first order. |
Government.kif 2750-2750 |
dateEstablished AfricanCaribbeanAndPacificGroupOfStates and le jour 6 |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9871-9871 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10356-10356 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10357-10357 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10358-10358 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10359-10359 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10360-10360 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10361-10361 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2747-2747 |
AfricanCaribbeanAndPacificGroupOfStates est une instance de OrganizationOfNations |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2751-2751 |
organizationalObjective AfricanCaribbeanAndPacificGroupOfStates and EconomicCooperation |