No TPTP formula. May not be expressible in strict first order.	Government.kif 4227-4227	UnitedNationsInterimAdministrationMissionInKosovo est une instance de InternationalOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 3989-3989	UnitedNationsInterregionalCrimeAndJusticeResearchInstitute est une instance de InternationalOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4229-4229	UnitedNationsIraqKuwaitBoundaryDemarcationCommission est une instance de InternationalOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4006-4006	UnitedNationsOfficeOfProjectServices est une instance de InternationalOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4153-4153	UnitedNationsResearchInstituteForSocialDevelopment est une instance de InternationalOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4166-4166	UnitedNationsSecretariat est une instance de InternationalOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4260-4260	UnitedNationsUniversity est une instance de InternationalOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2526-2526	OrganizationOfNations est une sous-classe de InternationalOrganization
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30655-30655
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30654-30654
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30653-30653

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