|
|
   ChristianHoliday
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ChristianHoliday EnglishLanguage "An instance of ChristianHoliday is a Holiday instituted and observed by members of Christianity.") | Media.kif 265-267 | |
| (subclass ChristianHoliday Holiday) | Media.kif 264-264 | ChristianHoliday 是 假日 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass Advent ChristianHoliday) | Media.kif 296-296 | Advent 是 ChristianHoliday 的 subclass |
| (subclass AdventSunday ChristianHoliday) | Media.kif 310-310 | AdventSunday 是 ChristianHoliday 的 subclass |
| (subclass AscensionThursday ChristianHoliday) | Media.kif 528-528 | AscensionThursday 是 ChristianHoliday 的 subclass |
| (subclass ChristmasDay ChristianHoliday) | Media.kif 334-334 | ChristmasDay 是 ChristianHoliday 的 subclass |
| (subclass EasterSunday ChristianHoliday) | Media.kif 484-484 | EasterSunday 是 ChristianHoliday 的 subclass |
| (subclass Epiphany ChristianHoliday) | Media.kif 516-516 | Epiphany 是 ChristianHoliday 的 subclass |
| (subclass Lent ChristianHoliday) | Media.kif 413-413 | Lent 是 ChristianHoliday 的 subclass |
| (subclass PalmSunday ChristianHoliday) | Media.kif 459-459 | PalmSunday 是 ChristianHoliday 的 subclass |
| (subclass Pentecost ChristianHoliday) | Media.kif 549-549 | Pentecost 是 ChristianHoliday 的 subclass |
| (termFormat EnglishLanguage ChristianHoliday "Christian holiday") | domainEnglishFormat.kif 64634-64634 |
| antecedent |
|
|
| (=> (and (instance ?T1 ChristianHoliday) (holdsDuring ?T1 (attribute ?A Christian))) (observesHoliday ?A ?T1)) |
Media.kif 269-274 |
|
|
|