Eastern Orthodoxy

Deductions

• Eastern Orthodoxy has quality class ⇐ (Eastern Orthodoxy is a Christian denominational family), (Christian denominational family has quality class)
• Eastern Orthodoxy has quality existence ⇐ (Eastern Orthodoxy is a Christian denominational family), (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)
• Russian Orthodox Church is part of Eastern Orthodoxy ⇐ (Russian Orthodox Church is part of Eastern Orthodox Church), (Eastern Orthodox Church is part of Eastern Orthodoxy), (is part of is a transitive relation)