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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Aqiqah
Aqiqah(aqiqah)

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


(documentation Aqiqah EnglishLanguage "A Muslim rite in which a special meal is hosted in celebration of having a new born baby.") ArabicCulture.kif 308-309
(subclass Aqiqah Eating) ArabicCulture.kif 312-312 Aqiqah is a subclass of eating
(subclass Aqiqah ReligiousProcess) ArabicCulture.kif 311-311 Aqiqah is a subclass of religious process

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


(termFormat ChineseLanguage Aqiqah "aqiqah") domainEnglishFormat.kif 8083-8083
(termFormat ChineseTraditionalLanguage Aqiqah "aqiqah") domainEnglishFormat.kif 8082-8082
(termFormat EnglishLanguage Aqiqah "aqiqah") domainEnglishFormat.kif 8081-8081

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


(=>
    (instance ?A Aqiqah)
    (exists (?AGENT)
        (and
            (agent ?A ?AGENT)
            (attribute ?A Muslim))))
ArabicCulture.kif 313-318
(=>
    (instance ?A Aqiqah)
    (exists (?BIRTH)
        (and
            (refers ?A ?BIRTH)
            (earlier
                (WhenFn ?BIRTH)
                (WhenFn ?A)))))
ArabicCulture.kif 320-325


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners