Deductions
- mathematical sciences has quality class ⇐ (quality is a class), (mathematical sciences has quality quality)
- mathematical sciences has quality abstract entity ⇐ (property is a abstract entity), (mathematical sciences has quality property)
- mathematical sciences has quality entity ⇐ (taxonomic rank is a entity), (mathematical sciences has quality taxonomic rank)
- mathematical sciences has quality class ⇐ (type of property is a class), (mathematical sciences has quality type of property)
- mathematical sciences has quality property ⇐ (mathematical sciences has quality topic), (topic has quality property), (has quality is a transitive relation)
- mathematical sciences has quality quality ⇐ (mathematical sciences has quality topic), (topic has quality quality), (has quality is a transitive relation)
- mathematical sciences has quality type of property ⇐ (mathematical sciences has quality topic), (topic has quality type of property), (has quality is a transitive relation)
- mathematical sciences has quality information quality ⇐ (mathematical sciences has quality topic), (topic has quality information quality), (has quality is a transitive relation)
- mathematical sciences has quality superclass ⇐ (mathematical sciences has quality topic), (topic has quality superclass), (has quality is a transitive relation)
- mathematical sciences has quality taxonomic rank ⇐ (mathematical sciences has quality topic), (topic has quality taxonomic rank), (has quality is a transitive relation)
- mathematical sciences has quality quality ⇐ (topic is a quality), (mathematical sciences has quality topic)
- mathematical sciences has quality topic ⇐ (mathematical sciences is subclass of academic discipline), (academic discipline has quality topic)