| Taoist(taoist) | | Tao, Taoist |
| appearance as argument number 1 |
|
|
| (documentation Taoist EnglishLanguage "A Taoist is one who subscribes to the beliefs of Taoism.") | People.kif 1499-1500 | |
| (instance Taoist ReligiousAttribute) | People.kif 1498-1498 | Taoist is an instance of religious attribute |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Taoist "道") | domainEnglishFormat.kif 56980-56980 | |
| (termFormat ChineseTraditionalLanguage Taoist "道") | domainEnglishFormat.kif 56979-56979 | |
| (termFormat EnglishLanguage Taoist "taoist") | domainEnglishFormat.kif 56978-56978 |
| antecedent |
|
|
| (<=> (attribute ?INDIVIDUAL Taoist) (member ?INDIVIDUAL Taoism)) |
People.kif 1502-1504 | Taoist is an attribute of an object if and only if the object is a member of taoism |
|
|
|