Deductions
- 2 has quality class ⇐ (existence is a class), (2 has quality existence)
- 2 has quality entity ⇐ (taxonomic rank is a entity), (2 has quality taxonomic rank)
- integer is for example 2 ⇐ (2 is a integer), (is a is inverse of is for example)
- non-negative integer is for example 2 ⇐ (2 is a non-negative integer), (is a is inverse of is for example)
- 2 has quality taxonomic rank ⇐ (2 is a non-negative integer), (non-negative integer has quality taxonomic rank)
- 2 has quality existence ⇐ (2 is a non-negative integer), (non-negative integer has quality existence)
- 2 has quality superclass ⇐ (2 is a non-negative integer), (non-negative integer has quality superclass)
- 2 is a integer ⇐ (non-negative integer is subclass of integer), (2 is a non-negative integer)
- 2 is a non-negative integer ⇐ (prime number is subclass of non-negative integer), (2 is a prime number)
- square-free integer is for example 2 ⇐ (2 is a square-free integer), (is a is inverse of is for example)
- year is for example 2 ⇐ (2 is a year), (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)
- even number is for example 2 ⇐ (2 is a even number), (is a is inverse of is for example)
- irreducible fraction is for example 2 ⇐ (2 is a irreducible fraction), (is a is inverse of is for example)
- 2 is opposite of ½ ⇐ ½ is opposite of 2
- 2 is a square-free integer ⇐ (prime number is subclass of square-free integer), (2 is a prime number)
- 2 is a even number ⇐ (−2 is a even number), (−2 is opposite of 2)
- 2 is a irreducible fraction ⇐ (½ is a irreducible fraction), (½ is opposite of 2)