Deductions
- official app has quality taxonomic rank ⇐ (official app has quality absolute value), (absolute value has quality taxonomic rank), (has quality is a transitive relation)
- official app has quality mathematical object ⇐ (official app has quality absolute value), (absolute value has quality mathematical object), (has quality is a transitive relation)
- official app has quality triangle inequality ⇐ (official app has quality absolute value), (absolute value has quality triangle inequality), (has quality is a transitive relation)
- official app has quality relation ⇐ (official app has quality absolute value), (absolute value has quality relation), (has quality is a transitive relation)
- official app has quality property ⇐ (official app has quality absolute value), (absolute value has quality property), (has quality is a transitive relation)
- official app has quality type ⇐ (official app has quality absolute value), (absolute value has quality type), (has quality is a transitive relation)
- official app has quality superclass ⇐ (official app has quality absolute value), (absolute value has quality superclass), (has quality is a transitive relation)
- official app has quality inequality ⇐ (official app has quality absolute value), (absolute value has quality inequality), (has quality is a transitive relation)
- official app has quality type of property ⇐ (official app has quality absolute value), (absolute value has quality type of property), (has quality is a transitive relation)
- official app has quality criterion ⇐ (official app has quality absolute value), (absolute value has quality criterion), (has quality is a transitive relation)
- official app has quality quality ⇐ (official app has quality absolute value), (absolute value has quality quality), (has quality is a transitive relation)
- official app has quality class ⇐ (official app has quality absolute value), (absolute value has quality class), (has quality is a transitive relation)
- official app has quality set ⇐ (official app has quality absolute value), (absolute value has quality set), (has quality is a transitive relation)
- official app has quality mathematical property ⇐ (official app has quality absolute value), (absolute value has quality mathematical property), (has quality is a transitive relation)
- official app has quality number of entities ⇐ (official app has quality absolute value), (absolute value has quality number of entities), (has quality is a transitive relation)
- official app has quality abstract entity ⇐ (official app has quality absolute value), (absolute value has quality abstract entity), (has quality is a transitive relation)
- official app has quality arity ⇐ (official app has quality absolute value), (absolute value has quality arity), (has quality is a transitive relation)
- official app has quality absolute value ⇐ (official app has quality sourcing circumstance), (sourcing circumstance has quality absolute value), (has quality is a transitive relation)
- official app has quality real number ⇐ (number with finite decimal representation is subclass of real number), (official app has quality number with finite decimal representation)
- official app has quality class ⇐ (existence is a class), (official app has quality existence)
- official app has quality finiteness ⇐ (official app has quality 1), (1 has quality finiteness), (has quality is a transitive relation)
- official app has quality existence ⇐ (official app has quality entity), (entity has quality existence), (has quality is a transitive relation)
- official app has quality entity ⇐ (number with finite decimal representation is a entity), (official app has quality number with finite decimal representation)
- official app has quality 1 ⇐ (official app has quality sourcing circumstance), (sourcing circumstance has quality 1), (has quality is a transitive relation)
- official app has quality number with finite decimal representation ⇐ (official app has quality sourcing circumstance), (sourcing circumstance has quality number with finite decimal representation), (has quality is a transitive relation)
- official app has quality sourcing circumstance ⇐ (official is a sourcing circumstance), (official app has quality official)
- official app has quality term ⇐ (official is a term), (official app has quality official)
- software resource is for example official app ⇐ (official app is a software resource), (is a is inverse of is for example)
- Wikidata property for items about organizations is for example official app ⇐ (official app is a Wikidata property for items about organizations), (is a is inverse of is for example)
- information resource is for example official app ⇐ (official app is a information resource), (is a is inverse of is for example)
- official app is a software resource ⇐ (Wikidata property for items about organizations is subclass of software resource), (official app is a Wikidata property for items about organizations)
- official app is a information resource ⇐ (Wikidata property for items about organizations is subclass of information resource), (official app is a Wikidata property for items about organizations)
- -> is for example official app ⇐ (official app is a ->), (is a is inverse of is for example)