UnitedNationsUniversity
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4227-4227 | 天 3 and 月 December and 年 1973 是 聯合國大學 的成立 date |
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 | 例 聯合國大學 and 國際組織 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4233-4233 | 社會經濟研究 是 聯合國大學 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3921-3921 | 子組織 聯合國大學 and 聯合國大會 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4226-4226 | 聯合國大學 是 "UNU" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4225-4225 | 聯合國大學 是 "United Nations University" 的 conventional 全名 |
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 |