| Sunday(Sunday)
| | Dominicus, Father's_Day, Lord's_Day, Low_Sunday, Passion_Sunday, Quadragesima, Quadrigesima_Sunday, Quinquagesima, Quinquagesima_Sunday, Septuagesima, Septuagesima_Sunday, Sun, Sunday, Trinity_Sunday, dominical, 日曜日, 星期日 |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12965-12965 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12963-12963 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12967-12967 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8014-8014 | "http://upload.wikimedia.org/wikipedia/commons/0/0e/ Sunday_prayers_in_the_Church_of_Tsminda_Sameba.jpg" is a URL depicting Sunday |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8015-8015 | "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Starlight_Mountain_-_schedule_in_sound_booth.jpg" is a URL depicting Sunday |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6907-6907 | "http://upload.wikimedia.org/wikipedia/commons/c/ca/ Solvogn.jpg" is a URL depicting Sunday |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12961-12961 | Sunday is a subclass of day |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12607-12607 | successorClass Sunday and Monday |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 311-311 | AdventSunday is a subclass of Sunday |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 485-485 | EasterSunday is a subclass of Sunday |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 460-460 | PalmSunday is a subclass of Sunday |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 551-551 | Pentecost is a subclass of Sunday |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1296-1296 | "星期日" is the printable form of Sunday in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 2601-2601 | "Sunday" is the printable form of Sunday in english language |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 2602-2602 | "日曜日" is the printable form of Sunday in japanese language |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12969-12976 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12978-12987 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16904-16912 |
|
|
|
|