|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2892-2892 | The day 4 is a date established of caribbean community and common market |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2899-2899 | The day 18 is a date established of caribbean development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2907-2907 | The day 3 is a date established of central african states development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2914-2914 | The day 13 is a date established of central american bank for economic integration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2921-2921 | The day 13 is a date established of central american common market |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2929-2929 | The day 11 is a date established of central european initiative |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2936-2936 | The month May is a date established of colombo plan |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2951-2951 | The day 8 is a date established of commonwealth of independent states |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2944-2944 | The day 31 is a date established of commonwealth of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2972-2972 | The day 25 is a date established of council for mutual economic assistance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2978-2978 | The day 3 is a date established of council of arab economic unity |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2989-2989 | The day 5 is a date established of council of europe |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2999-2999 | The day 6 is a date established of council of the baltic sea states |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3009-3009 | The day 29 is a date established of council of the entente |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3024-3024 | The day 6 is a date established of east african development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3030-3030 | The day 26 is a date established of economic and social council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3098-3098 | The day 20 is a date established of economic community of the great lakes countries |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3104-3104 | The day 28 is a date established of economic community of west african states |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3110-3110 | The month January is a date established of economic cooperation organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3121-3121 | The day 8 is a date established of euro atlantic partnership council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3129-3129 | The day 15 is a date established of european bank for reconstruction and development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3140-3140 | The day 8 is a date established of european community |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3147-3147 | The day 4 is a date established of european free trade association |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3153-3153 | The day 25 is a date established of european investment bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3160-3160 | The day 7 is a date established of european monetary union |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners