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