<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"/>
  <owl:Class rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#Source"/>
  <owl:Class rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#LanguageAxiomSet"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#hasSource"/>
  <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#hasAxiom"/>
  <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#submitter"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/PORelationIsTransitive.owl#PORelationIsTransitive"/>
  <iw:Source rdf:about="http://inferenceweb.stanford.edu/registry/TM/JTP-TEAM.owl#JTP-TEAM"/>
  <rdf:List rdf:about="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
  <iw:Team rdf:about="http://inferenceweb.stanford.edu/registry/TM/IW-TEAM.owl#IW-TEAM"/>
  <iw:LanguageAxiomSet rdf:about="http://inferenceweb.stanford.edu/registry/LAS/SUMO-JTP.owl#SUMO-JTP"
     iw:firstSubmissionDate="20030922163956"
     iw:lastSubmissionDate="20040317175526">
    <iw:name>JTP axioms for SUMO</iw:name>
    <iw:hasSource rdf:parseType="Collection">
      <iw:Source rdf:about="http://inferenceweb.stanford.edu/registry/TM/JTP-TEAM.owl#JTP-TEAM"/>
    </iw:hasSource>
    <iw:submitter rdf:resource="http://inferenceweb.stanford.edu/registry/TM/IW-TEAM.owl#IW-TEAM"/>
    <iw:hasAxiom rdf:parseType="Collection">
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/LocatedIsTransitive.owl#LocatedIsTransitive"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/PORelationIsTransitive.owl#PORelationIsTransitive"/>
    </iw:hasAxiom>
  </iw:LanguageAxiomSet>
</rdf:RDF>