| NonDenominationalIndividual(non denominational individual)
|
| appearance as argument number 1 |
|
| (documentation NonDenominationalIndividual EnglishLanguage "An individual who is not a member of a particular ReligiousOrganization, yet who may have religious beliefs, such as a belief in God.") | People.kif 725-727 | |
| (externalImage NonDenominationalIndividual "http://upload.wikimedia.org/ wikipedia/ commons/ 2/ 2a/ Sage_Chapel_%28Cornell_University%29.jpg") | pictureList.kif 11505-11505 | |
| (instance NonDenominationalIndividual InternalAttribute) | People.kif 724-724 | Non denominational individual is an instance of internal attribute |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage NonDenominationalIndividual "非教派个人") | domainEnglishFormat.kif 40757-40757 | |
| (termFormat ChineseTraditionalLanguage NonDenominationalIndividual "非教派個人") | domainEnglishFormat.kif 40756-40756 | |
| (termFormat EnglishLanguage NonDenominationalIndividual "non denominational individual") | domainEnglishFormat.kif 40755-40755 |
| antecedent |
|
|
| (=> (attribute ?INDIVIDUAL NonDenominationalIndividual) (not (exists (?RELIGION) (and (instance ?RELIGION ReligiousOrganization) (member ?INDIVIDUAL ?RELIGION))))) |
People.kif 729-735 |
|
|
|
|