<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/hasClassToMinCardQ.owl#hasClassToMinCardQ"/>
  <iw:Source rdf:about="http://inferenceweb.stanford.edu/registry/TM/JTP-TEAM.owl#JTP-TEAM"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/equvToEqual.owl#equvToEqual"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/range.owl#range"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/uniqToEquiv.owl#uniqToEquiv"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/TransitiveProperty.owl#TransitiveProperty"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/toClass1.owl#toClass1"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/disjContr.owl#disjContr"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/Thing.owl#Thing"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/sameClassAs2.owl#sameClassAs2"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/diffIndContr.owl#diffIndContr"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/Nothing.owl#Nothing"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/first.owl#first"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/minCardToMinCardQ.owl#minCardToMinCardQ"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/noRestInNil.owl#noRestInNil"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/oneOf2.owl#oneOf2"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/hasClassIdentification.owl#hasClassIdentification"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/sameClassAs1.owl#sameClassAs1"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/minCardinalityQ1.owl#minCardinalityQ1"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/complementOf-subClassOf.owl#complementOf-subClassOf"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/maxCardinalityQ2.owl#maxCardinalityQ2"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/toClass2.owl#toClass2"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/unionOf1.owl#unionOf1"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/getItemFromRest.owl#getItemFromRest"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/minCardToHasClassQ.owl#minCardToHasClassQ"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/samePropertyAs1.owl#samePropertyAs1"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/hasValue1.owl#hasValue1"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/unionOf2.owl#unionOf2"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/oneOf1.owl#oneOf1"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/complementOf2.owl#complementOf2"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/subClassOf.owl#subClassOf"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/maxCardToMaxCardQ.owl#maxCardToMaxCardQ"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/inverseOf.owl#inverseOf"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/Property.owl#Property"/>
  <rdf:List rdf:about="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/disjInh.owl#disjInh"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/disjUnion.owl#disjUnion"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/maxCardinalityQ1.owl#maxCardinalityQ1"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/unambigToEquiv.owl#unambigToEquiv"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/complementOf1.owl#complementOf1"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/noPropValPairForObj.owl#noPropValPairForObj"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/noItemsInNil.owl#noItemsInNil"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/cardToCardQ.owl#cardToCardQ"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/subPropertyOf.owl#subPropertyOf"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/intersectionOf.owl#intersectionOf"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/hasValue2.owl#hasValue2"/>
  <iw:Team rdf:about="http://inferenceweb.stanford.edu/registry/TM/IW-TEAM.owl#IW-TEAM"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/domain.owl#domain"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/samePropertyAs2.owl#samePropertyAs2"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/minCardinalityQ2.owl#minCardinalityQ2"/>
  <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/maxCardToHasClassQ.owl#maxCardToHasClassQ"/>
  <iw:LanguageAxiomSet rdf:about="http://inferenceweb.stanford.edu/registry/LAS/DAML-JTP.owl#DAML-JTP"
     iw:firstSubmissionDate="20030922163956"
     iw:lastSubmissionDate="20040317175525">
    <iw:name>JTP axioms for DARPA Agent Markup Language</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/cardToCardQ.owl#cardToCardQ"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/cardToHasClassQ.owl#cardToHasClassQ"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/complementOf-subClassOf.owl#complementOf-subClassOf"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/complementOf1.owl#complementOf1"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/complementOf2.owl#complementOf2"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/diffIndContr.owl#diffIndContr"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/disjContr.owl#disjContr"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/disjInh.owl#disjInh"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/disjUnion.owl#disjUnion"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/domain.owl#domain"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/equivalentTo.owl#equivalentTo"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/equvToEqual.owl#equvToEqual"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/first.owl#first"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/getItemFromRest.owl#getItemFromRest"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/hasClassIdentification.owl#hasClassIdentification"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/hasClassToHasClassQ.owl#hasClassToHasClassQ"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/hasClassToMinCardQ.owl#hasClassToMinCardQ"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/hasValue1.owl#hasValue1"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/hasValue2.owl#hasValue2"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/hasValueComplement.owl#hasValueComplement"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/intersectionOf.owl#intersectionOf"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/inverseOf.owl#inverseOf"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/maxCardinalityQ1.owl#maxCardinalityQ1"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/maxCardinalityQ2.owl#maxCardinalityQ2"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/maxCardinalityQ3.owl#maxCardinalityQ3"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/maxCardToHasClassQ.owl#maxCardToHasClassQ"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/maxCardToMaxCardQ.owl#maxCardToMaxCardQ"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/minCardinalityQ1.owl#minCardinalityQ1"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/minCardinalityQ2.owl#minCardinalityQ2"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/minCardToHasClassQ.owl#minCardToHasClassQ"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/minCardToMinCardQ.owl#minCardToMinCardQ"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/noItemsInNil.owl#noItemsInNil"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/noPropValPairForObj.owl#noPropValPairForObj"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/noRestInNil.owl#noRestInNil"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/Nothing.owl#Nothing"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/oneOf1.owl#oneOf1"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/oneOf2.owl#oneOf2"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/oneOf3.owl#oneOf3"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/Property.owl#Property"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/range.owl#range"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/sameClassAs1.owl#sameClassAs1"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/sameClassAs2.owl#sameClassAs2"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/samePropertyAs1.owl#samePropertyAs1"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/samePropertyAs2.owl#samePropertyAs2"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/subClassOf.owl#subClassOf"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/subPropertyOf.owl#subPropertyOf"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/Thing.owl#Thing"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/toClass1.owl#toClass1"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/toClass2.owl#toClass2"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/TransitiveProperty.owl#TransitiveProperty"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/unambigToEquiv.owl#unambigToEquiv"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/unionOf1.owl#unionOf1"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/unionOf2.owl#unionOf2"/>
      <iw:Axiom rdf:about="http://inferenceweb.stanford.edu/registry/AX/uniqToEquiv.owl#uniqToEquiv"/>
    </iw:hasAxiom>
  </iw:LanguageAxiomSet>
</rdf:RDF>