Deductions
- morality has quality class ⇐ (existence is a class), (morality has quality existence)
- morality has quality existence ⇐ (morality is a class), (class has quality existence)
- morality has quality entity ⇐ (morality is a class), (class has quality entity)
- morality has quality taxonomic rank ⇐ (morality is a class), (class has quality taxonomic rank)
- morality has quality superclass ⇐ (morality is a class), (class has quality superclass)
- abstract entity is for example morality ⇐ (morality is a abstract entity), (is a is inverse of is for example)
- entity is for example morality ⇐ (morality is a entity), (is a is inverse of is for example)
- class is for example morality ⇐ (morality is a class), (is a is inverse of is for example)
- morality is a class ⇐ (abstract entity is subclass of class), (morality is a abstract entity)
- morality is a entity ⇐ (ethical concept is subclass of entity), (morality is a ethical concept)
- morality is a abstract entity ⇐ (ethical concept is subclass of abstract entity), (morality is a ethical concept)
- morality is subclass of personality trait ⇐ (morality is subclass of moral quality), (moral quality is subclass of personality trait), (is subclass of is a transitive relation)
- concept is for example morality ⇐ (morality is a concept), (is a is inverse of is for example)
- morality is a concept ⇐ (ethical concept is subclass of concept), (morality is a ethical concept)
- ethical concept is for example morality ⇐ (morality is a ethical concept), (is a is inverse of is for example)
- morality is subclass of moral quality ⇐ (immorality is subclass of moral quality), (immorality is opposite of morality)