Deductions
- entity is for example integer ⇐ (integer is a entity), (is a is inverse of is for example)
- integer is for example many ⇐ (many is a integer), (is a is inverse of is for example)
- integer is a entity ⇐ (type of number is subclass of entity), (integer is a type of number)
- many is a integer ⇐ (1 is a integer), (1 is opposite of many)
- integer is for example 2 ⇐ (2 is a integer), (is a is inverse of is for example)
- integer is for example 1 ⇐ (1 is a integer), (is a is inverse of is for example)
- integer is for example 2334 ⇐ (2334 is a integer), (is a is inverse of is for example)
- integer is for example ½ ⇐ (½ is a integer), (is a is inverse of is for example)
- integer is for example −3 ⇐ (−3 is a integer), (is a is inverse of is for example)
- integer is for example −2 ⇐ (−2 is a integer), (is a is inverse of is for example)
- integer is for example 3 ⇐ (3 is a integer), (is a is inverse of is for example)
- 3 is a integer ⇐ (non-negative integer is subclass of integer), (3 is a non-negative integer)
- ½ is a integer ⇐ (non-negative integer is subclass of integer), (½ is a non-negative integer)
- −2 is a integer ⇐ (non-negative integer is subclass of integer), (−2 is a non-negative integer)
- −3 is a integer ⇐ (non-negative integer is subclass of integer), (−3 is a non-negative integer)
- 2 is a integer ⇐ (non-negative integer is subclass of integer), (2 is a non-negative integer)
- 1 is a integer ⇐ (natural number is subclass of integer), (1 is a natural number)
- 2334 is a integer ⇐ (natural number is subclass of integer), (2334 is a natural number)
- type of number is for example integer ⇐ (integer is a type of number), (is a is inverse of is for example)
- negative integer is subclass of integer ⇐ (non-negative integer is subclass of integer), (non-negative integer is opposite of negative integer)
- non-positive integer is subclass of integer ⇐ (positive integer is subclass of integer), (positive integer is opposite of non-positive integer)
- composite number is subclass of integer ⇐ (composite number is subclass of positive integer), (positive integer is subclass of integer), (is subclass of is a transitive relation)
- 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)