|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3555-3555 | dateEstablished InternationalMaritimeOrganization and le jour 6 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3567-3567 | dateEstablished InternationalMonetaryFund and le jour 22 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3575-3575 | dateEstablished InternationalOlympicCommittee and le jour 23 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3587-3587 | dateEstablished InternationalOrganizationForMigration and le jour 5 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3610-3610 | dateEstablished InternationalTelecommunicationUnion and le jour 17 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3623-3623 | dateEstablished IslamicDevelopmentBank and le jour 15 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3632-3632 | dateEstablished LatinAmericanEconomicSystem and le jour 17 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3641-3641 | dateEstablished LatinAmericanIntegrationAssociation and le jour 12 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3650-3650 | dateEstablished MonetaryAndEconomicCommunityOfCentralAfrica and le jour 8 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3656-3656 | dateEstablished NonalignedMovement and le jour 6 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3667-3667 | dateEstablished NordicCouncil and le jour 16 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3675-3675 | dateEstablished NordicInvestmentBank and le jour 4 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3683-3683 | dateEstablished NorthAtlanticTreatyOrganization and le jour 4 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3690-3690 | dateEstablished NuclearEnergyAgency and le jour 1 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3705-3705 | dateEstablished OrganizationForEconomicCooperationAndDevelopment and le jour 14 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3714-3714 | dateEstablished OrganizationForSecurityAndCooperationInEurope and le jour 1 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3728-3728 | dateEstablished OrganizationForTheProhibitionOfChemicalWeapons and le jour 29 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3735-3735 | dateEstablished OrganizationOfAfricanUnity and le jour 25 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3752-3752 | dateEstablished OrganizationOfAmericanStates and le jour 14 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3765-3765 | dateEstablished OrganizationOfArabPetroleumExportingCountries and le jour 9 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3771-3771 | dateEstablished OrganizationOfEasternCaribbeanStates and le jour 18 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3779-3779 | dateEstablished OrganizationOfPetroleumExportingCountries and le jour 14 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3795-3795 | dateEstablished PacificCommunity and le jour 6 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3802-3802 | dateEstablished PacificIslandForum and le jour 5 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3808-3808 | dateEstablished PartnershipForPeace and le jour 11 |
| 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