UnitedNationsUniversity
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4227-4227 | dateEstablished UnitedNationsUniversity and le jour 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 est une instance 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 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 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 |