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 9180-9180 | |
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 9178-9178 | 子類 July and Month |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9066-9066 | successorClass July and August |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9065-9065 | successorClass June and July |
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 9186-9190 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9172-9176 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9182-9184 |
|
statement |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4249-4249 | 天 1 and 月 July and 年 1991 是 華沙協議 的閉幕 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2892-2892 | 天 4 and 月 July and 年 1973 是 加勒比共同體和共同市場 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3203-3203 | 天 1 and 月 July and 年 1953 是 歐洲核研究組織 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3378-3378 | 天 22 and 月 July and 年 1944 是 國際重建和發展銀行 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3531-3531 | 天 22 and 月 July and 年 1944 是 國際貨幣基金組織 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3781-3781 | 天 29 and 月 July and 年 1899 是 常設仲裁法院 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4045-4045 | 天 31 and 月 July and 年 2000 是 聯合國在埃塞俄比亞和厄立特里亞的使命 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4100-4100 | 月 July and 年 1967 是 聯合國人口基金 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4254-4254 | 天 12 and 月 July and 年 1996 是 wassenaar安排 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4314-4314 | 天 22 and 月 July and 年 1946 是 世界保健組織 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4320-4320 | 天 14 and 月 July and 年 1967 是 世界知識產權組織 的成立 date |