No TPTP formula. May not be expressible in strict first order. |
Government.kif 4027-4027 |
天 17 and 月 November and 年 1966 是 聯合國工業發展組織 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5669-5669 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4024-4024 |
例 聯合國工業發展組織 and 國際組織 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4028-4028 |
經濟發展 是 聯合國工業發展組織 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4029-4029 |
技術合作 是 聯合國工業發展組織 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3121-3121 |
子組織 聯合國工業發展組織 and 經濟和社會理事會 |