class RDFS::Semantics::RDFS7

RDFS entailment rule ‘rdfs7` for `rdfs:subPropertyOf`.

@see www.w3.org/TR/rdf-mt/#RDFSRules