<rdf:RDF
    xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#'
    xmlns:iw='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#'
    xmlns:daml='http://www.daml.org/2001/03/daml+oil#'
    xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
    <rdfs:Class rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#InferenceRule'/>
    <rdfs:Class rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Axiom'/>
    <rdfs:Class rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Source'/>
    <rdfs:Class rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#KIF'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#EnglishDescriptionTemplate'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#TacticOfAxiom'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#InferenceRuleSource'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Premises'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#URL'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#LastSubmissionDate'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Conclusion'/>
    <daml:Property rdf:about='http://www.daml.org/2001/03/daml+oil#rest'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#FirstSubmissionDate'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Name'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Submitter'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#EnglishExample'/>
    <daml:Property rdf:about='http://www.daml.org/2001/03/daml+oil#first'/>
    <daml:DatatypeProperty rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Statement'/>
    <iw:InferenceRule
         iw:URL=''>
        <iw:Name>Modus Ponens</iw:Name>
        <iw:Submitter>http://www.ksl.stanford.edu/software/IW/registry/SRC/IW-TEAM.daml</iw:Submitter>
        <iw:FirstSubmissionDate>Fri Jan 17 18:00:03 PST 2003</iw:FirstSubmissionDate>
        <iw:LastSubmissionDate>Fri Apr 25 13:37:22 PDT 2003</iw:LastSubmissionDate>
        <iw:EnglishDescriptionTemplate>If A holds and A implies B then B holds.  </iw:EnglishDescriptionTemplate>
        <iw:EnglishExample>If every wine of type Chardonnay is WHITE ((type ?x Chardonnay)-&gt;(hasColor ?x WHITE)) and WINE1 is of type Chardonnay (type WINE1 Chardonnay) then WINE1 is white (hasColor WINE1 WHITE).</iw:EnglishExample>
        <iw:InferenceRuleSource rdf:parseType='daml:collection'>
            <iw:Source rdf:about='http://www.ksl.stanford.edu/software/IW/registry/SRC/TROELSTRA2000.daml'/>
        </iw:InferenceRuleSource>
        <iw:TacticOfAxiom rdf:resource=''
             rdf:type='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Axiom'/>
        <iw:Conclusion
             rdf:type='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#KIF'
             iw:Statement='(@S1)'/>
        <iw:Premises rdf:parseType='daml:collection'>
            <iw:KIF>
                <iw:Statement>(&lt;= @S1 @S2)&#xD;</iw:Statement>
            </iw:KIF>
            <iw:KIF
                 iw:Statement='(@S2)'/>
        </iw:Premises>
    </iw:InferenceRule>
</rdf:RDF>