has part(s) of the class

Deductions

• -> is for example has part(s) of the class ⇐ (has part(s) of the class is a ->), (is a is inverse of is for example)
• asymmetric Wikidata property is for example has part(s) of the class ⇐ (has part(s) of the class is a asymmetric Wikidata property), (is a is inverse of is for example)
• Wikibase property is for example has part(s) of the class ⇐ (has part(s) of the class is a Wikibase property), (is a is inverse of is for example)
• has part(s) of the class is a Wikibase property ⇐ (-> is subclass of Wikibase property), (has part(s) of the class is a ->)