Deductions
- asymmetry property has quality superclass ⇐ (asymmetry property has quality class), (class has quality superclass), (has quality is a transitive relation)
- asymmetry property has quality type of property ⇐ (asymmetry property has quality class), (class has quality type of property), (has quality is a transitive relation)
- asymmetry property has quality existence ⇐ (asymmetry property has quality class), (class has quality existence), (has quality is a transitive relation)
- asymmetry property has quality criterion ⇐ (asymmetry property has quality class), (class has quality criterion), (has quality is a transitive relation)
- asymmetry property has quality quality ⇐ (asymmetry property has quality class), (class has quality quality), (has quality is a transitive relation)
- asymmetry property has quality property ⇐ (asymmetry property has quality class), (class has quality property), (has quality is a transitive relation)
- asymmetry property has quality taxonomic rank ⇐ (asymmetry property has quality class), (class has quality taxonomic rank), (has quality is a transitive relation)
- asymmetry property has quality class ⇐ (asymmetry property has quality difference), (difference has quality class), (has quality is a transitive relation)
- asymmetry property has quality set ⇐ (asymmetry property has quality arity), (arity has quality set), (has quality is a transitive relation)
- asymmetry property has quality mathematical property ⇐ (asymmetry property has quality arity), (arity has quality mathematical property), (has quality is a transitive relation)
- asymmetry property has quality relation ⇐ (asymmetry property has quality arity), (arity has quality relation), (has quality is a transitive relation)
- asymmetry property has quality class ⇐ (subset is subclass of class), (asymmetry property has quality subset)
- asymmetry property has quality binary relation ⇐ (subclass is a binary relation), (asymmetry property has quality subclass)
- asymmetry property has quality arity ⇐ (asymmetry property has quality subclass), (subclass has quality arity), (has quality is a transitive relation)
- asymmetry property has quality number of entities ⇐ (asymmetry property has quality subclass), (subclass has quality number of entities), (has quality is a transitive relation)
- asymmetry property has quality mathematical object ⇐ (asymmetry property has quality subclass), (subclass has quality mathematical object), (has quality is a transitive relation)
- asymmetry property has quality subclass ⇐ (subset is subclass of subclass), (asymmetry property has quality subset)
- asymmetry property has quality subset ⇐ (difference is subclass of subset), (asymmetry property has quality difference)
- asymmetry property has quality type of property ⇐ (asymmetry property has quality class), (class has quality type of property), (has quality is a transitive relation)
- asymmetry property has quality class ⇐ (asymmetry property has quality type of relation), (type of relation has quality class), (has quality is a transitive relation)
- asymmetry property has quality property ⇐ (asymmetry property has quality type of relation), (type of relation has quality property), (has quality is a transitive relation)
- asymmetry property has quality quality ⇐ (asymmetry property has quality type of relation), (type of relation has quality quality), (has quality is a transitive relation)
- asymmetry property has quality criterion ⇐ (asymmetry property has quality type of relation), (type of relation has quality criterion), (has quality is a transitive relation)
- asymmetry property has quality existence ⇐ (asymmetry property has quality abstract entity), (abstract entity has quality existence), (has quality is a transitive relation)
- asymmetry property has quality superclass ⇐ (asymmetry property has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- asymmetry property has quality taxonomic rank ⇐ (asymmetry property has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- asymmetry property has quality type ⇐ (asymmetry property has quality difference), (difference has quality type), (has quality is a transitive relation)
- asymmetry property has quality class ⇐ (asymmetry property has quality difference), (difference has quality class), (has quality is a transitive relation)
- asymmetry property has quality entity ⇐ (asymmetry property has quality difference), (difference has quality entity), (has quality is a transitive relation)
- asymmetry property has quality type of relation ⇐ (asymmetry property has quality difference), (difference has quality type of relation), (has quality is a transitive relation)
- asymmetry property has quality abstract entity ⇐ (asymmetry property has quality difference), (difference has quality abstract entity), (has quality is a transitive relation)
- asymmetry property is opposite of symmetry ⇐ symmetry is opposite of asymmetry property