Deductions
- title has quality taxonomic rank ⇐ (title has quality absolute value), (absolute value has quality taxonomic rank), (has quality is a transitive relation)
- title has quality mathematical object ⇐ (title has quality absolute value), (absolute value has quality mathematical object), (has quality is a transitive relation)
- title has quality triangle inequality ⇐ (title has quality absolute value), (absolute value has quality triangle inequality), (has quality is a transitive relation)
- title has quality relation ⇐ (title has quality absolute value), (absolute value has quality relation), (has quality is a transitive relation)
- title has quality property ⇐ (title has quality absolute value), (absolute value has quality property), (has quality is a transitive relation)
- title has quality type ⇐ (title has quality absolute value), (absolute value has quality type), (has quality is a transitive relation)
- title has quality superclass ⇐ (title has quality absolute value), (absolute value has quality superclass), (has quality is a transitive relation)
- title has quality inequality ⇐ (title has quality absolute value), (absolute value has quality inequality), (has quality is a transitive relation)
- title has quality type of property ⇐ (title has quality absolute value), (absolute value has quality type of property), (has quality is a transitive relation)
- title has quality criterion ⇐ (title has quality absolute value), (absolute value has quality criterion), (has quality is a transitive relation)
- title has quality quality ⇐ (title has quality absolute value), (absolute value has quality quality), (has quality is a transitive relation)
- title has quality class ⇐ (title has quality absolute value), (absolute value has quality class), (has quality is a transitive relation)
- title has quality set ⇐ (title has quality absolute value), (absolute value has quality set), (has quality is a transitive relation)
- title has quality mathematical property ⇐ (title has quality absolute value), (absolute value has quality mathematical property), (has quality is a transitive relation)
- title has quality number of entities ⇐ (title has quality absolute value), (absolute value has quality number of entities), (has quality is a transitive relation)
- title has quality abstract entity ⇐ (title has quality absolute value), (absolute value has quality abstract entity), (has quality is a transitive relation)
- title has quality arity ⇐ (title has quality absolute value), (absolute value has quality arity), (has quality is a transitive relation)
- title has quality absolute value ⇐ (title has quality real number), (real number has quality absolute value), (has quality is a transitive relation)
- title has quality class ⇐ (title has quality property), (property has quality class), (has quality is a transitive relation)
- title has quality superclass ⇐ (title has quality property), (property has quality superclass), (has quality is a transitive relation)
- title has quality real number ⇐ (number with finite decimal representation is subclass of real number), (title has quality number with finite decimal representation)
- title has quality class ⇐ (existence is a class), (title has quality existence)
- title has quality class ⇐ (title has quality quality), (quality has quality class), (has quality is a transitive relation)
- title has quality existence ⇐ (title has quality entity), (entity has quality existence), (has quality is a transitive relation)
- title has quality abstract entity ⇐ (title has quality property), (property has quality abstract entity), (has quality is a transitive relation)
- title has quality class ⇐ (title has quality property), (property has quality class), (has quality is a transitive relation)
- title has quality taxonomic rank ⇐ (title has quality property), (property has quality taxonomic rank), (has quality is a transitive relation)
- title has quality existence ⇐ (title has quality property), (property has quality existence), (has quality is a transitive relation)
- title has quality criterion ⇐ (title has quality property), (property has quality criterion), (has quality is a transitive relation)
- title has quality type of property ⇐ (title has quality property), (property has quality type of property), (has quality is a transitive relation)
- title has quality quality ⇐ (title has quality property), (property has quality quality), (has quality is a transitive relation)
- title has quality superclass ⇐ (title has quality property), (property has quality superclass), (has quality is a transitive relation)
- title has quality type ⇐ (title has quality property), (property has quality type), (has quality is a transitive relation)
- title has quality entity ⇐ (title has quality property), (property has quality entity), (has quality is a transitive relation)
- title has quality property ⇐ (meaning is a property), (title has quality meaning)
- title has quality entity ⇐ (number with finite decimal representation is a entity), (title has quality number with finite decimal representation)
- non-academic title is subclass of title ⇐ (academic title is subclass of title), (academic title is opposite of non-academic title)
- title has quality number with finite decimal representation ⇐ (1 is a number with finite decimal representation), (title has quality 1)
- title has quality absence ⇐ (meaning is subclass of absence), (title has quality meaning)
- title has quality meaning ⇐ (title is subclass of constituent), (constituent has quality meaning)
- title has quality 1 ⇐ (title is subclass of unit), (unit has quality 1)
- title is subclass of linguistic unit ⇐ (title is subclass of linguistic form), (linguistic form is subclass of linguistic unit), (is subclass of is a transitive relation)
- title is subclass of unit ⇐ (title is subclass of linguistic form), (linguistic form is subclass of unit), (is subclass of is a transitive relation)
- title is subclass of constituent ⇐ (title is subclass of phrase), (phrase is subclass of constituent), (is subclass of is a transitive relation)
- title is subclass of emic unit ⇐ (title is subclass of phrase), (phrase is subclass of emic unit), (is subclass of is a transitive relation)
- title is subclass of linguistic form ⇐ (title is subclass of word or phrase), (word or phrase is subclass of linguistic form), (is subclass of is a transitive relation)
- title is subclass of word or phrase ⇐ (title is subclass of name), (name is subclass of word or phrase), (is subclass of is a transitive relation)
- specialist degree is subclass of title ⇐ (specialist degree is subclass of academic title), (academic title is subclass of title), (is subclass of is a transitive relation)