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