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 and 假日 |
appearance as argument number 2 |
(subclass Advent ChristianHoliday) | Media.kif 296-296 | 子類 Advent and ChristianHoliday |
(subclass AdventSunday ChristianHoliday) | Media.kif 310-310 | 子類 AdventSunday and ChristianHoliday |
(subclass AscensionThursday ChristianHoliday) | Media.kif 528-528 | 子類 AscensionThursday and ChristianHoliday |
(subclass ChristmasDay ChristianHoliday) | Media.kif 334-334 | 子類 ChristmasDay and ChristianHoliday |
(subclass EasterSunday ChristianHoliday) | Media.kif 484-484 | 子類 EasterSunday and ChristianHoliday |
(subclass Epiphany ChristianHoliday) | Media.kif 516-516 | 子類 Epiphany and ChristianHoliday |
(subclass Lent ChristianHoliday) | Media.kif 413-413 | 子類 Lent and ChristianHoliday |
(subclass PalmSunday ChristianHoliday) | Media.kif 459-459 | 子類 PalmSunday and ChristianHoliday |
(subclass Pentecost ChristianHoliday) | Media.kif 549-549 | 子類 Pentecost and ChristianHoliday |
(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 |
|