| 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 9229-9229 | |
| 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 4934-4934 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9227-9227 | 子類 October and Month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9075-9075 | successorClass October and November |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9074-9074 | successorClass September and October |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1286-1286 | successorClass September and October |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1789-1789 | successorClass September and October |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 964-964 | successorClass September and October |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 499-499 | successorClass September and October |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 503-503 | successorClass September and October |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2648-2648 | successorClass September and October |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 916-916 | successorClass September and October |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 505-505 | successorClass September and October |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 539-539 | successorClass September and October |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 798-798 | successorClass September and October |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 985-985 | successorClass September and October |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 504-504 | successorClass September and October |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9235-9239 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9221-9225 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9231-9233 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2897-2897 | 天 18 and 月 October and 年 1969 是 加勒比開發銀行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3227-3227 | 天 16 and 月 October and 年 1945 是 糧食及農業組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3285-3285 | 月 October and 年 1962 是 10人小組 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3269-3269 | 月 October and 年 1975 是 8人小組 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3369-3369 | 天 26 and 月 October and 年 1956 是 國際原子能機構 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3594-3594 | 天 17 and 月 October and 年 1975 是 拉丁美洲經濟體系 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4049-4049 | 天 22 and 月 October and 年 1999 是 聯合國在塞拉利昂的使命 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4199-4199 | 天 25 and 月 October and 年 1999 是 聯合國東帝汶過渡行政當局 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4236-4236 | 天 9 and 月 October and 年 1874 是 全球郵政聯盟 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4275-4275 | 天 23 and 月 October and 年 1954 是 西歐聯盟 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4300-4300 | 天 3 and 月 October and 年 1945 是 世界工會聯合會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4324-4324 | 天 11 and 月 October and 年 1947 是 世界氣象組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2753-2756 | 持有期間 眼前的未來 TimePosition and 例 TimePosition and 天 1 and 月 October and 年 1992 安第斯國際社會 是 "Andean Community of Nations" 的 conventional 全名 |
|
|
|