No TPTP formula. May not be expressible in strict first order.	Government.kif 4194-4194	UnitedNationsMissionInEthiopiaAndEritrea e' uma parte da organizacao UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 4195-4195	UnitedNationsMissionInSierraLeone e' uma parte da organizacao UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 4196-4196	UnitedNationsMissionOfObserversInPrevlaka e' uma parte da organizacao UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 4197-4197	UnitedNationsMonitoringAndVerificationCommission e' uma parte da organizacao UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 4198-4198	UnitedNationsObserverMissionInGeorgia e' uma parte da organizacao UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 4005-4005	UnitedNationsOfficeOfProjectServices e' uma parte da organizacao UnitedNationsGeneralAssembly
No TPTP formula. May not be expressible in strict first order.	Government.kif 4199-4199	UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo e' uma parte da organizacao UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 4200-4200	UnitedNationsPeaceKeepingForceInCyprus e' uma parte da organizacao UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3954-3954	UnitedNationsPopulationFund e' uma parte da organizacao UnitedNationsGeneralAssembly
No TPTP formula. May not be expressible in strict first order.	Government.kif 3955-3955	UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast e' uma parte da organizacao UnitedNationsGeneralAssembly
No TPTP formula. May not be expressible in strict first order.	Government.kif 3956-3956	UnitedNationsResearchInstituteForSocialDevelopment e' uma parte da organizacao UnitedNationsGeneralAssembly
No TPTP formula. May not be expressible in strict first order.	Government.kif 4170-4170	UnitedNationsSecretariat e' uma parte da organizacao UnitedNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 4182-4182	UnitedNationsSecurityCouncil e' uma parte da organizacao UnitedNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 4011-4011	UnitedNationsSystemStaffCollege e' uma parte da organizacao UnitedNationsGeneralAssembly
No TPTP formula. May not be expressible in strict first order.	Government.kif 4201-4201	UnitedNationsTransitionalAdministrationInEastTimor e' uma parte da organizacao UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 4202-4202	UnitedNationsTruceSupervisionOrganization e' uma parte da organizacao UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3957-3957	UnitedNationsUniversity e' uma parte da organizacao UnitedNationsGeneralAssembly
No TPTP formula. May not be expressible in strict first order.	Government.kif 1949-1949	UnitedStatesCongress e' uma parte da organizacao o governo de UnitedStates
No TPTP formula. May not be expressible in strict first order.	Government.kif 4855-4855	UnitedStatesDepartmentOfInterior e' uma parte da organizacao o governo de UnitedStates
No TPTP formula. May not be expressible in strict first order.	Government.kif 4850-4850	UnitedStatesDepartmentOfState e' uma parte da organizacao o governo de UnitedStates
No TPTP formula. May not be expressible in strict first order.	Government.kif 3122-3122	UniversalPostalUnion e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3128-3128	WorldFoodProgram e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3958-3958	WorldFoodProgram e' uma parte da organizacao UnitedNationsGeneralAssembly
No TPTP formula. May not be expressible in strict first order.	Government.kif 3123-3123	WorldHealthOrganization e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3124-3124	WorldIntellectualPropertyOrganization e' uma parte da organizacao EconomicAndSocialCouncil
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