inference

Deductions

• inference has quality taxonomic rank ⇐ (inference has quality absolute value), (absolute value has quality taxonomic rank), (has quality is a transitive relation)
• inference has quality mathematical object ⇐ (inference has quality absolute value), (absolute value has quality mathematical object), (has quality is a transitive relation)
• inference has quality triangle inequality ⇐ (inference has quality absolute value), (absolute value has quality triangle inequality), (has quality is a transitive relation)
• inference has quality relation ⇐ (inference has quality absolute value), (absolute value has quality relation), (has quality is a transitive relation)
• inference has quality property ⇐ (inference has quality absolute value), (absolute value has quality property), (has quality is a transitive relation)
• inference has quality superclass ⇐ (inference has quality absolute value), (absolute value has quality superclass), (has quality is a transitive relation)
• inference has quality inequality ⇐ (inference has quality absolute value), (absolute value has quality inequality), (has quality is a transitive relation)
• inference has quality type of property ⇐ (inference has quality absolute value), (absolute value has quality type of property), (has quality is a transitive relation)
• inference has quality criterion ⇐ (inference has quality absolute value), (absolute value has quality criterion), (has quality is a transitive relation)
• inference has quality quality ⇐ (inference has quality absolute value), (absolute value has quality quality), (has quality is a transitive relation)
• inference has quality set ⇐ (inference has quality absolute value), (absolute value has quality set), (has quality is a transitive relation)
• inference has quality mathematical property ⇐ (inference has quality absolute value), (absolute value has quality mathematical property), (has quality is a transitive relation)
• inference has quality number of entities ⇐ (inference has quality absolute value), (absolute value has quality number of entities), (has quality is a transitive relation)
• inference has quality arity ⇐ (inference has quality absolute value), (absolute value has quality arity), (has quality is a transitive relation)
• inference has quality absolute value ⇐ (inference has quality real number), (real number has quality absolute value), (has quality is a transitive relation)
• inference has quality real number ⇐ (number with finite decimal representation is subclass of real number), (inference has quality number with finite decimal representation)
• inference has quality entity ⇐ (physical property is subclass of entity), (inference has quality physical property)
• inference has quality class ⇐ (abstract entity is a class), (inference has quality abstract entity)
• inference has quality number with finite decimal representation ⇐ (1 is a number with finite decimal representation), (inference has quality 1)
• inference has quality entity ⇐ (type of reasoning is a entity), (inference has quality type of reasoning)
• inference has quality abstract entity ⇐ (type of reasoning is subclass of abstract entity), (inference has quality type of reasoning)
• unit is for example inference ⇐ (inference is a unit), (is a is inverse of is for example)
• inference has quality 1 ⇐ (inference is a unit), (unit has quality 1)
• inference is a unit ⇐ (sourcing circumstance is subclass of unit), (inference is a sourcing circumstance)
• inference has quality type of object ⇐ (class is a type of object), (inference has quality class)
• inference has quality existence ⇐ (inference is subclass of entity), (entity has quality existence)
• term is for example inference ⇐ (inference is a term), (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)
• inference is subclass of entity ⇐ (inference is subclass of occurrent), (occurrent is subclass of entity), (is subclass of is a transitive relation)
• inference is subclass of spatio-temporal entity ⇐ (inference is subclass of process), (process is subclass of spatio-temporal entity), (is subclass of is a transitive relation)
• inference is subclass of object ⇐ (inference is subclass of process), (process is subclass of object), (is subclass of is a transitive relation)
• inference is subclass of occurrent ⇐ (inference is subclass of process), (process is subclass of occurrent), (is subclass of is a transitive relation)
• inference is a term ⇐ (sourcing circumstance is subclass of term), (inference is a sourcing circumstance)
• inference has quality general quantity ⇐ (physical quantity is a general quantity), (inference has quality physical quantity)
• inference has quality physico-chemical property ⇐ (physical property is subclass of physico-chemical property), (inference has quality physical property)
• inference has quality physical property ⇐ (physical quantity is subclass of physical property), (inference has quality physical quantity)
• inference has quality class ⇐ (type is subclass of class), (inference has quality type)
• inference has quality type ⇐ (type of reasoning is subclass of type), (inference has quality type of reasoning)
• inference has quality physical quantity ⇐ (intensity is subclass of physical quantity), (inference has quality intensity)
• inference has quality intensity ⇐ (inference is subclass of process), (process has quality intensity)