#Processed by Id: cwm.py,v 1.84 2002/02/14 23:56:09 connolly Exp 
        #    using base file:/home/connolly/w3ccvs/WWW/2002/03owlt/
        
#  Notation3 generation by
#       notation3.py,v 1.101 2002/02/20 17:07:19 connolly Exp

#   Base was: file:/home/connolly/w3ccvs/WWW/2002/03owlt/
     @prefix : <ontAx#> .
     @prefix contact: <http://www.w3.org/2000/10/swap/pim/contact#> .
     @prefix log: <http://www.w3.org/2000/10/swap/log#> .
     @prefix ont: <http://www.w3.org/2001/10/daml+oil#> .
     @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
    
    <#_rdfxg0>     a <#_rdfxg5>,
                <#_rdfxg9>,
                :SymptomOfInconsistency,
                ont:Nothing;
         <http://example/vocab#birthPlace> <http://example/vocab#KC>;
         <http://example/vocab#hairColor> <http://example/vocab#red>;
         contact:mailbox <mailto:connolly@w3.org>;
         = <#_rdfxg0>,
                <#_rdfxg1> .
    
    <#_rdfxg1>     a <#_rdfxg5>,
                <#_rdfxg9>,
                :SymptomOfInconsistency,
                ont:Nothing;
         <http://example/vocab#birthPlace> <http://example/vocab#KC>;
         <http://example/vocab#hairColor> <http://example/vocab#red>;
         contact:mailbox <mailto:connolly@w3.org>;
         = <#_rdfxg0>,
                <#_rdfxg1> .
    
    <#_rdfxg5>     ont:hasValue <http://example/vocab#red>;
         ont:onProperty <http://example/vocab#hairColor> .
    
    <#_rdfxg7>     <#_rdfxg11> <#_rdfxg9> .
    
    <#_rdfxg9>     ont:hasValue <http://example/vocab#KC>;
         ont:onProperty <http://example/vocab#birthPlace> .
    
    this     log:forAll :C1,
                :C2,
                :C,
                :p,
                :q,
                :x,
                :y,
                :z;
         log:forSome <#_rdfxg0>,
                <#_rdfxg11>,
                <#_rdfxg1>,
                <#_rdfxg5>,
                <#_rdfxg7>,
                <#_rdfxg9> .
    {
        :x     contact:mailbox :z .
        :y     contact:mailbox :z .
        
        }     log:implies {:x     = :y .
        } .
    {
        :x     = :y .
        
        }     log:implies {:y     = :x .
        } .
    {
        :p     a ont:UniqueProperty .
        
        }     log:implies {{
            :x     :p :y,
                        :z .
            
            }     log:implies {:y     = :z .
            } .
        } .
    {
        :p     a ont:UnambiguousProperty .
        
        }     log:implies {{
            :x     :p :z .
            :y     :p :z .
            
            }     log:implies {:x     = :y .
            } .
        } .
    {
        :x     a ont:Nothing .
        
        }     log:implies {:x     a :SymptomOfInconsistency .
        } .
    {
        :C     ont:hasValue :z;
             ont:onProperty :p .
        :x     :p :z .
        
        }     log:implies {:x     a :C .
        } .
    {
        :C1     log:notEqualTo :C2 .
        :C     ont:intersectionOf  (
            :C1 
            :C2 
             ) .
        :x     a :C1,
                    :C2 .
        
        }     log:implies {:x     a :C .
        } .
    {
        :x     = :z .
        
        }     log:implies {:x     = :z .
        } .
    {
        :p     log:notEqualTo log:forAll,
                    log:forSome .
        :x     :p :y;
             = :z .
        
        }     log:implies {:z     :p :y .
        } .
    {
        :p     log:notEqualTo log:forAll,
                    log:forSome;
             = :q .
        :x     :p :y .
        
        }     log:implies {:x     :q :y .
        } .
    {
        :p     log:notEqualTo log:forAll,
                    log:forSome .
        :x     :p :y .
        :y     = :z .
        
        }     log:implies {:x     :p :z .
        } .
    
    <ontAx.n3>     <ontAx.n3#rcsid> "$Id: sameGuyQR.n3,v 1.1 2002/03/07 19:20:08 connolly Exp $" .
    
    <sameGuyQ.n3>     <sameGuyQ.n3#rcsid> "$Id: sameGuyQR.n3,v 1.1 2002/03/07 19:20:08 connolly Exp $" .
    
    contact:mailbox     a ont:UnambiguousProperty .
    
    ont:Nothing     ont:intersectionOf  [
             <#_rdfxg7> <#_rdfxg5> ] .
    
#ENDS