| 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. | Merge.kif 12930-12930 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12928-12928 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12932-12932 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7011-7011 | "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Starlight_Mountain_-_schedule_in_sound_booth.jpg" is a URL depicting Friday |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6592-6592 | "http://upload.wikimedia.org/wikipedia/commons/b/b6/ FriggSpinning.jpg" is a URL depicting Friday |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12926-12926 | Friday is a subclass of day |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12612-12612 | successorClass Friday and Saturday |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12611-12611 | successorClass Thursday and Friday |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1294-1294 | "星期五" is the printable form of Friday in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 2595-2595 | "Friday" is the printable form of Friday in english language |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 2596-2596 | "金曜日" is the printable form of Friday in japanese language |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12952-12959 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12935-12942 |
|
|
|
|