arch dam

Deductions

• type is for example arch dam ⇐ (arch dam is a type), (is a is inverse of is for example)
• arch dam is a type ⇐ (type of dam is subclass of type), (arch dam is a type of dam)
• arch dam is for example Hoover Dam ⇐ (Hoover Dam is a arch dam), (is a is inverse of is for example)
• type of dam is for example arch dam ⇐ (arch dam is a type of dam), (is a is inverse of is for example)
• Hoover Dam is a arch dam ⇐ (arch-gravity dam is subclass of arch dam), (Hoover Dam is a arch-gravity dam)