| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4120-4120 | dateEstablished UnitedNationsResearchInstituteForSocialDevelopment and l' ann�e 1963 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4123-4127 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4117-4117 | UnitedNationsResearchInstituteForSocialDevelopment est une instance de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4121-4121 | organizationalObjective UnitedNationsResearchInstituteForSocialDevelopment and SocioeconomicResearch |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3920-3920 | UnitedNationsResearchInstituteForSocialDevelopment est une partie de l'organization UnitedNationsGeneralAssembly |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4119-4119 | abbreviation "UNRISD" and UnitedNationsResearchInstituteForSocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4118-4118 | conventionalLongName "United Nations Research Institute for Social Development" and UnitedNationsResearchInstituteForSocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60286-60286 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60285-60285 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60284-60284 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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