| April(April)
| | Apr, April |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2798-2798 | |
| 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 1539-1539 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4959-4959 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4858-4858 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9086-9086 | April is a subclass of month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9013-9013 | May is the successor class of April. |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9012-9012 | April is the successor class of March. |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1280-1280 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1777-1777 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 958-958 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 493-493 | |
| 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 2642-2642 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 910-910 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 499-499 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 533-533 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 979-979 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 498-498 |
| antecedent |
|
|
| 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 9080-9084 |
|
| 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 2851-2851 | The day 27 is a date established of arab monetary fund |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3165-3165 | The day 15 is a date established of european bank for reconstruction and development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3176-3176 | The day 8 is a date established of european community |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3385-3385 | The day 8 is a date established of inter american development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3683-3683 | The day 4 is a date established of north atlantic treaty organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3728-3728 | The day 29 is a date established of organization for the prohibition of chemical weapons |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3752-3752 | The day 14 is a date established of organization of american states |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3994-3994 | The day 29 is a date established of united nations interregional crime and justice research institute |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4054-4054 | The day 9 is a date established of united nations iraq kuwait observation mission |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4066-4066 | The day 29 is a date established of united nations mission for the referendum in western sahara |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4374-4374 | The day 15 is a date established of world trade organization |
|
|
|