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 9152-9152 | |
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 4918-4918 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9150-9150 | June is a subclass of month |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9051-9051 | 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 9050-9050 | June is the successor class of May. |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1282-1282 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1781-1781 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 960-960 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 495-495 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 499-499 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2644-2644 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 501-501 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 535-535 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 981-981 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 500-500 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9158-9162 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9144-9148 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9154-9156 |
|
statement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3193-3193 | ?D is an instance of the day 23 is an agreement effective date of antarctic treaty |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2750-2750 | The day 6 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 2801-2801 | The day 23 is a date established of antarctic treaty council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2921-2921 | The day 25 is a date established of black sea economic cooperation zone |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3014-3014 | The day 3 is a date established of council of arab economic unity |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3060-3060 | The day 6 is a date established of east african development bank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3066-3066 | The day 26 is a date established of economic and social council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3335-3335 | The day 22 is a date established of group of11 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3361-3361 | The day 15 is a date established of group of77 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3478-3478 | The day 13 is a date established of international criminal police organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3535-3535 | The month June is a date established of international hydrographic organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3542-3542 | The day 28 is a date established of international labor organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3575-3575 | The day 23 is a date established of international olympic committee |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3771-3771 | The day 18 is a date established of organization of eastern caribbean states |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3872-3872 | The day 26 is a date established of united nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3940-3940 | The day 26 is a date established of united nations general assembly |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4040-4040 | The day 10 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 4169-4169 | The day 26 is a date established of united nations secretariat |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4180-4180 | The day 26 is a date established of united nations security council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4244-4244 | 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 4257-4257 | The day 26 is a date established of united nations trusteeship council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4326-4326 | The day 19 is a date established of world confederation of labor |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1665-1665 | 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 2501-2504 | Serbia is an instance of european nation and a time position is an instance of the day 5 holds during after the time position |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2496-2499 | Serbia is an instance of independent state and a time position is an instance of the day 5 holds during after the time position |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |