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