| Monday(Monday)
| | Mon, Monday, Whitmonday, Whitsun_Monday, 星期一, 月曜日 |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12871-12871 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12869-12869 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12873-12873 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6710-6710 | "http://upload.wikimedia.org/wikipedia/commons/4/4d/ Moon-Mdf-2005.jpg" is a URL depicting Monday |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7351-7351 | "http://upload.wikimedia.org/wikipedia/en/3/30/PostcardMondayMorningInNewYorkCity1907.jpg" is a URL depicting Monday |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12868-12868 | Monday is a subclass of day |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12608-12608 | successorClass Monday and Tuesday |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12607-12607 | successorClass Sunday and Monday |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1290-1290 | "星期一" is the printable form of Monday in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 2583-2583 | "Monday" is the printable form of Monday in english language |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 2584-2584 | "月曜日" is the printable form of Monday in japanese language |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12883-12890 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12978-12987 |
|
|
|
|