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 | 域 observesHoliday, 1 and CognitiveAgent |
(domain observesHoliday 2 Holiday) | Media.kif 239-239 | 域 observesHoliday, 2 and 假日 |
(instance observesHoliday AsymmetricRelation) | Media.kif 237-237 | 例 observesHoliday and AsymmetricRelation |
(instance observesHoliday BinaryPredicate) | Media.kif 236-236 | 例 observesHoliday and BinaryPredicate |
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 65888-65888 |
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 |