Deductions
- type of programming language has quality class ⇐ (quality is a class), (type of programming language has quality quality)
- type of programming language has quality abstract entity ⇐ (type is a abstract entity), (type of programming language has quality type)
- type of programming language has quality existence ⇐ (type of programming language has quality entity), (entity has quality existence), (has quality is a transitive relation)
- type of programming language has quality entity ⇐ (type is a entity), (type of programming language has quality type)
- 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)
- entity is for example type of programming language ⇐ (type of programming language is a entity), (is a is inverse of is for example)
- type of programming language is for example scripting language ⇐ (scripting language is a type of programming language), (is a is inverse of is for example)
- metaclass is for example type of programming language ⇐ (type of programming language is a metaclass), (is a is inverse of is for example)
- type of programming language is a entity ⇐ (metaclass is subclass of entity), (type of programming language is a metaclass)
- type of programming language has quality type ⇐ (criterion is a type), (type of programming language has quality criterion)
- type of programming language has quality class ⇐ (type of property is a class), (type of programming language has quality type of property)
- type of programming language has quality type of property ⇐ (type of programming language is subclass of type), (type has quality type of property)
- type of programming language has quality criterion ⇐ (type of programming language is subclass of type), (type has quality criterion)
- type of programming language has quality quality ⇐ (type of programming language is subclass of type), (type has quality quality)
- type of programming language has quality property ⇐ (type of programming language is subclass of type), (type has quality property)
- 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)