| Jain(jain)
| | Jainist |
| appearance as argument number 1 |
|
|
| (documentation Jain EnglishLanguage "A Jain is one who subscribes to the beliefs of Jainism.") | People.kif 1408-1409 | |
| (externalImage Jain "http://upload.wikimedia.org/wikipedia/commons/4/40/ Jain_hand.svg") | pictureList.kif 4890-4890 | |
| (instance Jain ReligiousAttribute) | People.kif 1407-1407 | Jain is an instance of religious attribute |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Jain "耆那教") | domainEnglishFormat.kif 31397-31397 | |
| (termFormat ChineseTraditionalLanguage Jain "耆那教") | domainEnglishFormat.kif 31396-31396 | |
| (termFormat EnglishLanguage Jain "jain") | domainEnglishFormat.kif 31395-31395 |
| antecedent |
|
|
| (<=> (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 |
|
|
|