| Hinduism(hinduism) | | Hindooism, 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 | Hinduism is an instance of belief group |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Hinduism "印度教") | domainEnglishFormat.kif 28255-28255 | |
| (termFormat ChineseTraditionalLanguage Hinduism "印度教") | domainEnglishFormat.kif 28254-28254 | |
| (termFormat EnglishLanguage Hinduism "hinduism") | domainEnglishFormat.kif 28253-28253 |
| consequent |
|
|
| (<=> (attribute ?INDIVIDUAL Hindu) (member ?INDIVIDUAL Hinduism)) |
People.kif 1318-1320 | Hindu is an attribute of an object if and only if the object is a member of hinduism |
|
|
|