|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2895-2895 | 天 20 and 月 January and 年 1930 是 國際結算銀行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2901-2901 | 天 3 and 月 February and 年 1958 是 比荷盧經濟聯盟 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2909-2909 | 年 1975 是 大七 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2914-2914 | 年 1967 是 大六 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2921-2921 | 天 25 and 月 June and 年 1992 是 黑海經濟合作區 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2928-2928 | 天 4 and 月 July and 年 1973 是 加勒比共同體和共同市場 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2935-2935 | 天 18 and 月 October and 年 1969 是 加勒比開發銀行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2943-2943 | 天 3 and 月 December and 年 1975 是 中非國家開發銀行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2950-2950 | 天 13 and 月 December and 年 1960 是 中美洲經濟一體化銀行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2957-2957 | 天 13 and 月 December and 年 1960 是 中美洲共同市場 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2965-2965 | 天 11 and 月 November and 年 1989 是 中歐倡議 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2972-2972 | 月 May and 年 1950 是 科倫坡計劃 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2987-2987 | 天 8 and 月 December and 年 1991 是 獨立國家聯合體 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2980-2980 | 天 31 and 月 December and 年 1931 是 國家聯合體 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2993-2993 | 年 1949 是 出口管制協調委員會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3008-3008 | 天 25 and 月 January and 年 1949 是 共同經濟援助理事會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3014-3014 | 天 3 and 月 June and 年 1957 是 阿拉伯經濟統一委員會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3025-3025 | 天 5 and 月 May and 年 1949 是 歐洲理事會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3035-3035 | 天 6 and 月 March and 年 1992 是 波羅的海國家理事會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3045-3045 | 天 29 and 月 May and 年 1959 是 協約理事會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4829-4829 | 年 2002 是 國土安全部 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3060-3060 | 天 6 and 月 June and 年 1967 是 東非開發銀行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3066-3066 | 天 26 and 月 June and 年 1945 是 經濟和社會理事會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3134-3134 | 天 20 and 月 September and 年 1976 是 大湖國家的經濟共同體 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3140-3140 | 天 28 and 月 May and 年 1975 是 西非國家的經濟共同體 的成立 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