| Jainism(jainism)
| | Jainism |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 1404-1405 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5006-5006 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4890-4890 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5007-5007 | |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1403-1403 | Jainism is an instance of belief group |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31397-31397 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31396-31396 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31395-31395 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 1412-1414 | Jain is an attribute of an object if and only if the object is a member of jainism |
|
|
|