December
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2806-2806 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9215-9215 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1547-1547 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4869-4869 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9213-9213 | December is a subclass of month |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9034-9034 | December is the successor class of November. |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1288-1288 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1793-1793 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 966-966 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 501-501 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 505-505 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2650-2650 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 918-918 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 507-507 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 541-541 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 987-987 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 506-506 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9221-9228 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9207-9211 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9217-9219 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 587-597 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3003-3011 |
|
statement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3192-3192 | The day 1 is an agreement adoption date of antarctic treaty |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2863-2863 | The day 19 is a date established of asian development bank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2943-2943 | The day 3 is a date established of central african states development bank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2950-2950 | The day 13 is a date established of central american bank for economic integration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2957-2957 | The day 13 is a date established of central american common market |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2987-2987 | The day 8 is a date established of commonwealth of independent states |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2980-2980 | The day 31 is a date established of commonwealth of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3376-3376 | The day 21 is a date established of indian ocean commission |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3429-3429 | The day 7 is a date established of international civil aviation organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3443-3443 | The month December is a date established of international confederation of free trade unions |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3623-3623 | The day 15 is a date established of islamic development bank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3650-3650 | The day 8 is a date established of monetary and economic community of central africa |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3675-3675 | The day 4 is a date established of nordic investment bank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3705-3705 | The day 14 is a date established of organization for economic cooperation and development |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3834-3834 | The day 8 is a date established of south asian association for regional cooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3848-3848 | The day 11 is a date established of southern african customs union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3890-3890 | The day 11 is a date established of united nations childrens fund |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3902-3902 | The day 30 is a date established of united nations conference on trade and development |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3934-3934 | The day 15 is a date established of united nations environment program |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4020-4020 | The day 3 is a date established of united nations high commissioner for refugees |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4034-4034 | The day 11 is a date established of united nations institute for training and research |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4073-4073 | The day 21 is a date established of united nations mission in bosnia and herzegovina |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4100-4100 | The day 16 is a date established of united nations mission of observers in tajikistan |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4150-4150 | The day 8 is a date established of united nations relief and works agency for palestine refugees in the near east |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4263-4263 | The day 3 is a date established of united nations university |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |