| 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 8544-8544 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4960-4960 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4859-4859 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8542-8542 | April is a subclass of month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8469-8469 | successorClass April and May |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8468-8468 | successorClass March and April |
| 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 1786-1786 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8550-8554 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8536-8540 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8546-8548 |
|
| 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 2782-2782 | The day 27 is a date established of arab monetary fund |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3096-3096 | 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 3107-3107 | The day 8 is a date established of european community |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3316-3316 | 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 3614-3614 | 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 3659-3659 | 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 3683-3683 | 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 3925-3925 | 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 3985-3985 | 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 3997-3997 | 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 4305-4305 | The day 15 is a date established of world trade organization |
|
|
|