Deductions
- semantic unit has quality existence ⇐ (semantic unit has quality relative quality), (relative quality has quality existence), (has quality is a transitive relation)
- semantic unit has quality data type ⇐ (class is subclass of data type), (semantic unit has quality class)
- semantic unit has quality class ⇐ (quality is a class), (semantic unit has quality quality)
- semantic unit has quality property ⇐ (semantic unit has quality role), (role has quality property), (has quality is a transitive relation)
- semantic unit has quality relative quality ⇐ (semantic unit has quality role), (role has quality relative quality), (has quality is a transitive relation)
- semantic unit has quality type of property ⇐ (semantic unit has quality role), (role has quality type of property), (has quality is a transitive relation)
- semantic unit has quality taxonomic rank ⇐ (semantic unit has quality role), (role has quality taxonomic rank), (has quality is a transitive relation)
- semantic unit has quality quality ⇐ (semantic unit has quality role), (role has quality quality), (has quality is a transitive relation)
- semantic unit has quality criterion ⇐ (semantic unit has quality role), (role has quality criterion), (has quality is a transitive relation)
- semantic unit has quality abstract entity ⇐ (semantic unit has quality role), (role has quality abstract entity), (has quality is a transitive relation)
- semantic unit has quality superclass ⇐ (semantic unit has quality role), (role has quality superclass), (has quality is a transitive relation)
- semantic unit has quality type ⇐ (semantic unit has quality role), (role has quality type), (has quality is a transitive relation)
- semantic unit has quality entity ⇐ (semantic unit has quality role), (role has quality entity), (has quality is a transitive relation)
- semantic unit has quality class ⇐ (semantic unit has quality role), (role has quality class), (has quality is a transitive relation)
- semantic unit has quality role ⇐ (superclass is a role), (semantic unit has quality superclass)
- semantic unit has quality metaclass ⇐ (class is a metaclass), (semantic unit has quality class)
- semantic unit has quality class ⇐ (superclass is subclass of class), (semantic unit has quality superclass)
- Q9380011 is subclass of semantic unit ⇐ (sentence is subclass of semantic unit), (sentence is opposite of Q9380011)
- semantic unit has quality opposite ⇐ (emic and etic is subclass of opposite), (semantic unit has quality emic and etic)
- semantic unit has quality emic and etic ⇐ (semantic unit is subclass of emic unit), (emic unit has quality emic and etic)
- semantic unit is subclass of emic unit ⇐ (semantic unit is subclass of constituent), (constituent is subclass of emic unit), (is subclass of is a transitive relation)
- semantic unit is subclass of linguistic unit ⇐ (semantic unit is subclass of constituent), (constituent is subclass of linguistic unit), (is subclass of is a transitive relation)
- declarative sentence is subclass of semantic unit ⇐ (declarative sentence is subclass of sentence), (sentence is subclass of semantic unit), (is subclass of is a transitive relation)