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 | 子類 November and Month |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9034-9034 | successorClass November and December |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9033-9033 | successorClass October and November |
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 and 月 November and 年 1989 是 亞太經濟合作 的成立 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 3157-3157 | 天 8 and 月 November and 年 1991 是 歐洲大西洋夥伴關係委員會 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4214-4214 | 天 8 and 月 November and 年 1994 是 盧旺達國際刑事法庭 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3496-3496 | 天 15 and 月 November and 年 1974 是 國際能源機構 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3527-3527 | 月 November and 年 1974 是 國際農業發展基金 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3587-3587 | 天 5 and 月 November and 年 1951 是 國際移民組織 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3896-3896 | 天 28 and 月 November and 年 1997 是 聯合國海地民警特派團 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3908-3908 | 天 22 and 月 November and 年 1965 是 聯合國發展計劃 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3926-3926 | 天 16 and 月 November and 年 1945 是 聯合國教育科學文化組織 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4027-4027 | 天 17 and 月 November and 年 1966 是 聯合國工業發展組織 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4123-4123 | 天 30 and 月 November and 年 1999 是 聯合國組織在剛果民主共和國的使命 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4298-4298 | 天 14 and 月 November and 年 1973 是 西非開發銀行 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4344-4344 | 天 24 and 月 November and 年 1961 是 世界糧食計劃 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1666-1666 | 等於 秋季 and 經常性時間間隔 September and November |