<rdf:RDF
    xmlns:iw="http://inferenceweb.stanford.edu/2004/07/iw.owl#"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:daml="http://www.daml.org/2001/03/daml+oil#"
    xmlns:dc="http://purl.org/dc/elements/1.1/">
  <owl:Class rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#Source"/>
  <owl:Class rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#DeclarativeRule"/>
  <owl:Class rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#Team"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#firstSubmissionDate"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#name"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#lastSubmissionDate"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#hasSource"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#submitter"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#englishExample"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/07/iw.owl#englishDescription"/>
  <iw:Source rdf:about="http://inferenceweb.stanford.edu/registry/ORG/KSL.owl#KSL"/>
  <iw:Team rdf:about="http://inferenceweb.stanford.edu/registry/TM/IW-TEAM.owl#IW-TEAM"/>
  <iw:DeclarativeRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/MembershipThruLinkStep.owl#MembershipThruLinkStep">
    <iw:lastSubmissionDate>20060105112316</iw:lastSubmissionDate>
    <iw:submitter rdf:resource="http://inferenceweb.stanford.edu/registry/TM/IW-TEAM.owl#IW-TEAM"/>
    <iw:englishDescription>&lt;p>
This proof step is a special case of the Membership Rule, wherein membership in a Value Collection is inferred using a Value Link.  For more information on Value Links, see the Value Link Creation rule description.
</iw:englishDescription>
    <iw:firstSubmissionDate>20051128145220</iw:firstSubmissionDate>
    <iw:englishExample>&lt;p>
Given that &lt;code>?x=SEAFOOD&lt;/code> is a member of the Value Collection &lt;code>(subClassOf SHELLFISH ?x)&lt;/code>, and given a Value Link represented by 
&lt;pre>
   (&lt;= (subClassOf CRAB ?y) 
       (subClassOf SHELLFISH ?y))
&lt;/pre>
derive that &lt;code>?z=SEAFOOD&lt;/code> is also a member of the Value Collection represented by &lt;code>(subClassOf CRAB ?z)&lt;/code>.
&lt;p></iw:englishExample>
    <iw:name>Membership via Value Link</iw:name>
    <iw:hasSource rdf:parseType="Collection">
      <iw:Source rdf:about="http://inferenceweb.stanford.edu/registry/ORG/KSL.owl#KSL"/>
    </iw:hasSource>
  </iw:DeclarativeRule>
</rdf:RDF>