| November(十一月)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2805-2805 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9201-9201 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1546-1546 | |
| 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 9199-9199 | 十一月 是 月 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9034-9034 | successorClass 十一月 and 十二月 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9033-9033 | successorClass 十月 and 十一月 |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1287-1287 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1791-1791 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 965-965 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 500-500 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 504-504 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2649-2649 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 917-917 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 506-506 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 540-540 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 986-986 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 505-505 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9207-9211 | |
| 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 9203-9205 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 587-597 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 635-640 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2857-2857 | 7 Day 是 亚太经济合作 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2965-2965 | 11 Day 是 中欧倡议 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3157-3157 | 8 Day 是 欧洲大西洋伙伴关系委员会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4214-4214 | 8 Day 是 卢旺达国际刑事法庭 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3496-3496 | 15 Day 是 国际能源机构 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3527-3527 | 十一月 month 是 国际农业发展基金 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3587-3587 | 5 Day 是 国际移民组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3896-3896 | 28 Day 是 联合国海地民警特派团 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3908-3908 | 22 Day 是 联合国发展计划 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3926-3926 | 16 Day 是 联合国教育科学文化组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4027-4027 | 17 Day 是 联合国工业发展组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4123-4123 | 30 Day 是 联合国组织在刚果民主共和国的使命 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4298-4298 | 14 Day 是 西非开发银行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4344-4344 | 24 Day 是 世界粮食计划 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1666-1666 | 秋季 equal 从九月到十一月再次发生所需的时间 |
|
|
|