machine

Deductions

• machine has quality class ⇐ (existence is a class), (machine has quality existence)
• machine is for example Wusung Radio Tower ⇐ (Wusung Radio Tower is a machine), (is a is inverse of is for example)
• first-order class is for example machine ⇐ (machine is a first-order class), (is a is inverse of is for example)
• radio receiver is subclass of machine ⇐ (transmitter is subclass of machine), (transmitter is opposite of radio receiver)
• machine has quality existence ⇐ (machine is a first-order class), (first-order class has quality existence)
• Wusung Radio Tower is a machine ⇐ (transmitter is subclass of machine), (Wusung Radio Tower is a transmitter)