type of integer

Deductions

• entity is for example type of integer ⇐ (type of integer is a entity), (is a is inverse of is for example)
• type of integer is for example non-positive integer ⇐ (non-positive integer is a type of integer), (is a is inverse of is for example)
• type of integer is for example negative integer ⇐ (negative integer is a type of integer), (is a is inverse of is for example)
• type of integer is a entity ⇐ (second-order class is subclass of entity), (type of integer is a second-order class)
• negative integer is a type of integer ⇐ (non-negative integer is a type of integer), (non-negative integer is opposite of negative integer)
• non-positive integer is a type of integer ⇐ (positive integer is a type of integer), (positive integer is opposite of non-positive integer)
• type of integer is for example composite number ⇐ (composite number is a type of integer), (is a is inverse of is for example)
• fixed-order class is for example type of integer ⇐ (type of integer is a fixed-order class), (is a is inverse of is for example)
• 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)
• type of integer is for example odd number ⇐ (odd number is a type of integer), (is a is inverse of is for example)
• second-order class is for example type of integer ⇐ (type of integer is a second-order class), (is a is inverse of is for example)
• type of integer is for example square-free integer ⇐ (square-free integer is a type of integer), (is a is inverse of is for example)
• type of integer is for example natural number ⇐ (natural number is a type of integer), (is a is inverse of is for example)
• type of integer is for example even number ⇐ (even number is a type of integer), (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)
• type of integer is for example positive integer ⇐ (positive integer is a type of integer), (is a is inverse of is for example)
• type of integer is subclass of class ⇐ (type of integer is subclass of type of number), (type of number is subclass of class), (is subclass of is a transitive relation)
• type of integer is subclass of abstract entity ⇐ (type of integer is subclass of type of number), (type of number is subclass of abstract entity), (is subclass of is a transitive relation)
• type of integer is subclass of entity ⇐ (type of integer is subclass of type of number), (type of number is subclass of entity), (is subclass of is a transitive relation)
• type of integer is subclass of type ⇐ (type of integer is subclass of type of number), (type of number is subclass of type), (is subclass of is a transitive relation)
• type of integer is a fixed-order class ⇐ (second-order class is subclass of fixed-order class), (type of integer is a second-order class)
• composite number is a type of integer ⇐ (prime number is a type of integer), (prime number is opposite of composite number)
• odd number is a type of integer ⇐ (even number is a type of integer), (even number is opposite of odd number)