Deductions
- active ingredient in has quality cardinality ⇐ (active ingredient in has quality truth value), (truth value has quality cardinality), (has quality is a transitive relation)
- active ingredient in has quality expression ⇐ (active ingredient in has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- active ingredient in has quality number of entities ⇐ (active ingredient in has quality property constraint), (property constraint has quality number of entities), (has quality is a transitive relation)
- active ingredient in has quality superclass ⇐ (active ingredient in has quality property constraint), (property constraint has quality superclass), (has quality is a transitive relation)
- active ingredient in has quality type ⇐ (active ingredient in has quality property constraint), (property constraint has quality type), (has quality is a transitive relation)
- active ingredient in has quality criterion ⇐ (active ingredient in has quality property constraint), (property constraint has quality criterion), (has quality is a transitive relation)
- active ingredient in has quality set ⇐ (active ingredient in has quality property constraint), (property constraint has quality set), (has quality is a transitive relation)
- active ingredient in has quality entity ⇐ (active ingredient in has quality property constraint), (property constraint has quality entity), (has quality is a transitive relation)
- active ingredient in has quality arity ⇐ (active ingredient in has quality property constraint), (property constraint has quality arity), (has quality is a transitive relation)
- active ingredient in has quality abstract entity ⇐ (active ingredient in has quality property constraint), (property constraint has quality abstract entity), (has quality is a transitive relation)
- active ingredient in has quality truth value ⇐ (active ingredient in has quality property constraint), (property constraint has quality truth value), (has quality is a transitive relation)
- active ingredient in has quality computer science term ⇐ (active ingredient in has quality property constraint), (property constraint has quality computer science term), (has quality is a transitive relation)
- active ingredient in has quality property ⇐ (active ingredient in has quality property constraint), (property constraint has quality property), (has quality is a transitive relation)
- active ingredient in has quality value ⇐ (active ingredient in has quality property constraint), (property constraint has quality value), (has quality is a transitive relation)
- active ingredient in has quality relation ⇐ (active ingredient in has quality property constraint), (property constraint has quality relation), (has quality is a transitive relation)
- active ingredient in has quality mathematical property ⇐ (active ingredient in has quality property constraint), (property constraint has quality mathematical property), (has quality is a transitive relation)
- active ingredient in has quality taxonomic rank ⇐ (active ingredient in has quality property constraint), (property constraint has quality taxonomic rank), (has quality is a transitive relation)
- active ingredient in has quality existence ⇐ (active ingredient in has quality property constraint), (property constraint has quality existence), (has quality is a transitive relation)
- active ingredient in has quality mathematical object ⇐ (active ingredient in has quality property constraint), (property constraint has quality mathematical object), (has quality is a transitive relation)
- active ingredient in has quality quality ⇐ (active ingredient in has quality property constraint), (property constraint has quality quality), (has quality is a transitive relation)
- active ingredient in has quality class ⇐ (active ingredient in has quality property constraint), (property constraint has quality class), (has quality is a transitive relation)
- active ingredient in has quality type of property ⇐ (active ingredient in has quality property constraint), (property constraint has quality type of property), (has quality is a transitive relation)
- information resource is for example active ingredient in ⇐ (active ingredient in is a information resource), (is a is inverse of is for example)
- active ingredient in has quality value-requires-statement constraint ⇐ (active ingredient in is a Wikibase property), (Wikibase property has quality value-requires-statement constraint)
- active ingredient in has quality property constraint ⇐ (active ingredient in is a Wikibase property), (Wikibase property has quality property constraint)
- active ingredient in is a information resource ⇐ (software resource is subclass of information resource), (active ingredient in is a software resource)
- Wikidata property related to natural science is for example active ingredient in ⇐ (active ingredient in is a Wikidata property related to natural science), (is a is inverse of is for example)
- software resource is for example active ingredient in ⇐ (active ingredient in is a software resource), (is a is inverse of is for example)
- active ingredient in is a software resource ⇐ (Wikidata property related to natural science is subclass of software resource), (active ingredient in is a Wikidata property related to natural science)
- active ingredient in is a Wikidata property related to natural science ⇐ (Wikidata property related to chemistry is subclass of Wikidata property related to natural science), (active ingredient in is a Wikidata property related to chemistry)
- Wikibase property is for example active ingredient in ⇐ (active ingredient in is a Wikibase property), (is a is inverse of is for example)
- Wikidata property related to chemistry is for example active ingredient in ⇐ (active ingredient in is a Wikidata property related to chemistry), (is a is inverse of is for example)
- -> is for example active ingredient in ⇐ (active ingredient in is a ->), (is a is inverse of is for example)
- active ingredient in is a Wikibase property ⇐ (-> is subclass of Wikibase property), (active ingredient in is a ->)