|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3254-3254 | 天 7 and 月 February and 年 1992 是 歐洲聯盟 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3265-3265 | 天 16 and 月 October and 年 1945 是 糧食及農業組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3335-3335 | 天 22 and 月 June and 年 1984 是 11人小組 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3351-3351 | 天 1 and 月 August and 年 1989 是 24人小組 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3284-3284 | 天 22 and 月 September and 年 1985 是 5人組 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3291-3291 | 天 22 and 月 May and 年 1985 是 6人小組 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3301-3301 | 天 22 and 月 September and 年 1985 是 7人小組 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3361-3361 | 天 15 and 月 June and 年 1964 是 77人小組 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3367-3367 | 天 25 and 月 May and 年 1981 是 海灣合作委員會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3376-3376 | 天 21 and 月 December and 年 1982 是 印度洋委員會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3385-3385 | 天 8 and 月 April and 年 1959 是 美洲開發銀行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3394-3394 | 天 21 and 月 March and 年 1996 是 政府間發展權威 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3407-3407 | 天 26 and 月 October and 年 1956 是 國際原子能機構 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3414-3414 | 天 22 and 月 July and 年 1944 是 國際重建和發展銀行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3429-3429 | 天 7 and 月 December and 年 1944 是 國際民航組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3437-3437 | 天 17 and 月 February and 年 1863 是 紅十字國際委員會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3451-3451 | 天 3 and 月 February and 年 1946 是 國際法院 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3478-3478 | 天 13 and 月 June and 年 1956 是 國際刑事警察組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4214-4214 | 天 8 and 月 November and 年 1994 是 盧旺達國際刑事法庭 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4207-4207 | 天 25 and 月 May and 年 1993 是 前南斯拉夫問題國際刑事法庭 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3489-3489 | 天 26 and 月 January and 年 1960 是 國際發展協會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3496-3496 | 天 15 and 月 November and 年 1974 是 國際能源機構 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3508-3508 | 天 5 and 月 May and 年 1919 是 國際紅十字會和紅新月會聯合會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3514-3514 | 天 25 and 月 May and 年 1955 是 國際金融公司 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3542-3542 | 天 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