remote control Deductions entity is for example remote control ⇐ (remote control is a entity), (is a is inverse of is for example) object is for example remote control ⇐ (remote control is a object), (is a is inverse of is for example) remote control is a entity ⇐ (object is subclass of entity), (remote control is a object)