Deductions
- term has quality type ⇐ (term has quality class), (class has quality type), (has quality is a transitive relation)
- term has quality type of property ⇐ (term has quality class), (class has quality type of property), (has quality is a transitive relation)
- term has quality criterion ⇐ (term has quality class), (class has quality criterion), (has quality is a transitive relation)
- term has quality quality ⇐ (term has quality class), (class has quality quality), (has quality is a transitive relation)
- term has quality property ⇐ (term has quality class), (class has quality property), (has quality is a transitive relation)
- term has quality class ⇐ (set is a class), (term has quality set)
- term has quality class ⇐ (quality is a class), (term has quality quality)
- term has quality type ⇐ (term has quality class), (class has quality type), (has quality is a transitive relation)
- term has quality type of property ⇐ (term has quality class), (class has quality type of property), (has quality is a transitive relation)
- term has quality criterion ⇐ (term has quality class), (class has quality criterion), (has quality is a transitive relation)
- term has quality quality ⇐ (term has quality class), (class has quality quality), (has quality is a transitive relation)
- term has quality property ⇐ (term has quality class), (class has quality property), (has quality is a transitive relation)
- term has quality class ⇐ (set is a class), (term has quality set)
- term is for example unofficial ⇐ (unofficial is a term), (is a is inverse of is for example)
- term has quality existence ⇐ (term has quality abstract entity), (abstract entity has quality existence), (has quality is a transitive relation)
- data.gov.uk has quality term ⇐ (official is a term), (data.gov.uk has quality official)
- official language has quality term ⇐ (official is a term), (official language has quality official)
- official app has quality term ⇐ (official is a term), (official app has quality official)
- official website has quality term ⇐ (official is a term), (official website has quality official)
- term has quality abstract entity ⇐ (arity is a abstract entity), (term has quality arity)
- term has quality entity ⇐ (taxonomic rank is a entity), (term has quality taxonomic rank)
- term has quality mathematical object ⇐ (arity is a mathematical object), (term has quality arity)
- unofficial is a term ⇐ (official is a term), (official is opposite of unofficial)
- term is for example effect ⇐ (effect is a term), (is a is inverse of is for example)
- term is for example grammatical person ⇐ (grammatical person is a term), (is a is inverse of is for example)
- term is for example umbrella term ⇐ (umbrella term is a term), (is a is inverse of is for example)
- term is for example official ⇐ (official is a term), (is a is inverse of is for example)
- violet has quality term ⇐ (violet is a color), (color has quality term)
- effect is a term ⇐ (general term is subclass of term), (effect is a general term)
- tertiary color has quality term ⇐ (tertiary color is subclass of color), (color has quality term)
- term is for example ABox ⇐ (ABox is a term), (is a is inverse of is for example)
- term is for example inference ⇐ (inference is a term), (is a is inverse of is for example)
- term is for example TBox ⇐ (TBox is a term), (is a is inverse of is for example)
- term is for example antecedent ⇐ (antecedent is a term), (is a is inverse of is for example)
- term is for example endemic disease ⇐ (endemic disease is a term), (is a is inverse of is for example)
- term is for example convention ⇐ (convention is a term), (is a is inverse of is for example)
- term is for example conclusion ⇐ (conclusion is a term), (is a is inverse of is for example)
- term is for example various authors ⇐ (various authors is a term), (is a is inverse of is for example)
- term is for example revival ⇐ (revival is a term), (is a is inverse of is for example)
- term is for example consequent ⇐ (consequent is a term), (is a is inverse of is for example)
- term has quality arity ⇐ (term has quality mathematical property), (mathematical property has quality arity), (has quality is a transitive relation)
- term has quality number of entities ⇐ (term has quality mathematical property), (mathematical property has quality number of entities), (has quality is a transitive relation)
- mathematical term is subclass of term ⇐ (mathematical term is subclass of technical term), (technical term is subclass of term), (is subclass of is a transitive relation)
- term is subclass of unit ⇐ (term is subclass of linguistic unit), (linguistic unit is subclass of unit), (is subclass of is a transitive relation)
- term is subclass of linguistic unit ⇐ (term is subclass of linguistic form), (linguistic form is subclass of linguistic unit), (is subclass of is a transitive relation)
- term is subclass of linguistic form ⇐ (term is subclass of word or phrase), (word or phrase is subclass of linguistic form), (is subclass of is a transitive relation)
- ABox is a term ⇐ (technical term is subclass of term), (ABox is a technical term)
- conclusion is a term ⇐ (technical term is subclass of term), (conclusion is a technical term)
- TBox is a term ⇐ (technical term is subclass of term), (TBox is a technical term)
- inference is a term ⇐ (sourcing circumstance is subclass of term), (inference is a sourcing circumstance)
- convention is a term ⇐ (sourcing circumstance is subclass of term), (convention is a sourcing circumstance)
- term has quality taxonomic rank ⇐ (superclass is a taxonomic rank), (term has quality superclass)
- brown has quality term ⇐ (color term is subclass of term), (brown has quality color term)
- primary color has quality term ⇐ (color term is subclass of term), (primary color has quality color term)
- web color has quality term ⇐ (color term is subclass of term), (web color has quality color term)
- hazel has quality term ⇐ (color term is subclass of term), (hazel has quality color term)
- color has quality term ⇐ (color term is subclass of term), (color has quality color term)