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