Deductions
- fastener has quality type of object ⇐ (fastener is subclass of physical tool), (physical tool has quality type of object)
- fastener has quality philosophical concept ⇐ (instrumentality is a philosophical concept), (fastener has quality instrumentality)
- fastener is subclass of equipment ⇐ (fastener is subclass of physical tool), (physical tool is subclass of equipment), (is subclass of is a transitive relation)
- fastener is subclass of independent continuant ⇐ (fastener is subclass of physical tool), (physical tool is subclass of independent continuant), (is subclass of is a transitive relation)
- fastener is subclass of physical object ⇐ (fastener is subclass of physical tool), (physical tool is subclass of physical object), (is subclass of is a transitive relation)
- fastener is subclass of material entity ⇐ (fastener is subclass of physical tool), (physical tool is subclass of material entity), (is subclass of is a transitive relation)
- fastener has quality taxonomic rank ⇐ (fastener is subclass of physical tool), (physical tool has quality taxonomic rank)
- fastener has quality physical location ⇐ (fastener is subclass of physical tool), (physical tool has quality physical location)
- fastener has quality entity ⇐ (fastener is subclass of physical tool), (physical tool has quality entity)
- fastener has quality instrumentality ⇐ (fastener is subclass of physical tool), (physical tool has quality instrumentality)
- fastener has quality property ⇐ (fastener is subclass of physical tool), (physical tool has quality property)
- fastener has quality existence ⇐ (fastener is subclass of physical tool), (physical tool has quality existence)
- fastener has quality physical property ⇐ (fastener is subclass of physical tool), (physical tool has quality physical property)
- fastener has quality type ⇐ (fastener is subclass of physical tool), (physical tool has quality type)
- fastener has quality quality ⇐ (fastener is subclass of physical tool), (physical tool has quality quality)
- fastener has quality abstract entity ⇐ (fastener is subclass of physical tool), (physical tool has quality abstract entity)
- fastener has quality type of property ⇐ (fastener is subclass of physical tool), (physical tool has quality type of property)
- fastener has quality criterion ⇐ (fastener is subclass of physical tool), (physical tool has quality criterion)
- fastener has quality superclass ⇐ (fastener is subclass of physical tool), (physical tool has quality superclass)
- fastener has quality class ⇐ (fastener is subclass of physical tool), (physical tool has quality class)
- type of machine element is for example fastener ⇐ (fastener is a type of machine element), (is a is inverse of is for example)
- fastener is for example socket ⇐ (socket is a fastener), (is a is inverse of is for example)