| Shintoist(shintoist) | | Shintoist |
| appearance as argument number 1 |
|
|
| (documentation Shintoist EnglishLanguage "A Shintoist is one who subscribes to the beliefs of Shinto.") | People.kif 1469-1470 | |
| (instance Shintoist ReligiousAttribute) | People.kif 1468-1468 | Shintoist is an instance of religious attribute |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Shintoist "神道教") | domainEnglishFormat.kif 52633-52633 | |
| (termFormat ChineseTraditionalLanguage Shintoist "神道教") | domainEnglishFormat.kif 52632-52632 | |
| (termFormat EnglishLanguage Shintoist "shintoist") | domainEnglishFormat.kif 52631-52631 |
| antecedent |
|
|
| (<=> (attribute ?INDIVIDUAL Shintoist) (member ?INDIVIDUAL Shinto)) |
People.kif 1472-1474 | Shintoist is an attribute of an object if and only if the object is a member of shinto |
|
|
|