∈

rdfs:member
A member of the subject resource.

∈ type
∃ Resource → Property
→ Property
→
Resource
Resource


Inference Rules

Every rdfs:ContainerMembershipProperty is subproperty of rdfs:member

:predicate rdf:type rdfs:Container­Membership­Property
:predicate rdfs:sub­Property­Of rdfs:member
⇒
⋯ seeAlso Inference rules for RDF(S) and OWL in N3Logic 📥