Deductions
- official language has quality taxonomic rank ⇐ (official language has quality absolute value), (absolute value has quality taxonomic rank), (has quality is a transitive relation)
- official language has quality mathematical object ⇐ (official language has quality absolute value), (absolute value has quality mathematical object), (has quality is a transitive relation)
- official language has quality triangle inequality ⇐ (official language has quality absolute value), (absolute value has quality triangle inequality), (has quality is a transitive relation)
- official language has quality relation ⇐ (official language has quality absolute value), (absolute value has quality relation), (has quality is a transitive relation)
- official language has quality property ⇐ (official language has quality absolute value), (absolute value has quality property), (has quality is a transitive relation)
- official language has quality type ⇐ (official language has quality absolute value), (absolute value has quality type), (has quality is a transitive relation)
- official language has quality superclass ⇐ (official language has quality absolute value), (absolute value has quality superclass), (has quality is a transitive relation)
- official language has quality inequality ⇐ (official language has quality absolute value), (absolute value has quality inequality), (has quality is a transitive relation)
- official language has quality type of property ⇐ (official language has quality absolute value), (absolute value has quality type of property), (has quality is a transitive relation)
- official language has quality criterion ⇐ (official language has quality absolute value), (absolute value has quality criterion), (has quality is a transitive relation)
- official language has quality quality ⇐ (official language has quality absolute value), (absolute value has quality quality), (has quality is a transitive relation)
- official language has quality class ⇐ (official language has quality absolute value), (absolute value has quality class), (has quality is a transitive relation)
- official language has quality set ⇐ (official language has quality absolute value), (absolute value has quality set), (has quality is a transitive relation)
- official language has quality mathematical property ⇐ (official language has quality absolute value), (absolute value has quality mathematical property), (has quality is a transitive relation)
- official language has quality number of entities ⇐ (official language has quality absolute value), (absolute value has quality number of entities), (has quality is a transitive relation)
- official language has quality abstract entity ⇐ (official language has quality absolute value), (absolute value has quality abstract entity), (has quality is a transitive relation)
- official language has quality arity ⇐ (official language has quality absolute value), (absolute value has quality arity), (has quality is a transitive relation)
- official language has quality absolute value ⇐ (official language has quality real number), (real number has quality absolute value), (has quality is a transitive relation)
- official language has quality real number ⇐ (number with finite decimal representation is subclass of real number), (official language has quality number with finite decimal representation)
- official language has quality class ⇐ (existence is a class), (official language has quality existence)
- official language has quality finiteness ⇐ (official language has quality number with finite decimal representation), (number with finite decimal representation has quality finiteness), (has quality is a transitive relation)
- official language has quality existence ⇐ (official language has quality entity), (entity has quality existence), (has quality is a transitive relation)
- official language has quality entity ⇐ (number with finite decimal representation is a entity), (official language has quality number with finite decimal representation)
- official language has quality 1 ⇐ (official language has quality sourcing circumstance), (sourcing circumstance has quality 1), (has quality is a transitive relation)
- official language has quality number with finite decimal representation ⇐ (official language has quality sourcing circumstance), (sourcing circumstance has quality number with finite decimal representation), (has quality is a transitive relation)
- official language has quality sourcing circumstance ⇐ (official is a sourcing circumstance), (official language has quality official)
- official language has quality term ⇐ (official is a term), (official language has quality official)
- Wikibase property is for example official language ⇐ (official language is a Wikibase property), (is a is inverse of is for example)
- Wikidata property to indicate a language is for example official language ⇐ (official language is a Wikidata property to indicate a language), (is a is inverse of is for example)
- -> is for example official language ⇐ (official language is a ->), (is a is inverse of is for example)
- Wikidata property related to linguistics is for example official language ⇐ (official language is a Wikidata property related to linguistics), (is a is inverse of is for example)
- official language is a Wikibase property ⇐ (-> is subclass of Wikibase property), (official language is a ->)
- official language is a Wikidata property related to linguistics ⇐ (Wikidata property to indicate a language is subclass of Wikidata property related to linguistics), (official language is a Wikidata property to indicate a language)