Deductions
- systems programming language has quality superclass ⇐ (systems programming language has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- systems programming language has quality class ⇐ (quality is a class), (systems programming language has quality quality)
- systems programming language has quality superclass ⇐ (systems programming language has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- systems programming language has quality taxonomic rank ⇐ (systems programming language has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- systems programming language has quality abstract entity ⇐ (property is a abstract entity), (systems programming language has quality property)
- systems programming language has quality entity ⇐ (property is a entity), (systems programming language has quality property)
- type of programming language is for example systems programming language ⇐ (systems programming language is a type of programming language), (is a is inverse of is for example)
- type is for example systems programming language ⇐ (systems programming language is a type), (is a is inverse of is for example)
- systems programming language has quality property ⇐ (systems programming language is a type), (type has quality property)
- systems programming language has quality criterion ⇐ (systems programming language is a type), (type has quality criterion)
- systems programming language has quality type of property ⇐ (systems programming language is a type), (type has quality type of property)
- systems programming language has quality quality ⇐ (systems programming language is a type), (type has quality quality)
- systems programming language has quality class ⇐ (systems programming language is a type), (type has quality class)
- systems programming language has quality existence ⇐ (systems programming language is a type), (type has quality existence)
- systems programming language is a type ⇐ (type of programming language is subclass of type), (systems programming language is a type of programming language)
- systems programming language is a type of programming language ⇐ (scripting language is a type of programming language), (scripting language is opposite of systems programming language)