February
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2796-2796 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9064-9064 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1537-1537 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4871-4871 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9062-9062 | February is a subclass of month |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9025-9025 | March is the successor class of February. |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9024-9024 | February is the successor class of January. |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1278-1278 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1773-1773 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 956-956 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 491-491 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 495-495 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2640-2640 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 908-908 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 497-497 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 531-531 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 977-977 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 496-496 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9073-9078 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9066-9071 |
|
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 9056-9060 |
|
statement |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2778-2778 | The day 14 is a date established of agency for the prohibition of nuclear weapons in latin america and the caribbean |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2812-2812 | The day 18 is a date established of arab bank for economic development in africa |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2818-2818 | The day 16 is a date established of arab cooperation council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2842-2842 | The day 17 is a date established of arab maghreb union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2901-2901 | The day 3 is a date established of benelux economic union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3196-3196 | The day 7 is a date established of european monetary union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3254-3254 | The day 7 is a date established of european union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3437-3437 | The day 17 is a date established of international committee of the red cross |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3451-3451 | The day 3 is a date established of international court of justice |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3593-3593 | The month February is a date established of international organization for standardization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3690-3690 | The day 1 is a date established of nuclear energy agency |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3795-3795 | The day 6 is a date established of pacific community |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4094-4094 | The day 1 is a date established of united nations mission of observers in prevlaka |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1667-1667 | Winter season is equal to the recurring period from December to February |