|
| 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 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 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 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 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3157-3157 | dateEstablished EuroAtlanticPartnershipCouncil and o dia 8 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3165-3165 | dateEstablished EuropeanBankForReconstructionAndDevelopment and o dia 15 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3176-3176 | dateEstablished EuropeanCommunity and o dia 8 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3183-3183 | dateEstablished EuropeanFreeTradeAssociation and o dia 4 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3189-3189 | dateEstablished EuropeanInvestmentBank and o dia 25 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3196-3196 | dateEstablished EuropeanMonetaryUnion and o dia 7 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3239-3239 | dateEstablished EuropeanOrganizationForNuclearResearch and o dia 1 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3247-3247 | dateEstablished EuropeanSpaceAgency and o dia 31 |
| 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