| Atheist(atheist)
| | atheist |
| appearance as argument number 1 |
|
|
| (documentation Atheist EnglishLanguage "One who subscribes to Atheism.") | People.kif 744-744 | |
| (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 743-743 | Atheist is an instance of internal attribute |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Atheist "无神论者") | domainEnglishFormat.kif 8862-8862 | |
| (termFormat ChineseTraditionalLanguage Atheist "無神論者") | domainEnglishFormat.kif 8861-8861 | |
| (termFormat EnglishLanguage Atheist "atheist") | domainEnglishFormat.kif 8860-8860 |
| antecedent |
|
|
| (<=> (attribute ?INDIVIDUAL Atheist) (member ?INDIVIDUAL Atheism)) |
People.kif 746-748 | Atheist is an attribute of an object if and only if the object is a member of atheism |
|
|
|