| Jainism(jainism)
| | Jainism |
| appearance as argument number 1 |
|
|
| (documentation Jainism EnglishLanguage "Jainism is one of the major religions to emerge from India.") | People.kif 1403-1404 | |
| (externalImage Jainism "http://upload.wikimedia.org/wikipedia/commons/0/ 07/ Gomateswara.jpg") | pictureList.kif 5006-5006 | |
| (externalImage Jainism "http://upload.wikimedia.org/wikipedia/commons/1/ 14/ Swastik4.svg") | pictureList.kif 4890-4890 | |
| (externalImage Jainism "http://upload.wikimedia.org/wikipedia/en/6/6a/Bhavajale.jpg") | pictureList.kif 5007-5007 | |
| (instance Jainism BeliefGroup) | People.kif 1402-1402 | Jainism is an instance of belief group |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Jainism "耆那教") | domainEnglishFormat.kif 31398-31398 | |
| (termFormat ChineseTraditionalLanguage Jainism "耆那教") | domainEnglishFormat.kif 31397-31397 | |
| (termFormat EnglishLanguage Jainism "jainism") | domainEnglishFormat.kif 31396-31396 |
| consequent |
|
|
| (<=> (attribute ?INDIVIDUAL Jain) (member ?INDIVIDUAL Jainism)) |
People.kif 1411-1413 | Jain is an attribute of an object if and only if the object is a member of jainism |
|
|
|