Deductions
- entity is for example positive integer ⇐ (positive integer is a entity), (is a is inverse of is for example)
- class is for example positive integer ⇐ (positive integer is a class), (is a is inverse of is for example)
- type of number is for example positive integer ⇐ (positive integer is a type of number), (is a is inverse of is for example)
- positive integer is a entity ⇐ (class is subclass of entity), (positive integer is a class)
- positive integer is a class ⇐ (type of integer is subclass of class), (positive integer is a type of integer)
- positive integer is a type of number ⇐ (non-positive integer is a type of number), (non-positive integer is opposite of positive integer)
- type of integer is for example positive integer ⇐ (positive integer is a type of integer), (is a is inverse of is for example)
- positive integer is subclass of integer ⇐ (positive integer is subclass of non-negative integer), (non-negative integer is subclass of 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)