#Processed by Id: cwm.py,v 1.87 2002/02/22 05:18:55 timbl Exp
        #    using base http://infomesh.net/2001/05/rdflint/rules.n3
        
#  Notation3 generation by
#       notation3.py,v 1.103 2002/02/22 05:18:55 timbl Exp

#   Base was: http://infomesh.net/2001/05/rdflint/rules.n3
     @prefix : <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
     @prefix daml: <http://www.daml.org/2001/03/daml+oil#> .
     @prefix log: <http://www.w3.org/2000/10/swap/log#> .
     @prefix v: <vars#> .
    
    :type     a :Property,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
      (  )
         a daml:List,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    <#_g36>     a <http://www.w3.org/2000/01/rdf-schema#Class>,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    daml:Class     a <http://www.w3.org/2000/01/rdf-schema#Class>,
                <http://www.w3.org/2000/01/rdf-schema#Resource>;
         <http://www.w3.org/2000/01/rdf-schema#subClassOf>
<http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    daml:Datatype     a <http://www.w3.org/2000/01/rdf-schema#Class>,
                <http://www.w3.org/2000/01/rdf-schema#Resource>;
         <http://www.w3.org/2000/01/rdf-schema#subClassOf>
<http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    daml:List     a <http://www.w3.org/2000/01/rdf-schema#Class>,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    daml:Nothing     a daml:Class,
                <http://www.w3.org/2000/01/rdf-schema#Class>,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    daml:Restriction     a <http://www.w3.org/2000/01/rdf-schema#Class>,
                <http://www.w3.org/2000/01/rdf-schema#Resource>;
         <http://www.w3.org/2000/01/rdf-schema#subClassOf>
<http://www.w3.org/2000/01/rdf-schema#Class>,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    daml:Thing     a daml:Class,
                <http://www.w3.org/2000/01/rdf-schema#Class>,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    daml:TransitiveProperty     a
<http://www.w3.org/2000/01/rdf-schema#Class>,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    daml:complementOf     a :Property,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    daml:differentIndividualFrom     a :Property,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    daml:disjointUnionOf     a :Property,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    daml:disjointWith     a :Property,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    daml:equivalentTo     a :Property,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    daml:hasClass     a :Property,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    daml:hasValue     a :Property,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    daml:intersectionOf     a :Property,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    daml:onProperty     a :Property,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    daml:oneOf     a :Property,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    daml:sameClassAs     a :Property,
                <http://www.w3.org/2000/01/rdf-schema#Resource>;
         <http://www.w3.org/2000/01/rdf-schema#domain>
<http://www.w3.org/2000/01/rdf-schema#Class>;
         <http://www.w3.org/2000/01/rdf-schema#range>
<http://www.w3.org/2000/01/rdf-schema#Class> .
    
    daml:sameIndividualAs     a :Property,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    daml:samePropertyAs     a :Property,
                <http://www.w3.org/2000/01/rdf-schema#Resource>;
         <http://www.w3.org/2000/01/rdf-schema#domain> :Property;
         <http://www.w3.org/2000/01/rdf-schema#range> :Property .
    
    daml:toClass     a :Property,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    daml:unionOf     a :Property,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    :Property     a <http://www.w3.org/2000/01/rdf-schema#Class>,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    <http://www.w3.org/2000/01/rdf-schema#Class>     a
<http://www.w3.org/2000/01/rdf-schema#Class>,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    <http://www.w3.org/2000/01/rdf-schema#ConstraintProperty>     a
<http://www.w3.org/2000/01/rdf-schema#Class>,
                <http://www.w3.org/2000/01/rdf-schema#Resource>;
         <http://www.w3.org/2000/01/rdf-schema#subClassOf>
<http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    <http://www.w3.org/2000/01/rdf-schema#ConstraintResource>     a
<http://www.w3.org/2000/01/rdf-schema#Class>,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    <http://www.w3.org/2000/01/rdf-schema#Literal>     a
<http://www.w3.org/2000/01/rdf-schema#Class>,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    <http://www.w3.org/2000/01/rdf-schema#Resource>     a
<http://www.w3.org/2000/01/rdf-schema#Class>,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    <http://www.w3.org/2000/01/rdf-schema#Thing>     a
<http://www.w3.org/2000/01/rdf-schema#Class>,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    <http://www.w3.org/2000/01/rdf-schema#comment>     a :Property,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    <http://www.w3.org/2000/01/rdf-schema#containerMembershipProperty>     a
<http://www.w3.org/2000/01/rdf-schema#Class>,
                <http://www.w3.org/2000/01/rdf-schema#Resource>;
         <http://www.w3.org/2000/01/rdf-schema#subClassOf>
<http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    <http://www.w3.org/2000/01/rdf-schema#domain>     a :Property,
                <http://www.w3.org/2000/01/rdf-schema#ConstraintResource>,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    <http://www.w3.org/2000/01/rdf-schema#isDefinedBy>     a
<http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    <http://www.w3.org/2000/01/rdf-schema#label>     a :Property,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    <http://www.w3.org/2000/01/rdf-schema#range>     a :Property,
                <http://www.w3.org/2000/01/rdf-schema#ConstraintResource>,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    <http://www.w3.org/2000/01/rdf-schema#seeAlso>     a
<http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    <http://www.w3.org/2000/01/rdf-schema#subClassOf>     a :Property,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
    <http://www.w3.org/2000/01/rdf-schema#subPropertyOf>     a :Property,
                <http://www.w3.org/2000/01/rdf-schema#Resource> .
    
#ENDS