unit

Deductions

unit has quality taxonomic rank ⇐ (unit has quality absolute value), (absolute value has quality taxonomic rank), (has quality is a transitive relation)
unit has quality mathematical object ⇐ (unit has quality absolute value), (absolute value has quality mathematical object), (has quality is a transitive relation)
unit has quality triangle inequality ⇐ (unit has quality absolute value), (absolute value has quality triangle inequality), (has quality is a transitive relation)
unit has quality relation ⇐ (unit has quality absolute value), (absolute value has quality relation), (has quality is a transitive relation)
unit has quality property ⇐ (unit has quality absolute value), (absolute value has quality property), (has quality is a transitive relation)
unit has quality type ⇐ (unit has quality absolute value), (absolute value has quality type), (has quality is a transitive relation)
unit has quality superclass ⇐ (unit has quality absolute value), (absolute value has quality superclass), (has quality is a transitive relation)
unit has quality inequality ⇐ (unit has quality absolute value), (absolute value has quality inequality), (has quality is a transitive relation)
unit has quality type of property ⇐ (unit has quality absolute value), (absolute value has quality type of property), (has quality is a transitive relation)
unit has quality criterion ⇐ (unit has quality absolute value), (absolute value has quality criterion), (has quality is a transitive relation)
unit has quality quality ⇐ (unit has quality absolute value), (absolute value has quality quality), (has quality is a transitive relation)
unit has quality class ⇐ (unit has quality absolute value), (absolute value has quality class), (has quality is a transitive relation)
unit has quality set ⇐ (unit has quality absolute value), (absolute value has quality set), (has quality is a transitive relation)
unit has quality mathematical property ⇐ (unit has quality absolute value), (absolute value has quality mathematical property), (has quality is a transitive relation)
unit has quality number of entities ⇐ (unit has quality absolute value), (absolute value has quality number of entities), (has quality is a transitive relation)
unit has quality abstract entity ⇐ (unit has quality absolute value), (absolute value has quality abstract entity), (has quality is a transitive relation)
unit has quality arity ⇐ (unit has quality absolute value), (absolute value has quality arity), (has quality is a transitive relation)
unit has quality absolute value ⇐ (unit has quality number with finite decimal representation), (number with finite decimal representation has quality absolute value), (has quality is a transitive relation)
unit has quality real number ⇐ (number with finite decimal representation is subclass of real number), (unit has quality number with finite decimal representation)
unit is part of mereological relation ⇐ (unit is part of whole), (whole is part of mereological relation), (is part of is a transitive relation)
unit has quality class ⇐ (existence is a class), (unit has quality existence)
unit has quality existence ⇐ (unit has quality number with finite decimal representation), (number with finite decimal representation has quality existence), (has quality is a transitive relation)
unit has quality entity ⇐ (number with finite decimal representation is a entity), (unit has quality number with finite decimal representation)
unit is for example far ⇐ (far is a unit), (is a is inverse of is for example)
unit has quality finiteness ⇐ (unit has quality number with finite decimal representation), (number with finite decimal representation has quality finiteness), (has quality is a transitive relation)
close relative has quality unit ⇐ (near is a unit), (close relative has quality near)
mother has quality unit ⇐ (near is a unit), (mother has quality near)
father has quality unit ⇐ (near is a unit), (father has quality near)
unit has quality number with finite decimal representation ⇐ (1 is a number with finite decimal representation), (unit has quality 1)
far is a unit ⇐ (near is a unit), (near is opposite of far)
unit is for example convention ⇐ (convention is a unit), (is a is inverse of is for example)
unit is for example near ⇐ (near is a unit), (is a is inverse of is for example)
unit is for example inference ⇐ (inference is a unit), (is a is inverse of is for example)
convention is a unit ⇐ (sourcing circumstance is subclass of unit), (convention is a sourcing circumstance)
near is a unit ⇐ (sourcing circumstance is subclass of unit), (near is a sourcing circumstance)
inference is a unit ⇐ (sourcing circumstance is subclass of unit), (inference is a sourcing circumstance)
title is subclass of unit ⇐ (title is subclass of linguistic form), (linguistic form is subclass of unit), (is subclass of is a transitive relation)
mathematical term is subclass of unit ⇐ (mathematical term is subclass of technical term), (technical term is subclass of unit), (is subclass of is a transitive relation)
literary term is subclass of unit ⇐ (literary term is subclass of term), (term is subclass of unit), (is subclass of is a transitive relation)
technical term is subclass of unit ⇐ (technical term is subclass of linguistic unit), (linguistic unit is subclass of unit), (is subclass of is a transitive relation)
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)
term is subclass of unit ⇐ (term is subclass of linguistic unit), (linguistic unit is subclass of unit), (is subclass of is a transitive relation)
linguistic form is subclass of unit ⇐ (linguistic form is subclass of linguistic unit), (linguistic unit is subclass of unit), (is subclass of is a transitive relation)