Deductions
- documentation file has quality class ⇐ (quality is a class), (documentation file has quality quality)
- documentation file has quality abstract entity ⇐ (type is a abstract entity), (documentation file has quality type)
- documentation file has quality entity ⇐ (taxonomic rank is a entity), (documentation file has quality taxonomic rank)
- documentation file has quality class ⇐ (type of property is a class), (documentation file has quality type of property)
- documentation file has quality taxonomic rank ⇐ (documentation file is subclass of means), (means has quality taxonomic rank)
- documentation file has quality result ⇐ (documentation file is subclass of means), (means has quality result)
- documentation file has quality quality ⇐ (documentation file is subclass of means), (means has quality quality)
- documentation file has quality existence ⇐ (documentation file is subclass of means), (means has quality existence)
- documentation file has quality superclass ⇐ (documentation file is subclass of means), (means has quality superclass)
- documentation file has quality criterion ⇐ (documentation file is subclass of means), (means has quality criterion)
- documentation file has quality type ⇐ (documentation file is subclass of means), (means has quality type)
- documentation file has quality type of property ⇐ (documentation file is subclass of means), (means has quality type of property)
- documentation file is subclass of means ⇐ (documentation file is subclass of method), (method is subclass of means), (is subclass of is a transitive relation)
- documentation file is subclass of converter ⇐ (documentation file is subclass of method), (method is subclass of converter), (is subclass of is a transitive relation)
- documentation file is subclass of evaluation ⇐ (documentation file is subclass of ranking), (ranking is subclass of evaluation), (is subclass of is a transitive relation)
- documentation file is subclass of method ⇐ (documentation file is subclass of ranking), (ranking is subclass of method), (is subclass of is a transitive relation)