| Hinduism | |
| appearance as argument number 1 |
|
|
| (documentation Hinduism EnglishLanguage "Hinduism is one of the major belief systems to emerge from India.") | People.kif 1312-1313 | |
| (instance Hinduism BeliefGroup) | People.kif 1311-1311 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Hinduism "印度教") | domainEnglishFormat.kif 28227-28227 | |
| (termFormat ChineseTraditionalLanguage Hinduism "印度教") | domainEnglishFormat.kif 28226-28226 | |
| (termFormat EnglishLanguage Hinduism "hinduism") | domainEnglishFormat.kif 28225-28225 |
| consequent |
|
|
| (<=> (attribute ?INDIVIDUAL Hindu) (member ?INDIVIDUAL Hinduism)) |
People.kif 1318-1320 |
|
|
|