<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#Source'/>
    <rdfs:Class rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#LanguageAxiomSet'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#hasAxiom'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#LanguageAxiomSetSource'/>
    <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.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#Submitter'/>
    <daml:Property rdf:about='http://www.ksl.stanford.edu/software/IW/spec/iw.daml#Name'/>
    <daml:Property rdf:about='http://www.daml.org/2001/03/daml+oil#first'/>
    <iw:LanguageAxiomSet
         iw:URL=''>
        <iw:Name>JTP&apos;s axioms for DARPA Agent Markup Language</iw:Name>
        <iw:Submitter>http://www.ksl.stanford.edu/software/IW/registry/SRC/IW-TEAM.daml</iw:Submitter>
        <iw:FirstSubmissionDate>Tue Feb 18 10:46:15 PST 2003</iw:FirstSubmissionDate>
        <iw:LastSubmissionDate>Mon Mar 10 14:14:06 PST 2003</iw:LastSubmissionDate>
        <iw:LanguageAxiomSetSource rdf:parseType='daml:collection'>
            <iw:Source rdf:about='http://www.ksl.stanford.edu/software/IW/registry/SRC/JTP-TEAM.daml'/>
        </iw:LanguageAxiomSetSource>
        <iw:hasAxiom rdf:parseType='daml:collection'>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/Nothing.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/Property.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/Thing.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/TransitiveProperty.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/cardToCardQ.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/cardToHasClassQ.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/complementOf-subClassOf.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/complementOf1.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/complementOf2.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/diffIndContr.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/disjContr.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/disjInh.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/disjUnion.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/domain.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/equivalentTo.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/equvToEqual.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/first.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/getItemFromRest.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/hasClassIdentification.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/hasClassToHasClassQ.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/hasClassToMinCardQ.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/hasValue1.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/hasValue2.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/hasValueComplement.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/intersectionOf.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/inverseOf.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/maxCardToHasClassQ.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/maxCardToMaxCardQ.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/maxCardinalityQ1.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/maxCardinalityQ2.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/maxCardinalityQ3.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/minCardToHasClassQ.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/minCardToMinCardQ.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/minCardinalityQ1.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/minCardinalityQ2.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/noItemsInNil.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/noPropValPairForObj.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/noRestInNil.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/oneOf1.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/oneOf2.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/oneOf3.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/range.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/sameClassAs1.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/sameClassAs2.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/samePropertyAs1.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/samePropertyAs2.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/subClassOf.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/subPropertyOf.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/toClass1.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/toClass2.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/unambigToEquiv.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/unionOf1.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/unionOf2.daml'/>
            <iw:Axiom rdf:about='http://www.ksl.stanford.edu/software/IW/registry/AX/uniqToEquiv.daml'/>
        </iw:hasAxiom>
    </iw:LanguageAxiomSet>
</rdf:RDF>