Deductions
- ½ has quality class ⇐ (quality is a class), (½ has quality quality)
- ½ has quality abstract entity ⇐ (type is a abstract entity), (½ has quality type)
- ½ has quality entity ⇐ (taxonomic rank is a entity), (½ has quality taxonomic rank)
- prime number is for example ½ ⇐ (½ is a prime number), (is a is inverse of is for example)
- non-negative integer is for example ½ ⇐ (½ is a non-negative integer), (is a is inverse of is for example)
- even number is for example ½ ⇐ (½ is a even number), (is a is inverse of is for example)
- integer is for example ½ ⇐ (½ is a integer), (is a is inverse of is for example)
- square-free integer is for example ½ ⇐ (½ is a square-free integer), (is a is inverse of is for example)
- ½ has quality type ⇐ (½ is a square-free integer), (square-free integer has quality type)
- ½ has quality existence ⇐ (½ is a square-free integer), (square-free integer has quality existence)
- ½ has quality criterion ⇐ (½ is a square-free integer), (square-free integer has quality criterion)
- ½ has quality property ⇐ (½ is a square-free integer), (square-free integer has quality property)
- ½ has quality superclass ⇐ (½ is a square-free integer), (square-free integer has quality superclass)
- ½ has quality quality ⇐ (½ is a square-free integer), (square-free integer has quality quality)
- ½ has quality taxonomic rank ⇐ (½ is a square-free integer), (square-free integer has quality taxonomic rank)
- ½ is a integer ⇐ (non-negative integer is subclass of integer), (½ is a non-negative integer)
- ½ is a non-negative integer ⇐ (prime number is subclass of non-negative integer), (½ is a prime number)
- ½ is a square-free integer ⇐ (2 is a square-free integer), (2 is opposite of ½)
- ½ is a prime number ⇐ (2 is a prime number), (2 is opposite of ½)
- ½ is a even number ⇐ (2 is a even number), (2 is opposite of ½)
- irreducible fraction is for example ½ ⇐ (½ is a irreducible fraction), (is a is inverse of is for example)
- 2 is opposite of ½ ⇐ ½ is opposite of 2