|
|
  UnitedNationsUniversity
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4227-4227 | dateEstablished UnitedNationsUniversity and o dia 3 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4229-4231 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5690-5690 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4224-4224 | UnitedNationsUniversity e' uma instancia de InternationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4233-4233 | organizationalObjective UnitedNationsUniversity and SocioeconomicResearch |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3921-3921 | UnitedNationsUniversity e' uma parte da organizacao UnitedNationsGeneralAssembly |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4226-4226 | abbreviation "UNU" and UnitedNationsUniversity |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4225-4225 | conventionalLongName "United Nations University" and UnitedNationsUniversity |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60328-60328 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60327-60327 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60326-60326 |
|
|
|
