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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DhuAlHijjah
DhuAlHijjah(dhu al hijjah)

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


(documentation DhuAlHijjah EnglishLanguage "Dhu al-Hijja is the twelfth and final month in the Islamic Calendar. It is also known as Thw al-Hijja. This is a very sacred month in the Islamic calendar, marking the end of the year. It is in this month in which the Hajj Pilgrimage takes place. 'Dhu al-hijjah' literally means 'Lord of the Pilgrimage'. It is during this month that pilgrims from all around the world congregate at Mecca to visit the Kaaba. The Hajj is performed on the eighth, ninth and the tenth of this month. Eid ul-Adha, the 'Festival of the Sacrifice', is held on the tenth day. (from Wikipedia)") ArabicCulture.kif 103-111
(relatedInternalConcept DhuAlHijjah Month) ArabicCulture.kif 113-113 Dhu al hijjah is internally related to month
(subclass DhuAlHijjah TimeInterval) ArabicCulture.kif 112-112 Dhu al hijjah is a subclass of time interval

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


(termFormat ChineseLanguage DhuAlHijjah "dhu al hijjah") domainEnglishFormat.kif 19414-19414
(termFormat ChineseTraditionalLanguage DhuAlHijjah "dhu al hijjah") domainEnglishFormat.kif 19413-19413
(termFormat EnglishLanguage DhuAlHijjah "dhu al hijjah") domainEnglishFormat.kif 19412-19412

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


(=>
    (instance ?H Hajj)
    (exists (?D)
        (and
            (instance ?D DhuAlHijjah)
            (during ?H ?D))))
ArabicCulture.kif 127-132


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