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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Aqiqah

Sigma KEE - Aqiqah
Aqiqah(aqiqah)

appearance as argument number 1
-------------------------


s__documentation(s__Aqiqah,s__EnglishLanguage,'"A Muslim rite in which a special meal is hosted in celebration of having a new born baby."')

ArabicCulture.kif 310-311
s__instance(s__Aqiqah,s__SetOrClass)

s__instance(s__Eating,s__SetOrClass)

s__subclass(s__Aqiqah,s__Eating)

ArabicCulture.kif 314-314 Aqiqah is a subclass of eating
s__instance(s__Aqiqah,s__SetOrClass)

s__subclass(s__Aqiqah,s__ReligiousProcess)

s__instance(s__ReligiousProcess,s__SetOrClass)

ArabicCulture.kif 313-313 Aqiqah is a subclass of religious process

appearance as argument number 2
-------------------------


s__termFormat(s__ChineseLanguage,s__Aqiqah,'"aqiqah"')

domainEnglishFormat.kif 8085-8085
s__termFormat(s__ChineseTraditionalLanguage,s__Aqiqah,'"aqiqah"')

domainEnglishFormat.kif 8084-8084
s__termFormat(s__EnglishLanguage,s__Aqiqah,'"aqiqah"')

domainEnglishFormat.kif 8083-8083

antecedent
-------------------------


( ! [V__A] :
   ((s__instance(V__A,s__Aqiqah) =>
       (( ? [V__AGENT] :
           ((s__instance(V__AGENT,s__Agent) &
               (s__agent(V__A,V__AGENT)
               &
               s__attribute(V__A,s__Muslim)))))))
   )
)

ArabicCulture.kif 315-320
( ! [V__A] :
   ((s__instance(V__A,s__Aqiqah) =>
       (( ? [V__BIRTH] :
           ((s__instance(V__BIRTH,s__Physical) &
               (s__refers(V__A,V__BIRTH)
               &
               s__earlier(s__WhenFn(V__BIRTH)
            ,s__WhenFn(V__A))))))))
)
)

ArabicCulture.kif 322-327


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