Deductions
- type of conflict has quality class ⇐ (quality is a class), (type of conflict has quality quality)
- type of conflict has quality abstract entity ⇐ (type is a abstract entity), (type of conflict has quality type)
- abstract entity is for example type of conflict ⇐ (type of conflict is a abstract entity), (is a is inverse of is for example)
- type of conflict has quality existence ⇐ (type of conflict has quality entity), (entity has quality existence), (has quality is a transitive relation)
- type of conflict is a abstract entity ⇐ (metaclass is subclass of abstract entity), (type of conflict is a metaclass)
- type of conflict has quality entity ⇐ (type is a entity), (type of conflict has quality type)
- entity is for example type of conflict ⇐ (type of conflict is a entity), (is a is inverse of is for example)
- type of conflict is a entity ⇐ (metaclass is subclass of entity), (type of conflict is a metaclass)
- type of conflict has quality type ⇐ (criterion is a type), (type of conflict has quality criterion)
- type of conflict is for example peace ⇐ (peace is a type of conflict), (is a is inverse of is for example)
- type of conflict is for example warfare and armed conflicts ⇐ (warfare and armed conflicts is a type of conflict), (is a is inverse of is for example)
- type of conflict is for example war ⇐ (war is a type of conflict), (is a is inverse of is for example)
- metaclass is for example type of conflict ⇐ (type of conflict is a metaclass), (is a is inverse of is for example)
- type of conflict is for example armed conflict ⇐ (armed conflict is a type of conflict), (is a is inverse of is for example)
- class is for example type of conflict ⇐ (type of conflict is a class), (is a is inverse of is for example)
- type of conflict is subclass of class ⇐ (type of conflict is subclass of type), (type is subclass of class), (is subclass of is a transitive relation)
- type of conflict is subclass of abstract entity ⇐ (type of conflict is subclass of type), (type is subclass of abstract entity), (is subclass of is a transitive relation)
- type of conflict is subclass of entity ⇐ (type of conflict is subclass of type), (type is subclass of entity), (is subclass of is a transitive relation)
- type of conflict is a class ⇐ (metaclass is subclass of class), (type of conflict is a metaclass)
- type of conflict has quality property ⇐ (quality is subclass of property), (type of conflict has quality quality)
- type of conflict has quality quality ⇐ (criterion is subclass of quality), (type of conflict has quality criterion)
- type of conflict has quality criterion ⇐ (type of conflict is subclass of type), (type has quality criterion)
- peace is a type of conflict ⇐ (war is a type of conflict), (war is opposite of peace)