Deductions
- many has quality absolute value ⇐ (many is a real number), (real number has quality absolute value)
- complex number is for example many ⇐ (many is a complex number), (is a is inverse of is for example)
- real number is for example many ⇐ (many is a real number), (is a is inverse of is for example)
- many is a complex number ⇐ (real number is subclass of complex number), (many is a real number)
- many is a real number ⇐ (number with finite decimal representation is subclass of real number), (many is a number with finite decimal representation)
- natural number is for example many ⇐ (many is a natural number), (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)
- number with finite decimal representation is for example many ⇐ (many is a number with finite decimal representation), (is a is inverse of is for example)
- many is a integer ⇐ (1 is a integer), (1 is opposite of many)
- many is a natural number ⇐ (1 is a natural number), (1 is opposite of many)
- many is a number with finite decimal representation ⇐ (1 is a number with finite decimal representation), (1 is opposite of many)
- relation is for example many ⇐ (many is a relation), (is a is inverse of is for example)
- many is opposite of 1 ⇐ 1 is opposite of many