Deductions
- flaw has quality type of property ⇐ (flaw has quality mathematical object), (mathematical object has quality type of property), (has quality is a transitive relation)
- flaw has quality class ⇐ (flaw has quality mathematical object), (mathematical object has quality class), (has quality is a transitive relation)
- flaw has quality quality ⇐ (flaw has quality mathematical object), (mathematical object has quality quality), (has quality is a transitive relation)
- flaw has quality mathematical property ⇐ (flaw has quality mathematical object), (mathematical object has quality mathematical property), (has quality is a transitive relation)
- flaw has quality type ⇐ (flaw has quality mathematical object), (mathematical object has quality type), (has quality is a transitive relation)
- flaw has quality property ⇐ (flaw has quality mathematical object), (mathematical object has quality property), (has quality is a transitive relation)
- flaw has quality set ⇐ (flaw has quality mathematical object), (mathematical object has quality set), (has quality is a transitive relation)
- flaw has quality relation ⇐ (flaw has quality mathematical object), (mathematical object has quality relation), (has quality is a transitive relation)
- flaw has quality criterion ⇐ (flaw has quality mathematical object), (mathematical object has quality criterion), (has quality is a transitive relation)
- flaw has quality class ⇐ (subset is subclass of class), (flaw has quality subset)
- flaw has quality binary relation ⇐ (subclass is a binary relation), (flaw has quality subclass)
- flaw has quality entity ⇐ (flaw has quality subclass), (subclass has quality entity), (has quality is a transitive relation)
- flaw has quality existence ⇐ (flaw has quality subclass), (subclass has quality existence), (has quality is a transitive relation)
- flaw has quality superclass ⇐ (flaw has quality subclass), (subclass has quality superclass), (has quality is a transitive relation)
- flaw has quality arity ⇐ (flaw has quality subclass), (subclass has quality arity), (has quality is a transitive relation)
- flaw has quality number of entities ⇐ (flaw has quality subclass), (subclass has quality number of entities), (has quality is a transitive relation)
- flaw has quality taxonomic rank ⇐ (flaw has quality subclass), (subclass has quality taxonomic rank), (has quality is a transitive relation)
- flaw has quality mathematical object ⇐ (flaw has quality subclass), (subclass has quality mathematical object), (has quality is a transitive relation)
- flaw has quality abstract entity ⇐ (flaw has quality subclass), (subclass has quality abstract entity), (has quality is a transitive relation)
- flaw has quality class ⇐ (flaw has quality subclass), (subclass has quality class), (has quality is a transitive relation)
- flaw has quality subclass ⇐ (subset is subclass of subclass), (flaw has quality subset)
- flaw has quality subset ⇐ (difference is subclass of subset), (flaw has quality difference)
- property is for example flaw ⇐ (flaw is a property), (is a is inverse of is for example)
- flaw is a property ⇐ (perfection is a property), (perfection is opposite of flaw)
- flaw is for example software resource ⇐ (software resource is a flaw), (is a is inverse of is for example)
- flaw is subclass of absence ⇐ (perfection is subclass of absence), (perfection is opposite of flaw)
- correctness is subclass of flaw ⇐ (error is subclass of flaw), (error is opposite of correctness)
- software resource is a flaw ⇐ (error is subclass of flaw), (software resource is a error)