| April
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2798-2798 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9138-9138 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1539-1539 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4959-4959 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4858-4858 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9136-9136 | 子類 April and Month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9063-9063 | successorClass April and May |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9062-9062 | successorClass March and April |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1280-1280 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1777-1777 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 958-958 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 493-493 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 497-497 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2642-2642 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 910-910 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 499-499 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 533-533 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 979-979 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 498-498 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9144-9148 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9130-9134 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9140-9142 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 498-506 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2815-2815 | 天 27 and 月 April and 年 1976 是 阿拉伯貨幣基金 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3129-3129 | 天 15 and 月 April and 年 1991 是 歐洲重建和發展銀行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3140-3140 | 天 8 and 月 April and 年 1965 是 歐洲共同體 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3349-3349 | 天 8 and 月 April and 年 1959 是 美洲開發銀行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3647-3647 | 天 4 and 月 April and 年 1949 是 北大西洋條約組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3692-3692 | 天 29 and 月 April and 年 1997 是 禁止化學武器組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3716-3716 | 天 14 and 月 April and 年 1890 是 美國各州的組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3958-3958 | 天 29 and 月 April and 年 1969 是 聯合國區域間犯罪和司法研究所 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4018-4018 | 天 9 and 月 April and 年 1991 是 聯合國伊拉克科威特觀察團 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4030-4030 | 天 29 and 月 April and 年 1991 是 聯合國在西撒哈拉舉行全民投票的使命 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4338-4338 | 天 15 and 月 April and 年 1994 是 世貿組織 的成立 date |
|
|
|