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