| Friday(Friday)
| | American_Indian_Day, Fri, Friday, Good_Friday |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2812-2812 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9182-9182 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7011-7011 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6592-6592 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9180-9180 | Friday is a subclass of day |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8939-8939 | %2 is the successorClass of %2. |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8938-8938 | %2 is the successorClass of %2. |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1294-1294 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1805-1805 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9197-9204 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9184-9191 |
|
|
|
|