Deductions
- first of its kind has quality property ⇐ (first of its kind has quality type), (type has quality property), (has quality is a transitive relation)
- first of its kind has quality criterion ⇐ (first of its kind has quality type), (type has quality criterion), (has quality is a transitive relation)
- first of its kind has quality quality ⇐ (first of its kind has quality type), (type has quality quality), (has quality is a transitive relation)
- first of its kind has quality abstract entity ⇐ (first of its kind is a quality), (quality has quality abstract entity)
- first of its kind has quality superclass ⇐ (first of its kind is a quality), (quality has quality superclass)
- first of its kind has quality existence ⇐ (first of its kind is a quality), (quality has quality existence)
- first of its kind has quality entity ⇐ (first of its kind is a quality), (quality has quality entity)
- first of its kind has quality taxonomic rank ⇐ (first of its kind is a quality), (quality has quality taxonomic rank)
- first of its kind has quality type ⇐ (first of its kind is a quality), (quality has quality type)
- first of its kind has quality type of property ⇐ (first of its kind is a quality), (quality has quality type of property)
- first of its kind has quality class ⇐ (first of its kind is a quality), (quality has quality class)
- quality is for example first of its kind ⇐ (first of its kind is a quality), (is a is inverse of is for example)
- computer has quality first of its kind ⇐ (computer is a invention), (invention has quality first of its kind)