close relative

Deductions

• close relative has quality mathematical object ⇐ (close relative has quality absolute value), (absolute value has quality mathematical object), (has quality is a transitive relation)
• close relative has quality triangle inequality ⇐ (close relative has quality absolute value), (absolute value has quality triangle inequality), (has quality is a transitive relation)
• close relative has quality relation ⇐ (close relative has quality absolute value), (absolute value has quality relation), (has quality is a transitive relation)
• close relative has quality inequality ⇐ (close relative has quality absolute value), (absolute value has quality inequality), (has quality is a transitive relation)
• close relative has quality set ⇐ (close relative has quality absolute value), (absolute value has quality set), (has quality is a transitive relation)
• close relative has quality mathematical property ⇐ (close relative has quality absolute value), (absolute value has quality mathematical property), (has quality is a transitive relation)
• close relative has quality number of entities ⇐ (close relative has quality absolute value), (absolute value has quality number of entities), (has quality is a transitive relation)
• close relative has quality arity ⇐ (close relative has quality absolute value), (absolute value has quality arity), (has quality is a transitive relation)
• close relative has quality absolute value ⇐ (close relative has quality real number), (real number has quality absolute value), (has quality is a transitive relation)
• close relative has quality class ⇐ (close relative has quality relative location), (relative location has quality class), (has quality is a transitive relation)
• close relative has quality real number ⇐ (number with finite decimal representation is subclass of real number), (close relative has quality number with finite decimal representation)
• close relative has quality finiteness ⇐ (close relative has quality 1), (1 has quality finiteness), (has quality is a transitive relation)
• close relative has quality class ⇐ (close relative has quality relative location), (relative location has quality class), (has quality is a transitive relation)
• close relative has quality place type ⇐ (close relative has quality relative location), (relative location has quality place type), (has quality is a transitive relation)
• close relative has quality second-order class ⇐ (close relative has quality relative location), (relative location has quality second-order class), (has quality is a transitive relation)
• close relative has quality existence ⇐ (close relative has quality relative location), (relative location has quality existence), (has quality is a transitive relation)
• close relative has quality fixed-order class ⇐ (close relative has quality relative location), (relative location has quality fixed-order class), (has quality is a transitive relation)
• close relative has quality abstract entity ⇐ (type is a abstract entity), (close relative has quality type)
• close relative has quality relative location ⇐ (near is subclass of relative location), (close relative has quality near)
• close relative has quality superclass ⇐ (close relative has quality type of object), (type of object has quality superclass), (has quality is a transitive relation)
• close relative has quality type ⇐ (close relative has quality type of object), (type of object has quality type), (has quality is a transitive relation)
• close relative has quality quality ⇐ (close relative has quality type of object), (type of object has quality quality), (has quality is a transitive relation)
• close relative has quality property ⇐ (close relative has quality type of object), (type of object has quality property), (has quality is a transitive relation)
• close relative has quality criterion ⇐ (close relative has quality type of object), (type of object has quality criterion), (has quality is a transitive relation)
• close relative has quality taxonomic rank ⇐ (close relative has quality type of object), (type of object has quality taxonomic rank), (has quality is a transitive relation)
• close relative has quality 1 ⇐ (close relative has quality unit), (unit has quality 1), (has quality is a transitive relation)
• close relative has quality number with finite decimal representation ⇐ (close relative has quality unit), (unit has quality number with finite decimal representation), (has quality is a transitive relation)
• close relative has quality type of object ⇐ (class is a type of object), (close relative has quality class)
• close relative has quality unit ⇐ (near is a unit), (close relative has quality near)
• close relative has quality entity ⇐ (class is a entity), (close relative has quality class)
• close relative has quality class ⇐ (type of property is subclass of class), (close relative has quality type of property)
• close relative has quality type of property ⇐ (life cycle is a type of property), (close relative has quality life cycle)
• close relative has quality life cycle ⇐ (close relative is subclass of individual), (individual has quality life cycle)
• kinship is for example close relative ⇐ (close relative is a kinship), (is a is inverse of is for example)
• mother is subclass of close relative ⇐ (father is subclass of close relative), (father is opposite of mother)
• close relative is subclass of person ⇐ (close relative is subclass of relative), (relative is subclass of person), (is subclass of is a transitive relation)
• close relative is subclass of individual ⇐ (close relative is subclass of relative), (relative is subclass of individual), (is subclass of is a transitive relation)
• father is subclass of close relative ⇐ (father is subclass of first-degree relative), (first-degree relative is subclass of close relative), (is subclass of is a transitive relation)
• brother is subclass of close relative ⇐ (brother is subclass of sibling), (sibling is subclass of close relative), (is subclass of is a transitive relation)
• child is subclass of close relative ⇐ (child is subclass of first-degree relative), (first-degree relative is subclass of close relative), (is subclass of is a transitive relation)
• sibling is subclass of close relative ⇐ (sibling is subclass of first-degree relative), (first-degree relative is subclass of close relative), (is subclass of is a transitive relation)
• parent is subclass of close relative ⇐ (parent is subclass of first-degree relative), (first-degree relative is subclass of close relative), (is subclass of is a transitive relation)