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 | O argumento numero 1 de observesHoliday e' uma instancia de Agente Cognitivo |
(domain observesHoliday 2 Holiday) | Media.kif 239-239 | O argumento numero 2 de observesHoliday e' uma instancia de Holiday |
(instance observesHoliday AsymmetricRelation) | Media.kif 237-237 | observesHoliday e' uma instancia de Relacao Assimetrica |
(instance observesHoliday BinaryPredicate) | Media.kif 236-236 | observesHoliday e' uma instancia de Predicado Binario |
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 |