Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 | |
| (subclass DhuAlHijjah TimeInterval) | ArabicCulture.kif 112-112 | Dhu al hijjah is a subclass of timeframe |
| (relatedInternalConcept DhuAlHijjah Month) | ArabicCulture.kif 113-113 | Dhu al hijjah is internally related to month |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DhuAlHijjah "dhu al hijjah") | domainEnglishFormat.kif 19398-19398 | |
| (termFormat ChineseTraditionalLanguage DhuAlHijjah "dhu al hijjah") | domainEnglishFormat.kif 19399-19399 | |
| (termFormat ChineseLanguage DhuAlHijjah "dhu al hijjah") | domainEnglishFormat.kif 19400-19400 |
| consequent |
|
|
| (=> (instance ?H Hajj) (exists (?D) (and (instance ?D DhuAlHijjah) (during ?H ?D)))) |
ArabicCulture.kif 127-132 | If X is an instance of hajj, then there exists Y such that Y is an instance of dhu al hijjah and X takes place during Y |
|