Deductions
- social position is for example painter ⇐ (painter is a social position), (is a is inverse of is for example)
- painter is a social position ⇐ (profession is subclass of social position), (painter is a profession)
- painter has quality existence ⇐ (painter is a property), (property has quality existence)
- painter has quality entity ⇐ (painter is a property), (property has quality entity)
- painter has quality quality ⇐ (painter is a property), (property has quality quality)
- painter has quality criterion ⇐ (painter is a property), (property has quality criterion)
- painter has quality abstract entity ⇐ (painter is a property), (property has quality abstract entity)
- painter has quality type ⇐ (painter is a property), (property has quality type)
- painter has quality superclass ⇐ (painter is a property), (property has quality superclass)
- painter has quality type of property ⇐ (painter is a property), (property has quality type of property)
- painter has quality taxonomic rank ⇐ (painter is a property), (property has quality taxonomic rank)
- painter has quality class ⇐ (painter is a property), (property has quality class)
- abstract entity is for example painter ⇐ (painter is a abstract entity), (is a is inverse of is for example)
- entity is for example painter ⇐ (painter is a entity), (is a is inverse of is for example)
- property is for example painter ⇐ (painter is a property), (is a is inverse of is for example)
- painter is a abstract entity ⇐ (profession is subclass of abstract entity), (painter is a profession)
- painter is a property ⇐ (profession is subclass of property), (painter is a profession)
- painter is a entity ⇐ (profession is subclass of entity), (painter is a profession)
- profession is for example painter ⇐ (painter is a profession), (is a is inverse of is for example)
- painter is a profession ⇐ (artistic profession is subclass of profession), (painter is a artistic profession)
- artistic profession is for example painter ⇐ (painter is a artistic profession), (is a is inverse of is for example)