Deductions
- anti-Christian has quality arity ⇐ (anti-Christian has quality mathematical property), (mathematical property has quality arity), (has quality is a transitive relation)
- anti-Christian has quality number of entities ⇐ (anti-Christian has quality mathematical property), (mathematical property has quality number of entities), (has quality is a transitive relation)
- anti-Christian has quality subjectivity ⇐ (anti-Christian has quality desirability), (desirability has quality subjectivity), (has quality is a transitive relation)
- anti-Christian has quality philosophical concept ⇐ (anti-Christian has quality desirability), (desirability has quality philosophical concept), (has quality is a transitive relation)
- anti-Christian has quality mathematical property ⇐ (anti-Christian has quality social science concept), (social science concept has quality mathematical property), (has quality is a transitive relation)
- anti-Christian has quality relation ⇐ (anti-Christian has quality social science concept), (social science concept has quality relation), (has quality is a transitive relation)
- anti-Christian has quality social science concept ⇐ (anti-Christian is subclass of religious adherent), (religious adherent has quality social science concept)
- anti-Christian has quality subjective quality ⇐ (anti-Christian is subclass of religious adherent), (religious adherent has quality subjective quality)
- anti-Christian has quality point in time ⇐ (anti-Christian is subclass of religious adherent), (religious adherent has quality point in time)
- anti-Christian has quality value ⇐ (anti-Christian is subclass of religious adherent), (religious adherent has quality value)
- anti-Christian has quality desirability ⇐ (anti-Christian is subclass of religious adherent), (religious adherent has quality desirability)
- anti-Christian has quality set ⇐ (anti-Christian has quality phenomenon), (phenomenon has quality set), (has quality is a transitive relation)
- anti-Christian has quality extension of a concept ⇐ (anti-Christian has quality phenomenon), (phenomenon has quality extension of a concept), (has quality is a transitive relation)
- anti-Christian has quality observation ⇐ (anti-Christian has quality phenomenon), (phenomenon has quality observation), (has quality is a transitive relation)
- anti-Christian has quality class ⇐ (anti-Christian has quality phenomenon), (phenomenon has quality class), (has quality is a transitive relation)
- anti-Christian has quality mathematical object ⇐ (anti-Christian has quality phenomenon), (phenomenon has quality mathematical object), (has quality is a transitive relation)
- anti-Christian has quality phenomenon ⇐ (work is subclass of phenomenon), (anti-Christian has quality work)
- anti-Christian has quality condition ⇐ (work is subclass of condition), (anti-Christian has quality work)
- anti-Christian has quality authority file ⇐ (anti-Christian is subclass of religious adherent), (religious adherent has quality authority file)
- anti-Christian has quality controlled vocabulary ⇐ (anti-Christian is subclass of religious adherent), (religious adherent has quality controlled vocabulary)
- anti-Christian has quality industry classification ⇐ (anti-Christian is subclass of religious adherent), (religious adherent has quality industry classification)
- anti-Christian has quality religious identity ⇐ (anti-Christian is subclass of religious adherent), (religious adherent has quality religious identity)
- anti-Christian has quality meaning ⇐ (anti-Christian is subclass of religious adherent), (religious adherent has quality meaning)
- anti-Christian has quality morphosyntactic word ⇐ (anti-Christian is subclass of religious adherent), (religious adherent has quality morphosyntactic word)
- anti-Christian has quality economic activity ⇐ (anti-Christian is subclass of religious adherent), (religious adherent has quality economic activity)
- anti-Christian has quality work ⇐ (anti-Christian is subclass of religious adherent), (religious adherent has quality work)
- anti-Christian has quality absence ⇐ (anti-Christian is subclass of religious adherent), (religious adherent has quality absence)
- anti-Christian is subclass of former member ⇐ (anti-Christian is subclass of religious adherent), (religious adherent is subclass of former member), (is subclass of is a transitive relation)
- anti-Christian is subclass of religious adherent ⇐ (anti-Christian is subclass of theist), (theist is subclass of religious adherent), (is subclass of is a transitive relation)
- anti-Christian has quality class ⇐ (quality is a class), (anti-Christian has quality quality)
- anti-Christian has quality abstract entity ⇐ (type is a abstract entity), (anti-Christian has quality type)
- anti-Christian is subclass of theist ⇐ (Christian is subclass of theist), (Christian is opposite of anti-Christian)
- anti-Christian has quality existence ⇐ (anti-Christian has quality entity), (entity has quality existence), (has quality is a transitive relation)
- anti-Christian has quality entity ⇐ (taxonomic rank is a entity), (anti-Christian has quality taxonomic rank)
- specifically dependent continuant is for example anti-Christian ⇐ (anti-Christian is a specifically dependent continuant), (is a is inverse of is for example)
- realizable entity is for example anti-Christian ⇐ (anti-Christian is a realizable entity), (is a is inverse of is for example)
- role is for example anti-Christian ⇐ (anti-Christian is a role), (is a is inverse of is for example)
- anti-Christian has quality relative quality ⇐ (anti-Christian is a role), (role has quality relative quality)
- anti-Christian has quality class ⇐ (anti-Christian is a role), (role has quality class)
- anti-Christian has quality type ⇐ (anti-Christian is a role), (role has quality type)
- anti-Christian has quality superclass ⇐ (anti-Christian is a role), (role has quality superclass)
- anti-Christian has quality property ⇐ (anti-Christian is a role), (role has quality property)
- anti-Christian has quality criterion ⇐ (anti-Christian is a role), (role has quality criterion)
- anti-Christian has quality quality ⇐ (anti-Christian is a role), (role has quality quality)
- anti-Christian has quality taxonomic rank ⇐ (anti-Christian is a role), (role has quality taxonomic rank)
- anti-Christian has quality type of property ⇐ (anti-Christian is a role), (role has quality type of property)
- anti-Christian is a specifically dependent continuant ⇐ (occupation is subclass of specifically dependent continuant), (anti-Christian is a occupation)
- anti-Christian is a role ⇐ (occupation is subclass of role), (anti-Christian is a occupation)
- anti-Christian is a realizable entity ⇐ (occupation is subclass of realizable entity), (anti-Christian is a occupation)
- anti-Christian has quality belief ⇐ (anti-Christian is subclass of believer), (believer has quality belief)
- occupation is for example anti-Christian ⇐ (anti-Christian is a occupation), (is a is inverse of is for example)
- religious identity is for example anti-Christian ⇐ (anti-Christian is a religious identity), (is a is inverse of is for example)
- anti-Christian is subclass of believer ⇐ (Christian is subclass of believer), (Christian is opposite of anti-Christian)
- anti-Christian is a religious identity ⇐ (Christian is a religious identity), (Christian is opposite of anti-Christian)