| 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 | 十月 是 月 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9033-9033 | successorClass 十月 and 十一月 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9032-9032 | successorClass 九月 and 十月 |
| 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 Day 是 加勒比开发银行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3265-3265 | 16 Day 是 粮食及农业组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3323-3323 | 十月 month 是 10人小组 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3307-3307 | 十月 month 是 8人小组 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3407-3407 | 26 Day 是 国际原子能机构 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3632-3632 | 17 Day 是 拉丁美洲经济体系 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4087-4087 | 22 Day 是 联合国在塞拉利昂的使命 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4237-4237 | 25 Day 是 联合国东帝汶过渡行政当局 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4274-4274 | 9 Day 是 全球邮政联盟 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4313-4313 | 23 Day 是 西欧联盟 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4338-4338 | 3 Day 是 世界工会联合会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4362-4362 | 11 Day 是 世界气象组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2791-2794 | 时间位置 是 1 day 的 instance 和 安第斯国际社会 是 "Andean Community of Nations" 的 conventional 全名 在 紧接 那个 时间位置 after holdsDuring |
|
|
|