piano

Deductions

• piano has quality class ⇐ (existence is a class), (piano has quality existence)
• class is for example piano ⇐ (piano is a class), (is a is inverse of is for example)
• entity is for example piano ⇐ (piano is a entity), (is a is inverse of is for example)
• piano has quality existence ⇐ (piano is a entity), (entity has quality existence)
• piano is a class ⇐ (type of musical instrument is subclass of class), (piano is a type of musical instrument)
• piano is a entity ⇐ (type of musical instrument is subclass of entity), (piano is a type of musical instrument)
• type of musical instrument is for example piano ⇐ (piano is a type of musical instrument), (is a is inverse of is for example)