|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2895-2895 | The day 20 is a date established of bank for international settlements |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2901-2901 | The day 3 is a date established of benelux economic union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2909-2909 | The year 1975 is a date established of big seven |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2914-2914 | The year 1967 is a date established of big six |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2921-2921 | The day 25 is a date established of black sea economic cooperation zone |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2928-2928 | 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 2935-2935 | The day 18 is a date established of caribbean development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2943-2943 | 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 2950-2950 | 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 2957-2957 | 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 2965-2965 | The day 11 is a date established of central european initiative |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2972-2972 | The month May is a date established of colombo plan |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2987-2987 | 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 2980-2980 | The day 31 is a date established of commonwealth of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2993-2993 | The year 1949 is a date established of coordinating committee on export controls |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3008-3008 | 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 3014-3014 | 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 3025-3025 | The day 5 is a date established of council of europe |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3035-3035 | 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 3045-3045 | 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 4829-4829 | The year 2002 is a date established of department of homeland security |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3060-3060 | 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 3066-3066 | 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 3134-3134 | 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 3140-3140 | The day 28 is a date established of economic community of west african states |
| 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