as main value

Deductions

• Wikidata property definition is for example as main value ⇐ (as main value is a Wikidata property definition), (is a is inverse of is for example)
• as main value is a Wikidata property definition ⇐ (property scope constraint is subclass of Wikidata property definition), (as main value is a property scope constraint)
• property scope constraint is for example as main value ⇐ (as main value is a property scope constraint), (is a is inverse of is for example)