|
|
   March
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2797-2797 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9088-9088 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1538-1538 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4928-4928 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9086-9086 | 子類 March and Month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9026-9026 | successorClass March and April |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9025-9025 | successorClass February and March |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1279-1279 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1775-1775 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 957-957 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 492-492 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 496-496 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2641-2641 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 909-909 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 498-498 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 532-532 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 978-978 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 497-497 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9080-9084 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9094-9098 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9090-9092 |
|
| 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 2994-2994 | 天 31 and 月 March and 年 1994 是 出口管制協調委員會 的閉幕 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4145-4145 | 天 25 and 月 March and 年 1999 是 聯合國預防性部署部隊 的閉幕 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2771-2771 | 天 20 and 月 March and 年 1970 是 法語社區的代理機構 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2833-2833 | 天 22 and 月 March and 年 1945 是 阿拉伯聯盟 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3035-3035 | 天 6 and 月 March and 年 1992 是 波羅的海國家理事會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3189-3189 | 天 25 and 月 March and 年 1957 是 歐洲投資銀行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3394-3394 | 天 21 and 月 March and 年 1996 是 政府間發展權威 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3555-3555 | 天 6 and 月 March and 年 1948 是 國際海事組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3667-3667 | 天 16 and 月 March and 年 1952 是 北歐理事會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3866-3866 | 天 26 and 月 March and 年 1991 是 南錐共同市場 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4047-4047 | 天 19 and 月 March and 年 1978 是 聯合國駐黎巴嫩臨時部隊 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4129-4129 | 天 4 and 月 March and 年 1964 是 聯合國塞浦路斯維和部隊 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4143-4143 | 天 31 and 月 March and 年 1995 是 聯合國預防性部署部隊 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1664-1664 | 等於 春暖花開的季節 and 經常性時間間隔 March and May |
|
|
|
