<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#Axiom'/>
    <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#AxiomContent'/>
    <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#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:DatatypeProperty rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Statement'/>
    <iw:Axiom
         iw:Name='minCardinalityQ2'
         iw:URL=''>
        <iw:Submitter>http://www.ksl.stanford.edu/software/IW/registry/SRC/IW-TEAM.daml</iw:Submitter>
        <iw:FirstSubmissionDate>Tue Feb 25 17:28:31 PST 2003</iw:FirstSubmissionDate>
        <iw:LastSubmissionDate>Tue Feb 25 17:28:31 PST 2003</iw:LastSubmissionDate>
        <iw:AxiomContent>
            <iw:KIF>
                <iw:Statement>(=&gt;&#xD;&#xA; (and&#xD;&#xA;  (holds |http://www.daml.org/2001/03/daml+oil#|::|minCardinalityQ| ?r1 ?n1)&#xD;&#xA;  (holds |http://www.daml.org/2001/03/daml+oil#|::|onProperty| ?r1 ?p)&#xD;&#xA;  (holds |http://www.daml.org/2001/03/daml+oil#|::|hasClassQ| ?r1 ?c1)&#xD;&#xA;  (holds |http://www.daml.org/2001/03/daml+oil#|::|minCardinalityQ| ?r2 ?n2)&#xD;&#xA;  (holds |http://www.daml.org/2001/03/daml+oil#|::|onProperty| ?r2 ?p)&#xD;&#xA;  (holds |http://www.daml.org/2001/03/daml+oil#|::|hasClassQ| ?r2 ?c2)&#xD;&#xA;  (holds |http://www.w3.org/2000/01/rdf-schema#|::|subClassOf| ?c1 ?c2)&#xD;&#xA;  (&gt;= ?n1 ?n2))&#xD;&#xA; (holds |http://www.w3.org/2000/01/rdf-schema#|::|subClassOf| ?r1 ?r2))</iw:Statement>
            </iw:KIF>
        </iw:AxiomContent>
    </iw:Axiom>
</rdf:RDF>