RDFS::Rule
RDFS entailment rule ‘rdfs9` for `rdfs:subClassOf`.
RDFS
@see www.w3.org/TR/rdf-mt/#RDFSRules