Deductions
- composite number has quality type of property ⇐ (composite number has quality quality), (quality has quality type of property), (has quality is a transitive relation)
- composite number has quality class ⇐ (composite number has quality quality), (quality has quality class), (has quality is a transitive relation)
- composite number has quality abstract entity ⇐ (type is a abstract entity), (composite number has quality type)
- composite number has quality criterion ⇐ (composite number is subclass of square-free integer), (square-free integer has quality criterion)
- composite number has quality taxonomic rank ⇐ (composite number is subclass of square-free integer), (square-free integer has quality taxonomic rank)
- composite number has quality quality ⇐ (composite number is subclass of square-free integer), (square-free integer has quality quality)
- composite number has quality superclass ⇐ (composite number is subclass of square-free integer), (square-free integer has quality superclass)
- composite number has quality property ⇐ (composite number is subclass of square-free integer), (square-free integer has quality property)
- composite number has quality existence ⇐ (composite number is subclass of square-free integer), (square-free integer has quality existence)
- composite number has quality type ⇐ (composite number is subclass of square-free integer), (square-free integer has quality type)
- composite number has quality entity ⇐ (composite number is subclass of square-free integer), (square-free integer has quality entity)
- composite number is subclass of square-free integer ⇐ (prime number is subclass of square-free integer), (prime number is opposite of composite number)
- entity is for example composite number ⇐ (composite number is a entity), (is a is inverse of is for example)
- class is for example composite number ⇐ (composite number is a class), (is a is inverse of is for example)
- composite number is a entity ⇐ (class is subclass of entity), (composite number is a class)
- composite number is a class ⇐ (type of integer is subclass of class), (composite number is a type of integer)
- type of integer is for example composite number ⇐ (composite number is a type of integer), (is a is inverse of is for example)
- type of number is for example composite number ⇐ (composite number is a type of number), (is a is inverse of is for example)
- composite number is subclass of non-negative integer ⇐ (composite number is subclass of positive integer), (positive integer is subclass of non-negative integer), (is subclass of is a transitive relation)
- composite number is subclass of integer ⇐ (composite number is subclass of positive integer), (positive integer is subclass of integer), (is subclass of is a transitive relation)
- composite number is a type of number ⇐ (type of integer is subclass of type of number), (composite number is a type of integer)
- composite number is a type of integer ⇐ (prime number is a type of integer), (prime number is opposite of composite number)