|
|
   July
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2801-2801 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9144-9144 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1542-1542 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4917-4917 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9142-9142 | 七月 是 月 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9030-9030 | successorClass 七月 and 八月 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9029-9029 | successorClass 六月 and 七月 |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1283-1283 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1783-1783 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 961-961 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 496-496 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 500-500 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2645-2645 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 913-913 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 502-502 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 536-536 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 982-982 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 501-501 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9150-9154 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9136-9140 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9146-9148 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4285-4285 | 1 Day 是 华沙协议 的闭幕 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2928-2928 | 4 Day 是 加勒比共同体和共同市场 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3239-3239 | 1 Day 是 欧洲核研究组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3414-3414 | 22 Day 是 国际重建和发展银行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3567-3567 | 22 Day 是 国际货币基金组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3817-3817 | 29 Day 是 常设仲裁法院 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4081-4081 | 31 Day 是 联合国在埃塞俄比亚和厄立特里亚的使命 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4136-4136 | 七月 month 是 联合国人口基金 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4290-4290 | 12 Day 是 wassenaar安排 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4350-4350 | 22 Day 是 世界保健组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4356-4356 | 14 Day 是 世界知识产权组织 的成立 date |
|
|
|
