| appearance as argument number 1 |
|
| (documentation Umrah EnglishLanguage "A pilgrimage to Meccca performed by Muslims that can be undertaken at any time of the year. According to some schools of Islamic thought, the Umrah is not compulsory (as with Hajj) but highly recommended.") | ArabicCulture.kif 179-182 | |
| (subclass Umrah ReligiousProcess) | ArabicCulture.kif 184-184 | Umrah is a subclass of religious process |
| (subclass Umrah Translocation) | ArabicCulture.kif 185-185 | Umrah is a subclass of translocation |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Umrah "umrah") | domainEnglishFormat.kif 59880-59880 | |
| (termFormat ChineseTraditionalLanguage Umrah "umrah") | domainEnglishFormat.kif 59879-59879 | |
| (termFormat EnglishLanguage Umrah "umrah") | domainEnglishFormat.kif 59878-59878 |
| antecedent |
|
|
| (=> (instance ?U Umrah) (destination ?U MeccaSaudiArabia)) |
ArabicCulture.kif 187-189 |
|
|
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