Deductions
- Islamic term has quality class ⇐ (set is a class), (Islamic term has quality set)
- Islamic term has quality class ⇐ (abstract entity is a class), (Islamic term has quality abstract entity)
- Islamic term has quality class ⇐ (set is a class), (Islamic term has quality set)
- Islamic term has quality abstract entity ⇐ (set is a abstract entity), (Islamic term has quality set)
- Islamic term has quality entity ⇐ (taxonomic rank is a entity), (Islamic term has quality taxonomic rank)
- Islamic term has quality set ⇐ (Islamic term is subclass of religious concept), (religious concept has quality set)
- Islamic term has quality class ⇐ (Islamic term is subclass of religious concept), (religious concept has quality class)
- Islamic term has quality mathematical object ⇐ (Islamic term is subclass of religious concept), (religious concept has quality mathematical object)
- Islamic term has quality superclass ⇐ (Islamic term is subclass of religious concept), (religious concept has quality superclass)
- Islamic term has quality taxonomic rank ⇐ (Islamic term is subclass of religious concept), (religious concept has quality taxonomic rank)
- Islamic term has quality extension of a concept ⇐ (Islamic term is subclass of religious concept), (religious concept has quality extension of a concept)
- Islamic term is for example Qalab ⇐ (Qalab is a Islamic term), (is a is inverse of is for example)