|
|
  SocioeconomicResearch
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2726-2726 | SocioeconomicResearch e' um sub-atributo de InformationCooperation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4157-4157 | organizationalObjective UnitedNationsResearchInstituteForSocialDevelopment and SocioeconomicResearch |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4269-4269 | organizationalObjective UnitedNationsUniversity and SocioeconomicResearch |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53660-53660 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53659-53659 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53658-53658 |
|
|
|