| Atheist(atheist)
| | atheist |
| appearance as argument number 1 |
|
|
| (documentation Atheist EnglishLanguage "One who subscribes to Atheism.") | People.kif 718-718 | |
| (externalImage Atheist "http://upload.wikimedia.org/wikipedia/commons/8/ 88/ Epikouros_BM_1843.jpg") | pictureList.kif 6136-6136 | |
| (externalImage Atheist "http://upload.wikimedia.org/wikipedia/commons/a/ a4/ Socrates_Louvre.jpg") | pictureList.kif 6137-6137 | |
| (externalImage Atheist "http://upload.wikimedia.org/wikipedia/commons/f/ f6/ Feuerbach_Ludwig.jpg") | pictureList.kif 6138-6138 | |
| (instance Atheist InternalAttribute) | People.kif 717-717 | Atheist is an instance of internal attribute |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Atheist "无神论者") | domainEnglishFormat.kif 8870-8870 | |
| (termFormat ChineseTraditionalLanguage Atheist "無神論者") | domainEnglishFormat.kif 8869-8869 | |
| (termFormat EnglishLanguage Atheist "atheist") | domainEnglishFormat.kif 8868-8868 |
| antecedent |
|
|
| (<=> (attribute ?INDIVIDUAL Atheist) (member ?INDIVIDUAL Atheism)) |
People.kif 720-722 | Atheist is an attribute of an object if and only if the object is a member of atheism |
|
|
|