Deductions
- Christianity has part class ⇐ (entity is a class), (Christianity has part entity)
- Christianity has quality class ⇐ (existence is a class), (Christianity has quality existence)
- social structure is for example Christianity ⇐ (Christianity is a social structure), (is a is inverse of is for example)
- Christianity is a social structure ⇐ (religion is subclass of social structure), (Christianity is a religion)
- Christianity has quality entity ⇐ (taxonomic rank is a entity), (Christianity has quality taxonomic rank)
- Christianity has part variable-order class ⇐ (entity is a variable-order class), (Christianity has part entity)
- Christianity has part entity ⇐ (Christian denominational family is a entity), (Christianity has part Christian denominational family)
- collective entity is for example Christianity ⇐ (Christianity is a collective entity), (is a is inverse of is for example)
- religion is for example Christianity ⇐ (Christianity is a religion), (is a is inverse of is for example)
- Christianity has quality existence ⇐ (Christianity is a religion), (religion has quality existence)
- Christianity has quality taxonomic rank ⇐ (Christianity is a religion), (religion has quality taxonomic rank)
- Christianity has quality superclass ⇐ (Christianity is a religion), (religion has quality superclass)
- Christianity is a collective entity ⇐ (religion is subclass of collective entity), (Christianity is a religion)
- Christianity is a religion ⇐ (Major religious groups is subclass of religion), (Christianity is a Major religious groups)
- Christianity has quality religious belief ⇐ (monotheism is a religious belief), (Christianity has quality monotheism)
- Christianity has quality theism ⇐ (monotheism is subclass of theism), (Christianity has quality monotheism)
- Christianity has part Christian denominational family ⇐ (Western Christianity is a Christian denominational family), (Christianity has part Western Christianity)
- Major religious groups is for example Christianity ⇐ (Christianity is a Major religious groups), (is a is inverse of is for example)
- Methodism is subclass of Christianity ⇐ (Methodism is subclass of Western Christianity), (Western Christianity is subclass of Christianity), (is subclass of is a transitive relation)
- Christianity is subclass of monotheistic religion ⇐ (Christianity is subclass of Abrahamic religion), (Abrahamic religion is subclass of monotheistic religion), (is subclass of is a transitive relation)