October
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2804-2804 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9187-9187 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1545-1545 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4935-4935 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9185-9185 | 子類 October and Month |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9033-9033 | successorClass October and November |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9032-9032 | successorClass September and October |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1286-1286 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1789-1789 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 964-964 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 499-499 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 503-503 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2648-2648 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 916-916 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 505-505 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 539-539 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 985-985 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 504-504 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9193-9197 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9179-9183 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9189-9191 |
|
statement |
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 3265-3265 | 天 16 and 月 October and 年 1945 是 糧食及農業組織 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3323-3323 | 月 October and 年 1962 是 10人小組 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3307-3307 | 月 October and 年 1975 是 8人小組 的成立 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 3632-3632 | 天 17 and 月 October and 年 1975 是 拉丁美洲經濟體系 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4087-4087 | 天 22 and 月 October and 年 1999 是 聯合國在塞拉利昂的使命 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4237-4237 | 天 25 and 月 October and 年 1999 是 聯合國東帝汶過渡行政當局 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4274-4274 | 天 9 and 月 October and 年 1874 是 全球郵政聯盟 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4313-4313 | 天 23 and 月 October and 年 1954 是 西歐聯盟 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4338-4338 | 天 3 and 月 October and 年 1945 是 世界工會聯合會 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4362-4362 | 天 11 and 月 October and 年 1947 是 世界氣象組織 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2791-2794 | 持有期間 眼前的未來 TimePosition and 例 TimePosition and 天 1 and 月 October and 年 1992 安第斯國際社會 是 "Andean Community of Nations" 的 conventional 全名 |