observesHoliday |
appearance as argument number 1 |
(documentation observesHoliday EnglishLanguage "(observesHoliday ?CognitiveAgent ?Holiday) means that ?CognitiveAgent regards ?Holiday as an institutionally special (sacred, commemorative, celebratory) TimeInterval and participates, at least to some degree, in the rituals, ceremonies, or other activies associated with ?Holiday.") | Media.kif 240-245 | |
(domain observesHoliday 1 CognitiveAgent) | Media.kif 238-238 | |
(domain observesHoliday 2 Holiday) | Media.kif 239-239 | |
(instance observesHoliday AsymmetricRelation) | Media.kif 237-237 | |
(instance observesHoliday BinaryPredicate) | Media.kif 236-236 |
appearance as argument number 2 |
(format ChineseLanguage observesHoliday "%1 observes %2 ") | domainEnglishFormat.kif 4010-4010 | |
(format ChineseTraditionalLanguage observesHoliday "%1 observes %2 ") | domainEnglishFormat.kif 4009-4009 | |
(format EnglishLanguage observesHoliday "%1 observes %2") | domainEnglishFormat.kif 4008-4008 | |
(termFormat EnglishLanguage observesHoliday "observes holiday") | domainEnglishFormat.kif 65890-65890 |
antecedent |
(=> (and (instance ?T1 JewishHoliday) (observesHoliday ?A ?T1)) (holdsDuring ?T1 (attribute ?A ReligiousJew))) |
Media.kif 281-286 | |
(=> (and (observesHoliday ?A ?T1) (equal ?T2 (WhenFn ?A))) (during ?T1 ?T2)) |
Media.kif 258-262 |
consequent |
(=> (and (holdsDuring ?H (attribute ?A Christian)) (instance ?H ChristmasDay)) (observesHoliday ?A ?H)) |
Media.kif 406-411 | |
(=> (and (holdsDuring ?H (attribute ?A Christian)) (instance ?H EasterSunday)) (observesHoliday ?A ?H)) |
Media.kif 509-514 | |
(=> (and (instance ?T1 ChristianHoliday) (holdsDuring ?T1 (attribute ?A Christian))) (observesHoliday ?A ?T1)) |
Media.kif 269-274 | |
(=> (instance ?T1 Holiday) (exists (?A) (observesHoliday ?A ?T1))) |
Media.kif 249-252 |