|
| 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 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 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 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 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3157-3157 | 天 8 and 月 November and 年 1991 是 歐洲大西洋夥伴關係委員會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3165-3165 | 天 15 and 月 April and 年 1991 是 歐洲重建和發展銀行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3176-3176 | 天 8 and 月 April and 年 1965 是 歐洲共同體 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3183-3183 | 天 4 and 月 January and 年 1960 是 歐洲自由貿易協會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3189-3189 | 天 25 and 月 March and 年 1957 是 歐洲投資銀行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3196-3196 | 天 7 and 月 February and 年 1992 是 歐洲貨幣聯盟 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3239-3239 | 天 1 and 月 July and 年 1953 是 歐洲核研究組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3247-3247 | 天 31 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