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