non-negative integer

Deductions

• non-negative integer has quality class ⇐ (existence is a class), (non-negative integer has quality existence)
• non-negative integer has quality entity ⇐ (taxonomic rank is a entity), (non-negative integer has quality taxonomic rank)
• non-negative integer is for example 3 ⇐ (3 is a non-negative integer), (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)
• non-negative integer is for example −2 ⇐ (−2 is a non-negative integer), (is a is inverse of is for example)
• non-negative integer is for example −3 ⇐ (−3 is a non-negative 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)
• class is for example non-negative integer ⇐ (non-negative integer is a class), (is a is inverse of is for example)
• entity is for example non-negative integer ⇐ (non-negative integer is a entity), (is a is inverse of is for example)
• non-positive integer is subclass of non-negative integer ⇐ (positive integer is subclass of non-negative integer), (positive integer is opposite of non-positive integer)
• non-negative integer is subclass of negative real number ⇐ (negative integer is subclass of negative real number), (negative integer is opposite of non-negative integer)
• non-negative integer has quality superclass ⇐ (non-negative integer is a class), (class has quality superclass)
• non-negative integer has quality taxonomic rank ⇐ (non-negative integer is a class), (class has quality taxonomic rank)
• non-negative integer has quality existence ⇐ (non-negative integer is a entity), (entity has quality existence)
• non-negative integer is a entity ⇐ (class is subclass of entity), (non-negative integer is a class)
• non-negative integer is a class ⇐ (type of integer is subclass of class), (non-negative integer is a type of integer)
• 3 is a non-negative integer ⇐ (prime number is subclass of non-negative integer), (3 is a prime number)
• ½ is a non-negative integer ⇐ (prime number is subclass of non-negative integer), (½ is a prime number)
• 2 is a non-negative integer ⇐ (prime number is subclass of non-negative integer), (2 is a prime number)
• −2 is a non-negative integer ⇐ (prime number is subclass of non-negative integer), (−2 is a prime number)
• −3 is a non-negative integer ⇐ (prime number is subclass of non-negative integer), (−3 is a prime number)
• type of integer is for example non-negative integer ⇐ (non-negative integer is a type of integer), (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)
• 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)
• square-free integer is subclass of non-negative integer ⇐ (square-free integer is subclass of positive integer), (positive integer is subclass of non-negative integer), (is subclass of is a transitive relation)