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