No TPTP formula. May not be expressible in strict first order.	Government.kif 3451-3451	dateEstablished InternationalCourtOfJustice and o dia 3
No TPTP formula. May not be expressible in strict first order.	Government.kif 3478-3478	dateEstablished InternationalCriminalPoliceOrganization and o dia 13
No TPTP formula. May not be expressible in strict first order.	Government.kif 4214-4214	dateEstablished InternationalCriminalTribunalForRwanda and o dia 8
No TPTP formula. May not be expressible in strict first order.	Government.kif 4207-4207	dateEstablished InternationalCriminalTribunalForTheFormerYugoslavia and o dia 25
No TPTP formula. May not be expressible in strict first order.	Government.kif 3489-3489	dateEstablished InternationalDevelopmentAssociation and o dia 26
No TPTP formula. May not be expressible in strict first order.	Government.kif 3496-3496	dateEstablished InternationalEnergyAgency and o dia 15
No TPTP formula. May not be expressible in strict first order.	Government.kif 3508-3508	dateEstablished InternationalFederationOfRedCrossAndRedCrescentSocieties and o dia 5
No TPTP formula. May not be expressible in strict first order.	Government.kif 3514-3514	dateEstablished InternationalFinanceCorporation and o dia 25
No TPTP formula. May not be expressible in strict first order.	Government.kif 3527-3527	dateEstablished InternationalFundForAgriculturalDevelopment and o mes Novembro
No TPTP formula. May not be expressible in strict first order.	Government.kif 3535-3535	dateEstablished InternationalHydrographicOrganization and o mes June
No TPTP formula. May not be expressible in strict first order.	Government.kif 3542-3542	dateEstablished InternationalLaborOrganization and o dia 28
No TPTP formula. May not be expressible in strict first order.	Government.kif 3555-3555	dateEstablished InternationalMaritimeOrganization and o dia 6
No TPTP formula. May not be expressible in strict first order.	Government.kif 3567-3567	dateEstablished InternationalMonetaryFund and o dia 22
No TPTP formula. May not be expressible in strict first order.	Government.kif 3575-3575	dateEstablished InternationalOlympicCommittee and o dia 23
No TPTP formula. May not be expressible in strict first order.	Government.kif 3587-3587	dateEstablished InternationalOrganizationForMigration and o dia 5
No TPTP formula. May not be expressible in strict first order.	Government.kif 3593-3593	dateEstablished InternationalOrganizationForStandardization and o mes Fevereiro
No TPTP formula. May not be expressible in strict first order.	Government.kif 3600-3600	dateEstablished InternationalRedCrossAndRedCrescentMovement and o ano 1928
No TPTP formula. May not be expressible in strict first order.	Government.kif 3610-3610	dateEstablished InternationalTelecommunicationUnion and o dia 17
No TPTP formula. May not be expressible in strict first order.	Government.kif 3623-3623	dateEstablished IslamicDevelopmentBank and o dia 15
No TPTP formula. May not be expressible in strict first order.	Government.kif 3632-3632	dateEstablished LatinAmericanEconomicSystem and o dia 17
No TPTP formula. May not be expressible in strict first order.	Government.kif 3641-3641	dateEstablished LatinAmericanIntegrationAssociation and o dia 12
No TPTP formula. May not be expressible in strict first order.	Government.kif 3650-3650	dateEstablished MonetaryAndEconomicCommunityOfCentralAfrica and o dia 8
No TPTP formula. May not be expressible in strict first order.	Government.kif 3656-3656	dateEstablished NonalignedMovement and o dia 6
No TPTP formula. May not be expressible in strict first order.	Government.kif 3667-3667	dateEstablished NordicCouncil and o dia 16
No TPTP formula. May not be expressible in strict first order.	Government.kif 3675-3675	dateEstablished NordicInvestmentBank and o dia 4
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