Deductions
- sourcing circumstance has quality absolute value ⇐ (sourcing circumstance has quality real number), (real number has quality absolute value), (has quality is a transitive relation)
- sourcing circumstance has quality real number ⇐ (number with finite decimal representation is subclass of real number), (sourcing circumstance has quality number with finite decimal representation)
- sourcing circumstance has quality class ⇐ (existence is a class), (sourcing circumstance has quality existence)
- sourcing circumstance has quality existence ⇐ (sourcing circumstance has quality number with finite decimal representation), (number with finite decimal representation has quality existence), (has quality is a transitive relation)
- sourcing circumstance has quality entity ⇐ (number with finite decimal representation is a entity), (sourcing circumstance has quality number with finite decimal representation)
- sourcing circumstance is for example far ⇐ (far is a sourcing circumstance), (is a is inverse of is for example)
- sourcing circumstance is for example official ⇐ (official is a sourcing circumstance), (is a is inverse of is for example)
- sourcing circumstance has quality finiteness ⇐ (sourcing circumstance has quality number with finite decimal representation), (number with finite decimal representation has quality finiteness), (has quality is a transitive relation)
- data.gov.uk has quality sourcing circumstance ⇐ (official is a sourcing circumstance), (data.gov.uk has quality official)
- official language has quality sourcing circumstance ⇐ (official is a sourcing circumstance), (official language has quality official)
- official app has quality sourcing circumstance ⇐ (official is a sourcing circumstance), (official app has quality official)
- official website has quality sourcing circumstance ⇐ (official is a sourcing circumstance), (official website has quality official)
- sourcing circumstance has quality number with finite decimal representation ⇐ (1 is a number with finite decimal representation), (sourcing circumstance has quality 1)
- far is a sourcing circumstance ⇐ (near is a sourcing circumstance), (near is opposite of far)
- official is a sourcing circumstance ⇐ (unofficial is a sourcing circumstance), (unofficial is opposite of official)
- sourcing circumstance is for example near ⇐ (near is a sourcing circumstance), (is a is inverse of is for example)
- sourcing circumstance is for example unofficial ⇐ (unofficial is a sourcing circumstance), (is a is inverse of is for example)
- sourcing circumstance has quality 1 ⇐ (sourcing circumstance is subclass of unit), (unit has quality 1)
- sourcing circumstance is for example convention ⇐ (convention is a sourcing circumstance), (is a is inverse of is for example)
- sourcing circumstance is for example inference ⇐ (inference is a sourcing circumstance), (is a is inverse of is for example)
- sourcing circumstance is subclass of unit ⇐ (sourcing circumstance is subclass of linguistic form), (linguistic form is subclass of unit), (is subclass of is a transitive relation)
- sourcing circumstance is subclass of linguistic form ⇐ (sourcing circumstance is subclass of term), (term is subclass of linguistic form), (is subclass of is a transitive relation)
- sourcing circumstance is subclass of word or phrase ⇐ (sourcing circumstance is subclass of term), (term is subclass of word or phrase), (is subclass of is a transitive relation)
- sourcing circumstance is subclass of linguistic unit ⇐ (sourcing circumstance is subclass of term), (term is subclass of linguistic unit), (is subclass of is a transitive relation)
- mathematics has quality sourcing circumstance ⇐ (convention is a sourcing circumstance), (mathematics has quality convention)
- number theory has quality sourcing circumstance ⇐ (convention is a sourcing circumstance), (number theory has quality convention)