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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hajj

Sigma KEE - Hajj
Hajj

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 106-109
(subclass Hajj ReligiousProcess) ArabicCulture.kif 111-111 Hajj宗教过程subclass
(subclass Hajj Translocation) ArabicCulture.kif 112-112 HajjTranslocationsubclass

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


(termFormat EnglishLanguage Hajj "hajj") domainEnglishFormat.kif 4963-4963 termFormat EnglishLanguage, Hajj and "hajj"

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


(=>
    (and
        (attribute ?P Muslim)
        (capability Hajj agent ?P))
    (modalAttribute
        (exists (?H)
            (and
                (instance ?H Hajj)
                (agent ?H ?P))) Obligation))
ArabicCulture.kif 125-134
(=>
    (instance ?H Hajj)
    (destination ?H MeccaSaudiArabia))
ArabicCulture.kif 114-116
(=>
    (instance ?H Hajj)
    (exists (?D)
        (and
            (instance ?D DhuAlHijjah)
            (during ?H ?D))))
ArabicCulture.kif 118-123

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


(=>
    (and
        (attribute ?P Muslim)
        (capability Hajj agent ?P))
    (modalAttribute
        (exists (?H)
            (and
                (instance ?H Hajj)
                (agent ?H ?P))) Obligation))
ArabicCulture.kif 125-134


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners