Deductions
- type of war has quality class ⇐ (quality is a class), (type of war has quality quality)
- class is for example type of war ⇐ (type of war is a class), (is a is inverse of is for example)
- type of war is a class ⇐ (abstract entity is subclass of class), (type of war is a abstract entity)
- type of war has quality abstract entity ⇐ (type is a abstract entity), (type of war has quality type)
- abstract entity is for example type of war ⇐ (type of war is a abstract entity), (is a is inverse of is for example)
- type of war has quality existence ⇐ (type of war is a abstract entity), (abstract entity has quality existence)
- type of war has quality superclass ⇐ (type of war is a abstract entity), (abstract entity has quality superclass)
- type of war has quality taxonomic rank ⇐ (type of war is a abstract entity), (abstract entity has quality taxonomic rank)
- type of war is a abstract entity ⇐ (metaclass is subclass of abstract entity), (type of war is a metaclass)
- type of war has quality entity ⇐ (type is a entity), (type of war has quality type)
- entity is for example type of war ⇐ (type of war is a entity), (is a is inverse of is for example)
- type of war is for example world war ⇐ (world war is a type of war), (is a is inverse of is for example)
- type of war is a entity ⇐ (metaclass is subclass of entity), (type of war is a metaclass)
- type of war has quality type ⇐ (criterion is a type), (type of war has quality criterion)
- metaclass is for example type of war ⇐ (type of war is a metaclass), (is a is inverse of is for example)
- type of war is subclass of class ⇐ (type of war is subclass of type), (type is subclass of class), (is subclass of is a transitive relation)
- type of war is subclass of abstract entity ⇐ (type of war is subclass of type), (type is subclass of abstract entity), (is subclass of is a transitive relation)
- type of war is subclass of entity ⇐ (type of war is subclass of type), (type is subclass of entity), (is subclass of is a transitive relation)
- type of war has quality property ⇐ (quality is subclass of property), (type of war has quality quality)
- type of war has quality quality ⇐ (criterion is subclass of quality), (type of war has quality criterion)
- type of war has quality criterion ⇐ (type of war is subclass of type), (type has quality criterion)