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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Udhiyah
Udhiyah(udhiyah)

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


(documentation Udhiyah EnglishLanguage "A lamb that is killed as sacrifice on the day of The Greater ?eid (Eid Aladha).") ArabicCulture.kif 255-256
(instance Udhiyah RelationalAttribute) ArabicCulture.kif 258-258 Udhiyah is an instance of relational attribute

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


(termFormat ChineseLanguage Udhiyah "udhiyah") domainEnglishFormat.kif 59768-59768
(termFormat ChineseTraditionalLanguage Udhiyah "udhiyah") domainEnglishFormat.kif 59767-59767
(termFormat EnglishLanguage Udhiyah "udhiyah") domainEnglishFormat.kif 59766-59766

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


(=>
    (attribute ?S Udhiyah)
    (exists (?UR)
        (and
            (instance ?S Lamb)
            (instance ?UR UdhiyahRitual)
            (patient ?UR ?S))))
ArabicCulture.kif 259-265

consequent
-------------------------


(=>
    (instance ?UR UdhiyahRitual)
    (exists (?S ?EA ?P)
        (and
            (instance ?EA EidAladha)
            (during ?UR ?EA)
            (attribute ?S Udhiyah)
            (agent ?UR ?P)
            (attribute ?P Muslim)
            (patient ?UR ?S))))
ArabicCulture.kif 244-253


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 3.0 is open source software produced by Articulate Software and its partners