|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3817-3817 | dateEstablished PermanentCourtOfArbitration and le jour 29 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3834-3834 | dateEstablished SouthAsianAssociationForRegionalCooperation and le jour 8 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3848-3848 | dateEstablished SouthernAfricanCustomsUnion and le jour 11 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3857-3857 | dateEstablished SouthernAfricanDevelopmentCommunity and le jour 17 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3866-3866 | dateEstablished SouthernConeCommonMarket and le jour 26 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3872-3872 | dateEstablished UnitedNations and le jour 26 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3890-3890 | dateEstablished UnitedNationsChildrensFund and le jour 11 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3896-3896 | dateEstablished UnitedNationsCivilianPoliceMissionInHaiti and le jour 28 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3902-3902 | dateEstablished UnitedNationsConferenceOnTradeAndDevelopment and le jour 30 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3908-3908 | dateEstablished UnitedNationsDevelopmentProgram and le jour 22 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3916-3916 | dateEstablished UnitedNationsDisengagementObserverForce and le jour 31 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3926-3926 | dateEstablished UnitedNationsEducationalScientificAndCulturalOrganization and le jour 16 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3934-3934 | dateEstablished UnitedNationsEnvironmentProgram and le jour 15 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3940-3940 | dateEstablished UnitedNationsGeneralAssembly and le jour 26 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4020-4020 | dateEstablished UnitedNationsHighCommissionerForRefugees and le jour 3 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4027-4027 | dateEstablished UnitedNationsIndustrialDevelopmentOrganization and le jour 17 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4034-4034 | dateEstablished UnitedNationsInstituteForTrainingAndResearch and le jour 11 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4040-4040 | dateEstablished UnitedNationsInterimAdminstrationMissionInKosovo and le jour 10 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4047-4047 | dateEstablished UnitedNationsInterimForceInLebanon and le jour 19 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3994-3994 | dateEstablished UnitedNationsInterregionalCrimeAndJusticeResearchInstitute and le jour 29 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4054-4054 | dateEstablished UnitedNationsIraqKuwaitObservationMission and le jour 9 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4060-4060 | dateEstablished UnitedNationsMilitaryObserverGroupInIndiaAndPakistan and le jour 24 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4066-4066 | dateEstablished UnitedNationsMissionForTheReferendumInWesternSahara and le jour 29 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4073-4073 | dateEstablished UnitedNationsMissionInBosniaAndHerzegovina and le jour 21 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4081-4081 | dateEstablished UnitedNationsMissionInEthiopiaAndEritrea 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