Deductions
- liberalism has quality type of value ⇐ (value is a type of value), (liberalism has quality value)
- type of value is for example instrumental value ⇐ (instrumental value is a type of value), (is a is inverse of is for example)
- type of value is for example value ⇐ (value is a type of value), (is a is inverse of is for example)
- entity is for example type of value ⇐ (type of value is a entity), (is a is inverse of is for example)
- type of value is a entity ⇐ (metaclass is subclass of entity), (type of value is a metaclass)
- metaclass is for example type of value ⇐ (type of value is a metaclass), (is a is inverse of is for example)
- type of value is for example ugliness ⇐ (ugliness is a type of value), (is a is inverse of is for example)
- type of value is for example war ⇐ (war is a type of value), (is a is inverse of is for example)
- type of value is for example peace ⇐ (peace is a type of value), (is a is inverse of is for example)
- type of value is for example beauty ⇐ (beauty is a type of value), (is a is inverse of is for example)
- type of value is subclass of entity ⇐ (type of value is subclass of type), (type is subclass of entity), (is subclass of is a transitive relation)
- type of value is subclass of abstract entity ⇐ (type of value is subclass of type), (type is subclass of abstract entity), (is subclass of is a transitive relation)
- type of value is subclass of class ⇐ (type of value is subclass of type), (type is subclass of class), (is subclass of is a transitive relation)
- ugliness is a type of value ⇐ (beauty is a type of value), (beauty is opposite of ugliness)
- war is a type of value ⇐ (peace is a type of value), (peace is opposite of war)