|
|
   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 9124-9124 | |
| 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 9122-9122 | A四月 是 月 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9049-9049 | successorClass A四月 and 五月 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9048-9048 | successorClass 三月 and A四月 |
| 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 9130-9134 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9116-9120 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9126-9128 |
| 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 2851-2851 | 27 Day 是 阿拉伯货币基金 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3165-3165 | 15 Day 是 欧洲重建和发展银行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3176-3176 | 8 Day 是 欧洲共同体 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3385-3385 | 8 Day 是 美洲开发银行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3683-3683 | 4 Day 是 北大西洋条约组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3728-3728 | 29 Day 是 禁止化学武器组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3752-3752 | 14 Day 是 美国各州的组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3994-3994 | 29 Day 是 联合国区域间犯罪和司法研究所 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4054-4054 | 9 Day 是 联合国伊拉克科威特观察团 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4066-4066 | 29 Day 是 联合国在西撒哈拉举行全民投票的使命 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4374-4374 | 15 Day 是 世贸组织 的成立 date |
|
|
|
