Deductions
- entity is for example even number ⇐ (even number is a entity), (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)
- class is for example even number ⇐ (even number is a class), (is a is inverse of is for example)
- even number is a entity ⇐ (class is subclass of entity), (even number is a class)
- even number is a class ⇐ (type of integer is subclass of class), (even number is a type of integer)
- ½ is a even number ⇐ (2 is a even number), (2 is opposite of ½)
- type of number is for example even number ⇐ (even number is a type of number), (is a is inverse of is for example)
- even number is for example 2 ⇐ (2 is a even number), (is a is inverse of is for example)
- even number is for example −2 ⇐ (−2 is a even number), (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)
- even number is a type of number ⇐ (type of integer is subclass of type of number), (even number is a type of integer)
- 2 is a even number ⇐ (−2 is a even number), (−2 is opposite of 2)