Deductions
- social position is for example lawyer ⇐ (lawyer is a social position), (is a is inverse of is for example)
- lawyer is a social position ⇐ (profession is subclass of social position), (lawyer is a profession)
- property is for example lawyer ⇐ (lawyer is a property), (is a is inverse of is for example)
- abstract entity is for example lawyer ⇐ (lawyer is a abstract entity), (is a is inverse of is for example)
- entity is for example lawyer ⇐ (lawyer is a entity), (is a is inverse of is for example)
- lawyer is a abstract entity ⇐ (profession is subclass of abstract entity), (lawyer is a profession)
- lawyer is a property ⇐ (profession is subclass of property), (lawyer is a profession)
- lawyer is a entity ⇐ (profession is subclass of entity), (lawyer is a profession)
- profession is for example lawyer ⇐ (lawyer is a profession), (is a is inverse of is for example)
- lawyer is a profession ⇐ (legal profession is subclass of profession), (lawyer is a legal profession)
- legal profession is for example lawyer ⇐ (lawyer is a legal profession), (is a is inverse of is for example)