Deductions
- ethical concept is subclass of abstract entity ⇐ (ethical concept is subclass of concept), (concept is subclass of abstract entity), (is subclass of is a transitive relation)
- ethical concept is subclass of entity ⇐ (ethical concept is subclass of concept), (concept is subclass of entity), (is subclass of is a transitive relation)
- ethical concept has quality class ⇐ (quality is a class), (ethical concept has quality quality)
- ethical concept is for example immorality ⇐ (immorality is a ethical concept), (is a is inverse of is for example)
- ethical concept has quality number of entities ⇐ (ethical concept has quality relation), (relation has quality number of entities), (has quality is a transitive relation)
- ethical concept has quality arity ⇐ (ethical concept has quality relation), (relation has quality arity), (has quality is a transitive relation)
- ethical concept has quality type ⇐ (ethical concept has quality class), (class has quality type), (has quality is a transitive relation)
- ethical concept has quality type of property ⇐ (ethical concept has quality class), (class has quality type of property), (has quality is a transitive relation)
- ethical concept has quality criterion ⇐ (ethical concept has quality class), (class has quality criterion), (has quality is a transitive relation)
- ethical concept has quality quality ⇐ (ethical concept has quality class), (class has quality quality), (has quality is a transitive relation)
- ethical concept has quality property ⇐ (ethical concept has quality class), (class has quality property), (has quality is a transitive relation)
- ethical concept has quality class ⇐ (set is a class), (ethical concept has quality set)
- ethical concept has quality abstract entity ⇐ (set is a abstract entity), (ethical concept has quality set)
- ethical concept has quality class ⇐ (ethical concept is subclass of concept), (concept has quality class)
- ethical concept has quality mathematical property ⇐ (ethical concept is subclass of concept), (concept has quality mathematical property)
- ethical concept has quality extension of a concept ⇐ (ethical concept is subclass of concept), (concept has quality extension of a concept)
- ethical concept has quality mathematical object ⇐ (ethical concept is subclass of concept), (concept has quality mathematical object)
- ethical concept has quality taxonomic rank ⇐ (ethical concept is subclass of concept), (concept has quality taxonomic rank)
- ethical concept has quality superclass ⇐ (ethical concept is subclass of concept), (concept has quality superclass)
- ethical concept has quality set ⇐ (ethical concept is subclass of concept), (concept has quality set)
- ethical concept has quality relation ⇐ (ethical concept is subclass of concept), (concept has quality relation)
- ethical concept has quality existence ⇐ (ethical concept is subclass of concept), (concept has quality existence)
- ethical concept has quality entity ⇐ (ethical concept is subclass of concept), (concept has quality entity)
- immorality is a ethical concept ⇐ (morality is a ethical concept), (morality is opposite of immorality)
- ethical concept is for example morality ⇐ (morality is a ethical concept), (is a is inverse of is for example)