![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
NonDenominationalIndividual(non denominational individual)
|
| appearance as argument number 1 |
|
|
| (instance NonDenominationalIndividual InternalAttribute) | People.kif 758-758 | Non denominational individual is an instance of internal attribute |
| (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 759-761 | Non denominational individual is an instance of internal attribute |
| (externalImage NonDenominationalIndividual "http://upload.wikimedia.org/ wikipedia/ commons/ 2/ 2a/ Sage_Chapel_%28Cornell_University%29.jpg") | pictureList.kif 11498-11498 | Non denominational individual is an instance of internal attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (attribute ?INDIVIDUAL NonDenominationalIndividual) (not (exists (?RELIGION) (and (instance ?RELIGION ReligiousOrganization) (member ?INDIVIDUAL ?RELIGION))))) |
People.kif 763-769 | If non denominational individual is an attribute of X, then there doesn't exist Y such that Y is an instance of religious organization and X is a member of Y |