Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  observesHoliday

Sigma KEE - observesHoliday
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 引数は Holidayinstance では %n
(instance observesHoliday AsymmetricRelation) Media.kif 237-237 observesHoliday非対称関係instance では %n
(instance observesHoliday BinaryPredicate) Media.kif 236-236 observesHoliday2進述語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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners