| Shintoist(shintoist) | | Shintoist |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 1470-1471 | |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1469-1469 | Shintoist is an instance of religious attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52626-52626 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52625-52625 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52624-52624 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 1473-1475 | Shintoist is an attribute of an object if and only if the object is a member of shinto |
|
|
|