Deductions
- measure has quality class ⇐ (type of property is a class), (measure has quality type of property)
- relation is for example measure ⇐ (measure is a relation), (is a is inverse of is for example)
- set is for example measure ⇐ (measure is a set), (is a is inverse of is for example)
- mathematical property is for example measure ⇐ (measure is a mathematical property), (is a is inverse of is for example)
- measure has quality type ⇐ (measure has quality property), (property has quality type), (has quality is a transitive relation)
- measure has quality superclass ⇐ (measure has quality property), (property has quality superclass), (has quality is a transitive relation)
- measure has quality type of property ⇐ (measure has quality property), (property has quality type of property), (has quality is a transitive relation)
- measure has quality taxonomic rank ⇐ (measure has quality property), (property has quality taxonomic rank), (has quality is a transitive relation)
- measure is subclass of set function ⇐ (measure is subclass of content), (content is subclass of set function), (is subclass of is a transitive relation)
- measure is a set ⇐ (relation is subclass of set), (measure is a relation)
- measure is a relation ⇐ (mathematical property is subclass of relation), (measure is a mathematical property)
- measure has quality property ⇐ (sigma additivity is a property), (measure has quality sigma additivity)
- measure has quality sigma subadditivity ⇐ (sigma additivity is subclass of sigma subadditivity), (measure has quality sigma additivity)