Deductions
- Christian denominational family has quality class ⇐ (existence is a class), (Christian denominational family has quality existence)
- Christian denominational family is for example Eastern Orthodoxy ⇐ (Eastern Orthodoxy is a Christian denominational family), (is a is inverse of is for example)
- entity is for example Christian denominational family ⇐ (Christian denominational family is a entity), (is a is inverse of is for example)
- Christian denominational family has quality existence ⇐ (Christian denominational family is a entity), (entity has quality existence)
- Christian denominational family is a entity ⇐ (second-order class is subclass of entity), (Christian denominational family is a second-order class)
- Christianity has part Christian denominational family ⇐ (Western Christianity is a Christian denominational family), (Christianity has part Western Christianity)
- Christian denominational family is for example Methodism ⇐ (Methodism is a Christian denominational family), (is a is inverse of is for example)
- fixed-order class is for example Christian denominational family ⇐ (Christian denominational family is a fixed-order class), (is a is inverse of is for example)
- second-order class is for example Christian denominational family ⇐ (Christian denominational family is a second-order class), (is a is inverse of is for example)
- Christian denominational family is for example Protestantism ⇐ (Protestantism is a Christian denominational family), (is a is inverse of is for example)
- Christian denominational family is for example Western Christianity ⇐ (Western Christianity is a Christian denominational family), (is a is inverse of is for example)
- Christian denominational family is a fixed-order class ⇐ (second-order class is subclass of fixed-order class), (Christian denominational family is a second-order class)