Deductions
- asymmetric relation has quality class ⇐ (set is a class), (asymmetric relation has quality set)
- asymmetric relation has quality class ⇐ (abstract entity is a class), (asymmetric relation has quality abstract entity)
- asymmetric relation has quality class ⇐ (set is a class), (asymmetric relation has quality set)
- asymmetric relation is subclass of endorelation ⇐ (symmetric relation is subclass of endorelation), (symmetric relation is opposite of asymmetric relation)
- asymmetric relation is subclass of relation ⇐ (symmetric relation is subclass of relation), (symmetric relation is opposite of asymmetric relation)
- asymmetric relation has quality abstract entity ⇐ (arity is a abstract entity), (asymmetric relation has quality arity)
- asymmetric relation has quality entity ⇐ (taxonomic rank is a entity), (asymmetric relation has quality taxonomic rank)
- asymmetric relation has quality mathematical object ⇐ (arity is a mathematical object), (asymmetric relation has quality arity)
- asymmetric relation is subclass of set ⇐ (symmetric relation is subclass of set), (symmetric relation is opposite of asymmetric relation)
- asymmetric relation has quality mathematical property ⇐ (asymmetric relation is subclass of mathematical object), (mathematical object has quality mathematical property)
- asymmetric relation has quality relation ⇐ (asymmetric relation is subclass of mathematical object), (mathematical object has quality relation)
- asymmetric relation has quality set ⇐ (asymmetric relation is subclass of mathematical object), (mathematical object has quality set)
- asymmetric relation has quality taxonomic rank ⇐ (asymmetric relation is subclass of class), (class has quality taxonomic rank)
- asymmetric relation has quality superclass ⇐ (asymmetric relation is subclass of class), (class has quality superclass)
- asymmetric relation has quality existence ⇐ (asymmetric relation is subclass of class), (class has quality existence)
- asymmetric relation is subclass of class ⇐ (symmetric relation is subclass of class), (symmetric relation is opposite of asymmetric relation)
- asymmetric relation is subclass of mathematical object ⇐ (symmetric relation is subclass of mathematical object), (symmetric relation is opposite of asymmetric relation)
- asymmetric relation has quality number of entities ⇐ (arity is subclass of number of entities), (asymmetric relation has quality arity)
- asymmetric relation has quality arity ⇐ (asymmetric relation is subclass of binary relation), (binary relation has quality arity)