|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3555-3555 | 天 6 and 月 March and 年 1948 是 國際海事組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3567-3567 | 天 22 and 月 July and 年 1944 是 國際貨幣基金組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3575-3575 | 天 23 and 月 June and 年 1894 是 國際奧林匹克委員會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3587-3587 | 天 5 and 月 November and 年 1951 是 國際移民組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3610-3610 | 天 17 and 月 May and 年 1865 是 國際電信聯盟 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3623-3623 | 天 15 and 月 December and 年 1973 是 伊斯蘭開發銀行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3632-3632 | 天 17 and 月 October and 年 1975 是 拉丁美洲經濟體系 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3641-3641 | 天 12 and 月 August and 年 1980 是 拉丁美洲一體化協會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3650-3650 | 天 8 and 月 December and 年 1864 是 中非貨幣和經濟共同體 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3656-3656 | 天 6 and 月 September and 年 1961 是 不對齊的運動 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3667-3667 | 天 16 and 月 March and 年 1952 是 北歐理事會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3675-3675 | 天 4 and 月 December and 年 1975 是 北歐投資銀行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3683-3683 | 天 4 and 月 April and 年 1949 是 北大西洋條約組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3690-3690 | 天 1 and 月 February and 年 1958 是 核能機構 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3705-3705 | 天 14 and 月 December and 年 1960 是 經濟合作與發展組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3714-3714 | 天 1 and 月 January and 年 1995 是 歐洲安全與合作組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3728-3728 | 天 29 and 月 April and 年 1997 是 禁止化學武器組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3735-3735 | 天 25 and 月 May and 年 1963 是 非洲統一組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3752-3752 | 天 14 and 月 April and 年 1890 是 美國各州的組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3765-3765 | 天 9 and 月 January and 年 1968 是 阿拉伯石油出口國組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3771-3771 | 天 18 and 月 June and 年 1981 是 加勒比東部各州的組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3779-3779 | 天 14 and 月 September and 年 1960 是 石油輸出國組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3795-3795 | 天 6 and 月 February and 年 1947 是 太平洋社區 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3802-3802 | 天 5 and 月 August and 年 1971 是 太平洋島嶼論壇 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3808-3808 | 天 11 and 月 January and 年 1994 是 和平夥伴關係 的成立 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