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