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 引数は 認識エージェント の instance では %n |
(domain observesHoliday 2 Holiday) | Media.kif 239-239 | observesHoliday の数値 2 引数は Holiday の instance では %n |
(instance observesHoliday AsymmetricRelation) | Media.kif 237-237 | observesHoliday は 非対称関係 の instance では %n |
(instance observesHoliday BinaryPredicate) | Media.kif 236-236 | observesHoliday は 2進述語 の instance では %n |
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 |