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 321-322 | |
(subclass Aqiqah Eating) | ArabicCulture.kif 325-325 | Aqiqah is a subclass of eating |
(subclass Aqiqah ReligiousProcess) | ArabicCulture.kif 324-324 | Aqiqah is a subclass of religious process |
appearance as argument number 2 |
(termFormat ChineseLanguage Aqiqah "aqiqah") | domainEnglishFormat.kif 8076-8076 | |
(termFormat ChineseTraditionalLanguage Aqiqah "aqiqah") | domainEnglishFormat.kif 8075-8075 | |
(termFormat EnglishLanguage Aqiqah "aqiqah") | domainEnglishFormat.kif 8074-8074 |
antecedent |
(=> (instance ?A Aqiqah) (exists (?AGENT) (and (agent ?A ?AGENT) (property ?A Muslim)))) |
ArabicCulture.kif 326-331 |
|
(=> (instance ?A Aqiqah) (exists (?BIRTH) (and (refers ?A ?BIRTH) (earlier (WhenFn ?BIRTH) (WhenFn ?A))))) |
ArabicCulture.kif 333-338 |
|