believer

Deductions

• religious identity is for example believer ⇐ (believer is a religious identity), (is a is inverse of is for example)
• atheist is opposite of believer ⇐ believer is opposite of atheist
• anti-Christian is subclass of believer ⇐ (Christian is subclass of believer), (Christian is opposite of anti-Christian)
• atheist is subclass of believer ⇐ (theist is subclass of believer), (theist is opposite of atheist)
• theist is subclass of believer ⇐ (theist is subclass of religious adherent), (religious adherent is subclass of believer), (is subclass of is a transitive relation)
• Christian is subclass of believer ⇐ (Christian is subclass of religious adherent), (religious adherent is subclass of believer), (is subclass of is a transitive relation)