Deductions
- near has quality mathematical object ⇐ (near has quality absolute value), (absolute value has quality mathematical object), (has quality is a transitive relation)
- near has quality triangle inequality ⇐ (near has quality absolute value), (absolute value has quality triangle inequality), (has quality is a transitive relation)
- near has quality relation ⇐ (near has quality absolute value), (absolute value has quality relation), (has quality is a transitive relation)
- near has quality inequality ⇐ (near has quality absolute value), (absolute value has quality inequality), (has quality is a transitive relation)
- near has quality set ⇐ (near has quality absolute value), (absolute value has quality set), (has quality is a transitive relation)
- near has quality mathematical property ⇐ (near has quality absolute value), (absolute value has quality mathematical property), (has quality is a transitive relation)
- near has quality number of entities ⇐ (near has quality absolute value), (absolute value has quality number of entities), (has quality is a transitive relation)
- near has quality arity ⇐ (near has quality absolute value), (absolute value has quality arity), (has quality is a transitive relation)
- near has quality criterion ⇐ (near has quality class), (class has quality criterion), (has quality is a transitive relation)
- near has quality quality ⇐ (near has quality class), (class has quality quality), (has quality is a transitive relation)
- near has quality property ⇐ (near has quality class), (class has quality property), (has quality is a transitive relation)
- near has quality absolute value ⇐ (near has quality real number), (real number has quality absolute value), (has quality is a transitive relation)
- near has quality real number ⇐ (number with finite decimal representation is subclass of real number), (near has quality number with finite decimal representation)
- near is subclass of physical location ⇐ (near is subclass of relative location), (relative location is subclass of physical location), (is subclass of is a transitive relation)
- near has quality criterion ⇐ (near has quality class), (class has quality criterion), (has quality is a transitive relation)
- near has quality quality ⇐ (near has quality class), (class has quality quality), (has quality is a transitive relation)
- near has quality property ⇐ (near has quality class), (class has quality property), (has quality is a transitive relation)
- near has quality abstract entity ⇐ (type is a abstract entity), (near has quality type)
- near has quality type of property ⇐ (near is subclass of relative location), (relative location has quality type of property)
- near has quality place type ⇐ (near is subclass of relative location), (relative location has quality place type)
- near has quality superclass ⇐ (near is subclass of relative location), (relative location has quality superclass)
- near has quality second-order class ⇐ (near is subclass of relative location), (relative location has quality second-order class)
- near has quality class ⇐ (near is subclass of relative location), (relative location has quality class)
- near has quality taxonomic rank ⇐ (near is subclass of relative location), (relative location has quality taxonomic rank)
- near has quality type ⇐ (near is subclass of relative location), (relative location has quality type)
- near has quality existence ⇐ (near is subclass of relative location), (relative location has quality existence)
- near has quality type of object ⇐ (near is subclass of relative location), (relative location has quality type of object)
- near has quality entity ⇐ (near is subclass of relative location), (relative location has quality entity)
- near has quality fixed-order class ⇐ (near is subclass of relative location), (relative location has quality fixed-order class)
- near has part body relative direction ⇐ (near is subclass of relative location), (relative location has part body relative direction)
- near is subclass of relative location ⇐ (far is subclass of relative location), (far is opposite of near)
- near has quality number with finite decimal representation ⇐ (1 is a number with finite decimal representation), (near has quality 1)
- sourcing circumstance is for example near ⇐ (near is a sourcing circumstance), (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)
- far is opposite of near ⇐ near is opposite of far
- near has quality 1 ⇐ (near is a unit), (unit has quality 1)
- near is a unit ⇐ (sourcing circumstance is subclass of unit), (near is a sourcing circumstance)
- father has quality near ⇐ (father is subclass of close relative), (close relative has quality near)
- mother has quality near ⇐ (mother is subclass of close relative), (close relative has quality near)