TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Hajj EnglishLanguage "The Pilgrimage to Mecca in Islam. It is the fifth obligatory Pillar of the Five Pillars of Islam for those who are ablebodied and can afford to do pilgrimage to Mecca at least once in their lifetime. It takes place every year in the Islamic month of Dhu al_Hijjah.")	ArabicCulture.kif 115-118
(subclass Hajj ReligiousProcess)	ArabicCulture.kif 120-120	Hajj is a subclass of religious process
(subclass Hajj Translocation)	ArabicCulture.kif 121-121	Hajj is a subclass of translocation

appearance as argument number 2

(termFormat EnglishLanguage Hajj "hajj")	domainEnglishFormat.kif 27254-27254
(termFormat ChineseTraditionalLanguage Hajj "朝覲")	domainEnglishFormat.kif 27255-27255
(termFormat ChineseLanguage Hajj "朝觐")	domainEnglishFormat.kif 27256-27256

antecedent

(=> (instance ?H Hajj) (destination ?H MeccaSaudiArabia))	ArabicCulture.kif 123-125	If X is an instance of hajj, then X ends up at mecca saudi arabia
(=> (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
(=> (and (attribute ?P Muslim) (capability Hajj agent ?P)) (modalAttribute (exists (?H) (and (instance ?H Hajj) (agent ?H ?P))) Obligation))	ArabicCulture.kif 134-143	If muslim is an attribute of X and X is capable of doing hajj as a agent, then the statement there exists Y such that Y is an instance of hajj and X is an agent of Y has the modal force of obligation

consequent

(=>
    (and
        (attribute ?P Muslim)
        (capability Hajj agent ?P))
    (modalAttribute
        (exists (?H)
            (and
                (instance ?H Hajj)
                (agent ?H ?P))) Obligation))

If muslim is an attribute of X and X is capable of doing hajj as a agent, then the statement there exists Y such that Y is an instance of hajj and X is an agent of Y has the modal force of obligation