Deductions
- guitar has quality class ⇐ (quality is a class), (guitar has quality quality)
- guitar has quality abstract entity ⇐ (type is a abstract entity), (guitar has quality type)
- guitar has quality entity ⇐ (type is a entity), (guitar has quality type)
- entity is for example guitar ⇐ (guitar is a entity), (is a is inverse of is for example)
- class is for example guitar ⇐ (guitar is a class), (is a is inverse of is for example)
- guitar has quality type ⇐ (guitar is a class), (class has quality type)
- guitar has quality property ⇐ (guitar is a class), (class has quality property)
- guitar has quality quality ⇐ (guitar is a class), (class has quality quality)
- guitar has quality criterion ⇐ (guitar is a class), (class has quality criterion)
- guitar has quality existence ⇐ (guitar is a class), (class has quality existence)
- guitar is a class ⇐ (type of musical instrument is subclass of class), (guitar is a type of musical instrument)
- guitar is a entity ⇐ (type of musical instrument is subclass of entity), (guitar is a type of musical instrument)
- type of musical instrument is for example guitar ⇐ (guitar is a type of musical instrument), (is a is inverse of is for example)