|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2895-2895 | dateEstablished BankForInternationalSettlements and le jour 20 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2901-2901 | dateEstablished BeneluxEconomicUnion and le jour 3 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2909-2909 | dateEstablished BigSeven and l' ann�e 1975 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2914-2914 | dateEstablished BigSix and l' ann�e 1967 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2921-2921 | dateEstablished BlackSeaEconomicCooperationZone and le jour 25 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2928-2928 | dateEstablished CaribbeanCommunityAndCommonMarket and le jour 4 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2935-2935 | dateEstablished CaribbeanDevelopmentBank and le jour 18 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2943-2943 | dateEstablished CentralAfricanStatesDevelopmentBank and le jour 3 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2950-2950 | dateEstablished CentralAmericanBankForEconomicIntegration and le jour 13 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2957-2957 | dateEstablished CentralAmericanCommonMarket and le jour 13 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2965-2965 | dateEstablished CentralEuropeanInitiative and le jour 11 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2972-2972 | dateEstablished ColomboPlan and le moi Mai |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2987-2987 | dateEstablished CommonwealthOfIndependentStates and le jour 8 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2980-2980 | dateEstablished CommonwealthOfNations and le jour 31 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2993-2993 | dateEstablished CoordinatingCommitteeOnExportControls and l' ann�e 1949 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3008-3008 | dateEstablished CouncilForMutualEconomicAssistance and le jour 25 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3014-3014 | dateEstablished CouncilOfArabEconomicUnity and le jour 3 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3025-3025 | dateEstablished CouncilOfEurope and le jour 5 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3035-3035 | dateEstablished CouncilOfTheBalticSeaStates and le jour 6 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3045-3045 | dateEstablished CouncilOfTheEntente and le jour 29 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4829-4829 | dateEstablished DepartmentOfHomelandSecurity and l' ann�e 2002 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3060-3060 | dateEstablished EastAfricanDevelopmentBank and le jour 6 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3066-3066 | dateEstablished EconomicAndSocialCouncil and le jour 26 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3134-3134 | dateEstablished EconomicCommunityOfTheGreatLakesCountries and le jour 20 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3140-3140 | dateEstablished EconomicCommunityOfWestAfricanStates and le jour 28 |
| 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