<rdf:RDF
    xmlns:iw="http://inferenceweb.stanford.edu/2004/03/iw.owl#"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#">
  <owl:Class rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#Team"/>
  <owl:Class rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#Axiom"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#name"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#firstSubmissionDate"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#lastSubmissionDate"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#axiomContent"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#submitter"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/unionOf1.owl#unionOf1"
     iw:firstSubmissionDate="20030922160547"
     iw:lastSubmissionDate="20040317175607"
     iw:name="unionOf1">
    <iw:submitter rdf:resource="http://inferenceweb.stanford.edu/registry/TM/IW-TEAM.owl#IW-TEAM"
       rdf:type="http://inferenceweb.stanford.edu/2004/03/iw.owl#Team"/>
    <iw:axiomContent>(=>
 (and
  (holds |http://www.daml.org/2001/03/daml+oil#|::|unionOf| ?cl ?list)
  (holds |http://www.daml.org/2001/03/daml+oil#|::|item| ?list ?it))
 (holds |http://www.w3.org/2000/01/rdf-schema#|::|subClassOf| ?it ?cl))</iw:axiomContent>
  </iw:Axiom>
</rdf:RDF>