type of machine element Deductions second-order class is for example type of machine element ⇐ (type of machine element is a second-order class), (is a is inverse of is for example) type of machine element is for example fastener ⇐ (fastener is a type of machine element), (is a is inverse of is for example)