company Deductions type of organisation is for example company ⇐ (company is a type of organisation), (is a is inverse of is for example) subsidiary is subclass of company ⇐ (parent company is subclass of company), (parent company is opposite of subsidiary)