| June(June)
| | June |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2800-2800 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9228-9228 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1541-1541 | |
| 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 9226-9226 | June is a subclass of month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9127-9127 | July is the successor class of June. |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9126-9126 | June is the successor class of May. |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1282-1282 | June is the successor class of May. |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1781-1781 | June is the successor class of May. |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 960-960 | June is the successor class of May. |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 495-495 | June is the successor class of May. |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 499-499 | June is the successor class of May. |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2644-2644 | June is the successor class of May. |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 501-501 | June is the successor class of May. |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 535-535 | June is the successor class of May. |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 794-794 | June is the successor class of May. |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 981-981 | June is the successor class of May. |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 500-500 | June is the successor class of May. |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9234-9238 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9220-9224 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9230-9232 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3181-3181 | ?D is an instance of the day 23 of month the month June is an agreement effective date of antarctic treaty |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2711-2711 | The day 6 of month the month June is a date established of african caribbean and pacific group of states |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2762-2762 | The day 23 of month the month June is a date established of antarctic treaty council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2882-2882 | The day 25 of month the month June is a date established of black sea economic cooperation zone |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2975-2975 | The day 3 of month the month June is a date established of council of arab economic unity |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3021-3021 | The day 6 of month the month June is a date established of east african development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3027-3027 | The day 26 of month the month June is a date established of economic and social council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3296-3296 | The day 22 of month the month June is a date established of group of11 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3322-3322 | The day 15 of month the month June is a date established of group of77 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3439-3439 | The day 13 of month the month June is a date established of international criminal police organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3496-3496 | The month June is a date established of international hydrographic organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3503-3503 | The day 28 of month the month June is a date established of international labor organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3536-3536 | The day 23 of month the month June is a date established of international olympic committee |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3732-3732 | The day 18 of month the month June is a date established of organization of eastern caribbean states |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3833-3833 | The day 26 of month the month June is a date established of united nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3901-3901 | The day 26 of month the month June is a date established of united nations general assembly |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4001-4001 | The day 10 of month the month June is a date established of united nations interim adminstration mission in kosovo |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4130-4130 | The day 26 of month the month June is a date established of united nations secretariat |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4141-4141 | The day 26 of month the month June is a date established of united nations security council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4205-4205 | The month June is a date established of united nations truce supervision organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4218-4218 | The day 26 of month the month June is a date established of united nations trusteeship council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4287-4287 | The day 19 of month the month June is a date established of world confederation of labor |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1653-1653 | Summer season is equal to the recurring period from June to August |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2503-2506 | Serbia is an instance of european nation and a time position is an instance of the day 5 of month the month June holds during after the time position |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2498-2501 | Serbia is an instance of independent state and a time position is an instance of the day 5 of month the month June holds during after the time position |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|