<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:DeclarativeRule rdf:about="http://inferenceweb.stanford.edu/registry/DPR/FrameMetaInfoReasoningStep.owl#FrameMetaInfoReasoningStep">
    <iw:englishExample>&lt;p>
Given the literal &lt;code>(subClassOf CRAB SHELLFISH)&lt;/code>
derive the literal &lt;code>(:has-slot CRAB subClassOf)&lt;/code>
&lt;p></iw:englishExample>
    <iw:hasSource rdf:parseType="Collection">
      <iw:Source rdf:about="http://inferenceweb.stanford.edu/registry/ORG/KSL.owl#KSL"/>
    </iw:hasSource>
    <iw:firstSubmissionDate>20051128143901</iw:firstSubmissionDate>
    <iw:submitter>
      <iw:Team rdf:about="http://inferenceweb.stanford.edu/registry/TM/IW-TEAM.owl#IW-TEAM"/>
    </iw:submitter>
    <iw:lastSubmissionDate>20060105112644</iw:lastSubmissionDate>
    <iw:name>Frame Meta Information</iw:name>
    <iw:englishDescription>&lt;p>
Given a triple &lt;code>(property subject value)&lt;/code>, a Frame Meta Information proof step derives information for use by JTP's frame system, including that &lt;code>subject&lt;/code> is a frame, &lt;code>property&lt;/code> is a slot, and the frame &lt;code>subject&lt;/code> has &lt;code>property&lt;/code> as one of its slots.
</iw:englishDescription>
  </iw:DeclarativeRule>
</rdf:RDF>