|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3218-3218 | 天 7 and 月 February and 年 1992 是 歐洲聯盟 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3229-3229 | 天 16 and 月 October and 年 1945 是 糧食及農業組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3299-3299 | 天 22 and 月 June and 年 1984 是 11人小組 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3315-3315 | 天 1 and 月 August and 年 1989 是 24人小組 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3248-3248 | 天 22 and 月 September and 年 1985 是 5人組 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3255-3255 | 天 22 and 月 May and 年 1985 是 6人小組 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3265-3265 | 天 22 and 月 September and 年 1985 是 7人小組 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3325-3325 | 天 15 and 月 June and 年 1964 是 77人小組 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3331-3331 | 天 25 and 月 May and 年 1981 是 海灣合作委員會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3340-3340 | 天 21 and 月 December and 年 1982 是 印度洋委員會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3349-3349 | 天 8 and 月 April and 年 1959 是 美洲開發銀行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3358-3358 | 天 21 and 月 March and 年 1996 是 政府間發展權威 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3371-3371 | 天 26 and 月 October and 年 1956 是 國際原子能機構 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3378-3378 | 天 22 and 月 July and 年 1944 是 國際重建和發展銀行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3393-3393 | 天 7 and 月 December and 年 1944 是 國際民航組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3401-3401 | 天 17 and 月 February and 年 1863 是 紅十字國際委員會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3415-3415 | 天 3 and 月 February and 年 1946 是 國際法院 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3442-3442 | 天 13 and 月 June and 年 1956 是 國際刑事警察組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4178-4178 | 天 8 and 月 November and 年 1994 是 盧旺達國際刑事法庭 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4171-4171 | 天 25 and 月 May and 年 1993 是 前南斯拉夫問題國際刑事法庭 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3453-3453 | 天 26 and 月 January and 年 1960 是 國際發展協會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3460-3460 | 天 15 and 月 November and 年 1974 是 國際能源機構 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3472-3472 | 天 5 and 月 May and 年 1919 是 國際紅十字會和紅新月會聯合會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3478-3478 | 天 25 and 月 May and 年 1955 是 國際金融公司 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3506-3506 | 天 28 and 月 June and 年 1919 是 國際勞工組織 的成立 date |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners