Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Epiphany(epiphany) |  | Epiphany, Epiphany_of_Our_Lord, January_6, Three_Kings'_Day, Twelfth_day |
| appearance as argument number 1 |
|
|
| (subclass Epiphany ChristianHoliday) | Media.kif 510-510 | Epiphany is a subclass of Christian holiday |
| (subclass Epiphany (DayFn 6 January)) |
Media.kif 511-511 | Epiphany is a subclass of the day 6 of month January |
| (subclass Epiphany FixedHoliday) | Media.kif 512-512 | Epiphany is a subclass of fixed holiday |
| (documentation Epiphany EnglishLanguage "An instance of Epiphany is a ChristianHoliday that is celebrated on January 6th in both the Gregorian and Julian calendars. In Western Christianity, it commemorates the visit of the Magi to the infant Jesus. In Eastern Christianity, it commemorates Jesus's baptism in the Jordan River and manifestation as the Son of God. In this tradition, the holiday is also called Theophany.") | Media.kif 513-520 | Epiphany is a subclass of fixed holiday |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Epiphany "epiphany") | domainEnglishFormat.kif 64830-64830 |
|