theist

Deductions

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