#Processed by Id: cwm.py,v 1.61 2001/07/20 04:46:40 connolly Exp 
        #    using base file:/home/connolly/w3ccvs/WWW/2001/08swws67/
        # Input rules to apply from  file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/forgetDups.n3

#  Notation3 generation by
#       notation3.py,v 1.85 2001/07/26 04:45:47 connolly Exp

#   Base was: file:/home/connolly/w3ccvs/WWW/2001/08swws67/
     @prefix : <#> .
     @prefix apt: <http://www.megginson.com/exp/ns/airports#> .
     @prefix cact: <http://www.cyc.com/cyc-2-1/vocab/actor-vocab-complete.html#> .
     @prefix cal: <http://www.w3.org/2000/09/calendar/alpha1> .
     @prefix cg: <http://www.cyc.com/cyc-2-1/vocab/group-vocab.html#> .
     @prefix ci: <http://www.cyc.com/cyc-2-1/vocab/info-vocab.html#> .
     @prefix contact: <http://www.w3.org/2000/10/swap/pim/contact#> .
     @prefix cs: <http://www.cyc.com/cyc-2-1/vocab/spatial-vocab.html#> .
     @prefix ct: <http://www.cyc.com/cyc-2-1/vocab/time-vocab.html#> .
     @prefix ctop: <http://www.cyc.com/cyc-2-1/vocab/top-vocab.html#> .
     @prefix ctrans: <http://www.cyc.com/cyc-2-1/vocab/transportation-vocab.html#> .
     @prefix dc: <http://purl.org/dc/elements/1.1/> .
     @prefix foaf: <http://xmlns.com/foaf/0.1/> .
     @prefix html: <http://www.w3.org/1999/xhtml> .
     @prefix ical: <http://ilrt.org/discovery/2001/06/schemas/ical-full/hybrid.rdf#> .
     @prefix log: <http://www.w3.org/2000/10/swap/log#> .
     @prefix nav: <http://www.w3.org/2001/07dc-bos/grokNavItin#> .
     @prefix ont: <http://www.daml.org/2001/03/daml+oil#> .
     @prefix ont_: <@@/ont_#> .
     @prefix pa: <http://www.w3.org/2000/08/palm56/addr#> .
     @prefix pd: <http://www.w3.org/2000/08/palm56/datebook#> .
     @prefix r: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
     @prefix rcs: <http://www.w3.org/2001/03swell/rcs#> .
     @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
     @prefix sl: <http://www.w3.org/2001/03swell/lists#> .
     @prefix t: <http://www.w3.org/2001/08swws67/travel#> .
     @prefix util: <http://ilrt.org/discovery/2001/06/schemas/swws/index.rdf#> .
     @prefix v: <?> .
     @prefix xlink: <http://www.w3.org/1999/xlink> .
    
    <../../2000/10/swap/test/sameThing.n3#_g0>     a ctop:PartiallyTangible;
         = <../../2000/10/swap/test/sameThing.n3#_g0>;
         pa:firstName "DANIEL";
         pa:name "CONNOLLY";
         contact:fullName "Dan Connolly";
         contact:homePage <http://www.w3.org/People/Connolly/>;
         contact:mailbox <mailto:connolly@w3.org>;
         <http://xmlns.com/foaf/0.1/mbox> <mailto:connolly@w3.org>;
         <http://xmlns.com/foaf/0.1/name> "Dan Connolly" .
    {
        <../../2000/10/swap/test/sameThing.n3#p>     a ont:UniqueProperty .
        
        }     log:implies {{
            <../../2000/10/swap/test/sameThing.n3#x>     <../../2000/10/swap/test/sameThing.n3#p> <../../2000/10/swap/test/sameThing.n3#y>,
                        <../../2000/10/swap/test/sameThing.n3#z> .
            
            }     log:implies {<../../2000/10/swap/test/sameThing.n3#y>     = <../../2000/10/swap/test/sameThing.n3#z> .
            } .
        } .
    {
        <../../2000/10/swap/test/sameThing.n3#p>     a ont:UnambiguousProperty .
        
        }     log:implies {{
            <../../2000/10/swap/test/sameThing.n3#x>     <../../2000/10/swap/test/sameThing.n3#p> <../../2000/10/swap/test/sameThing.n3#z> .
            <../../2000/10/swap/test/sameThing.n3#y>     <../../2000/10/swap/test/sameThing.n3#p> <../../2000/10/swap/test/sameThing.n3#z> .
            
            }     log:implies {<../../2000/10/swap/test/sameThing.n3#x>     = <../../2000/10/swap/test/sameThing.n3#y> .
            } .
        } .
    {
        <../../2000/10/swap/test/sameThing.n3#x>     = <../../2000/10/swap/test/sameThing.n3#y> .
        
        }     log:implies {<../../2000/10/swap/test/sameThing.n3#y>     = <../../2000/10/swap/test/sameThing.n3#x> .
        } .
    {
        <../../2000/10/swap/test/sameThing.n3#x>     = <../../2000/10/swap/test/sameThing.n3#z> .
        
        }     log:implies {<../../2000/10/swap/test/sameThing.n3#x>     = <../../2000/10/swap/test/sameThing.n3#z> .
        } .
    {
        <../../2000/10/swap/test/sameThing.n3#x>     <../../2000/10/swap/test/sameThing.n3#p> <../../2000/10/swap/test/sameThing.n3#y>;
             = <../../2000/10/swap/test/sameThing.n3#z> .
        
        }     log:implies {<../../2000/10/swap/test/sameThing.n3#z>     <../../2000/10/swap/test/sameThing.n3#p> <../../2000/10/swap/test/sameThing.n3#y> .
        } .
    {
        <../../2000/10/swap/test/sameThing.n3#p>     = <../../2000/10/swap/test/sameThing.n3#q> .
        <../../2000/10/swap/test/sameThing.n3#x>     <../../2000/10/swap/test/sameThing.n3#p> <../../2000/10/swap/test/sameThing.n3#y> .
        
        }     log:implies {<../../2000/10/swap/test/sameThing.n3#x>     <../../2000/10/swap/test/sameThing.n3#q> <../../2000/10/swap/test/sameThing.n3#y> .
        } .
    {
        <../../2000/10/swap/test/sameThing.n3#x>     <../../2000/10/swap/test/sameThing.n3#p> <../../2000/10/swap/test/sameThing.n3#y> .
        <../../2000/10/swap/test/sameThing.n3#y>     = <../../2000/10/swap/test/sameThing.n3#z> .
        
        }     log:implies {<../../2000/10/swap/test/sameThing.n3#x>     <../../2000/10/swap/test/sameThing.n3#p> <../../2000/10/swap/test/sameThing.n3#z> .
        } .
    
    <../../2000/10/swap/test/sameThing.n3>     <http://purl.org/dc/elements/1.1/creator> <../../2000/10/swap/test/sameThing.n3#_g0>;
         <http://purl.org/dc/elements/1.1/description> "substituion of equals for equals in triples, plus some rules for unambiguous/unique properties (@@that probably belong elsewhere)";
         <http://purl.org/dc/elements/1.1/relation> <../../2000/10/swap/test/forgetDups.n3>;
         <http://purl.org/dc/elements/1.1/rights> "copyright (c) 2001 W3C (MIT, Keio, INRIA)";
         rcs:id "$Id: poolGame-kb.n3,v 1.2 2001/08/06 19:26:06 connolly Exp $" .
    {
        <../05ve/?s>     <../05ve/rdfs.n3#_g1> <../05ve/?o> .
        this     log:forSome <../05ve/rdfs.n3#_g1> .
        <../05ve/rdfs.n3#_g1>     rdfs:subPropertyOf <../05ve/?p> .
        
        }     log:implies {<../05ve/?s>     <../05ve/?p> <../05ve/?o> .
        } .
    {
        <../05ve/?s>     <../05ve/rdfs.n3#_g13> <../05ve/?o> .
        this     log:forSome <../05ve/rdfs.n3#_g13> .
        <../05ve/rdfs.n3#_g13>     rdfs:domain <../05ve/?C> .
        
        }     log:implies {<../05ve/?s>     a <../05ve/?C> .
        } .
    {
        <../05ve/?s>     <../05ve/rdfs.n3#_g16> <../05ve/?o> .
        this     log:forSome <../05ve/rdfs.n3#_g16> .
        <../05ve/rdfs.n3#_g16>     rdfs:range <../05ve/?C> .
        
        }     log:implies {<../05ve/?o>     a <../05ve/?C> .
        } .
    {
        <../05ve/?x>     a  [
                 rdfs:subClassOf <../05ve/?C> ] .
        
        }     log:implies {<../05ve/?x>     a <../05ve/?C> .
        } .
    {
        <../05ve/?C>     rdfs:subClassOf  [
                 rdfs:subClassOf <../05ve/?C2> ] .
        
        }     log:implies {<../05ve/?C>     rdfs:subClassOf <../05ve/?C2> .
        } .
    {
        <../05ve/?p>     rdfs:subPropertyOf  [
                 rdfs:subPropertyOf <../05ve/?p2> ] .
        
        }     log:implies {<../05ve/?p>     rdfs:subPropertyOf <../05ve/?p2> .
        } .
    
    this     log:forAll <../../2000/10/swap/test/sameThing.n3#p>,
                <../../2000/10/swap/test/sameThing.n3#q>,
                <../../2000/10/swap/test/sameThing.n3#x>,
                <../../2000/10/swap/test/sameThing.n3#y>,
                <../../2000/10/swap/test/sameThing.n3#z>,
                <../05ve/?C2>,
                <../05ve/?C>,
                <../05ve/?o>,
                <../05ve/?p2>,
                <../05ve/?p>,
                <../05ve/?s>,
                <../05ve/?x>,
                <?d1>,
                <?d2>,
                <?d3>,
                <?day>,
                <?doc>,
                <?dt>,
                <?e2>,
                <?e>,
                <?grp>,
                <?itin>,
                <?name>,
                <?text>,
                <?where2>,
                <?where>,
                <?who>,
                <?whoWhere>,
                <?x>,
                <?yyyy_mm_dd>,
                t:C2,
                t:C,
                t:o,
                t:p,
                t:s,
                t:t1,
                t:t2,
                t:x;
         log:forSome <../../2000/10/swap/test/sameThing.n3#_g0>,
                :_gs10,
                :_gs11,
                :_gs12,
                :_gs1,
                <mci-sjc1.n3#_g10>,
                <mci-sjc1.n3#_g4>,
                <mci-sjc1.n3#_g7>,
                <mci-sjc1.n3#_gairport10>,
                <mci-sjc1.n3#_gairport15>,
                <mci-sjc1.n3#_gairport8>,
                <mci-sjc1.n3#_gcompany6>,
                <poolGame.n3#_g0>,
                <poolGame.n3#_g3>,
                <poolGame.n3#em>,
                <travel.n3#_g0>,
                <http://www.w3.org/2001/07/26-swcal/travel.n3#_g12>,
                <http://www.w3.org/2001/07/26-swcal/travel.n3#_g3>,
                <http://www.w3.org/2001/07/26-swcal/travel.n3#_g6>,
                <http://www.w3.org/2001/07/26-swcal/travel.n3#_g9>,
                <http://www.w3.org/2001/07/26-swcal/travel.n3#_gairport10>,
                <http://www.w3.org/2001/07/26-swcal/travel.n3#_gairport19>,
                <http://www.w3.org/2001/07/26-swcal/travel.n3#_gairport8>,
                <http://www.w3.org/2001/07/26-swcal/travel.n3#_gcompany6>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g19>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22> .
    
    :_gs10     a ct:CalendarDay,
                ct:Date,
                ct:TemporalThing,
                ct:TimeInterval,
                t:TemporallyContinuous;
         ct:temporalBoundsIntersect :_gs10,
                :_gs11,
                :_gs12,
                :_gs1,
                <mci-sjc1.n3#_g10>,
                <poolGame.n3#EricDanBayArea>,
                <poolGame.n3#jul31>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22>;
         ct:temporallyIntersects :_gs10,
                :_gs11,
                :_gs12,
                :_gs1,
                <mci-sjc1.n3#_g10>,
                <poolGame.n3#EricDanBayArea>,
                <poolGame.n3#jul31>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22>;
         ct:temporallySubsumes :_gs10,
                :_gs11,
                :_gs12,
                :_gs1,
                <poolGame.n3#EricDanBayArea>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22>;
         = :_gs10;
         t:yyyy_mm_dd "2001-07-30";
         t:yyyymmdd "20010730" .
    
    :_gs11     a ct:CalendarDay,
                ct:Date,
                ct:TemporalThing,
                ct:TimeInterval,
                t:TemporallyContinuous;
         ct:temporalBoundsIntersect :_gs10,
                :_gs11,
                :_gs12,
                :_gs1,
                <poolGame.n3#EricDanBayArea>,
                <poolGame.n3#jul31>,
                <http://www.w3.org/2001/07/26-swcal/travel.n3#_g12>,
                <http://www.w3.org/2001/07/26-swcal/travel.n3#_g3>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22>;
         ct:temporallyIntersects :_gs10,
                :_gs11,
                :_gs12,
                :_gs1,
                <poolGame.n3#EricDanBayArea>,
                <poolGame.n3#jul31>,
                <http://www.w3.org/2001/07/26-swcal/travel.n3#_g12>,
                <http://www.w3.org/2001/07/26-swcal/travel.n3#_g3>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22>;
         ct:temporallySubsumes :_gs10,
                :_gs11,
                :_gs12,
                :_gs1,
                <poolGame.n3#EricDanBayArea>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22>;
         = :_gs11;
         t:yyyy_mm_dd "2001-07-29" .
    
    :_gs12     a ct:CalendarDay,
                ct:Date,
                ct:TemporalThing,
                ct:TimeInterval,
                t:TemporallyContinuous;
         ct:temporalBoundsIntersect :_gs10,
                :_gs11,
                :_gs12,
                :_gs1,
                <poolGame.n3#EricDanBayArea>,
                <poolGame.n3#jul31>,
                <http://www.w3.org/2001/07/26-swcal/travel.n3#_g6>,
                <http://www.w3.org/2001/07/26-swcal/travel.n3#_g9>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22>;
         ct:temporallyIntersects :_gs10,
                :_gs11,
                :_gs12,
                :_gs1,
                <poolGame.n3#EricDanBayArea>,
                <poolGame.n3#jul31>,
                <http://www.w3.org/2001/07/26-swcal/travel.n3#_g6>,
                <http://www.w3.org/2001/07/26-swcal/travel.n3#_g9>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22>;
         ct:temporallySubsumes :_gs10,
                :_gs11,
                :_gs12,
                :_gs1,
                <poolGame.n3#EricDanBayArea>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22>;
         = :_gs12;
         t:yyyy_mm_dd "2001-08-02";
         t:yyyymmdd "20010802" .
    {
        <../../2000/10/swap/test/sameThing.n3#x>     t:iata <../../2000/10/swap/test/sameThing.n3#z> .
        <../../2000/10/swap/test/sameThing.n3#y>     t:iata <../../2000/10/swap/test/sameThing.n3#z> .
        
        }     log:implies {<../../2000/10/swap/test/sameThing.n3#x>     = <../../2000/10/swap/test/sameThing.n3#y> .
        } .
    {
        <../../2000/10/swap/test/sameThing.n3#x>     t:stateAbbr <../../2000/10/swap/test/sameThing.n3#z> .
        <../../2000/10/swap/test/sameThing.n3#y>     t:stateAbbr <../../2000/10/swap/test/sameThing.n3#z> .
        
        }     log:implies {<../../2000/10/swap/test/sameThing.n3#x>     = <../../2000/10/swap/test/sameThing.n3#y> .
        } .
    {
        <../../2000/10/swap/test/sameThing.n3#x>     contact:mailbox <../../2000/10/swap/test/sameThing.n3#z> .
        <../../2000/10/swap/test/sameThing.n3#y>     contact:mailbox <../../2000/10/swap/test/sameThing.n3#z> .
        
        }     log:implies {<../../2000/10/swap/test/sameThing.n3#x>     = <../../2000/10/swap/test/sameThing.n3#y> .
        } .
    
    :_gs1     a ct:CalendarDay,
                ct:Date,
                ct:TemporalThing,
                ct:TimeInterval,
                t:TemporallyContinuous;
         ct:temporalBoundsIntersect :_gs10,
                :_gs11,
                :_gs12,
                :_gs1,
                <mci-sjc1.n3#_g4>,
                <mci-sjc1.n3#_g7>,
                <poolGame.n3#EricDanBayArea>,
                <poolGame.n3#jul31>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22>;
         ct:temporallyIntersects :_gs10,
                :_gs11,
                :_gs12,
                :_gs1,
                <mci-sjc1.n3#_g4>,
                <mci-sjc1.n3#_g7>,
                <poolGame.n3#EricDanBayArea>,
                <poolGame.n3#jul31>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22>;
         ct:temporallySubsumes :_gs10,
                :_gs11,
                :_gs12,
                :_gs1,
                <poolGame.n3#EricDanBayArea>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22>;
         = :_gs1;
         t:yyyy_mm_dd "2001-08-01";
         t:yyyymmdd "20010801" .
      [      nav:date "2001-08-01";
             nav:dayName "WEDNESDAY" ].
    
    <mci-sjc1.n3#_g10>     a ct:TemporalThing,
                ctrans:TransportationEvent;
         cact:actors <../../2000/10/swap/test/sameThing.n3#_g0>;
         ct:endingDate :_gs10;
         ct:endsDuring :_gs10;
         ct:startingDate :_gs10;
         ct:startsDuring :_gs10;
         ct:temporalBoundsIntersect :_gs10;
         ct:temporallyIntersects :_gs10;
         ctrans:fromLocation <mci-sjc1.n3#_gairport8>;
         ctrans:toLocation <mci-sjc1.n3#_gairport10>;
         ctrans:transportees <../../2000/10/swap/test/sameThing.n3#_g0>;
         nav:AR  [
             nav:time "11:15";
             nav:place <mci-sjc1.n3#_gairport10> ];
         nav:LV  [
             nav:time "09:40";
             nav:place <mci-sjc1.n3#_gairport8> ];
         nav:carrier <mci-sjc1.n3#_gcompany6>;
         nav:date "2001-07-30";
         nav:flightClassName "ECONOMY";
         nav:flightNum "917" .
      [      nav:date "2001-08-02";
             nav:dayName "THURSDAY" ].
    
      [      nav:date "2001-07-30";
             nav:dayName "MONDAY" ].
    
    <mci-sjc1.n3#_g4>     a ct:TemporalThing,
                ctrans:TransportationEvent;
         cact:actors <../../2000/10/swap/test/sameThing.n3#_g0>;
         ct:endingDate :_gs1;
         ct:endsDuring :_gs1;
         ct:startingDate :_gs1;
         ct:startsDuring :_gs1;
         ct:temporalBoundsIntersect :_gs1;
         ct:temporallyIntersects :_gs1;
         ctrans:fromLocation <mci-sjc1.n3#_gairport10>;
         ctrans:toLocation <mci-sjc1.n3#_gairport15>;
         ctrans:transportees <../../2000/10/swap/test/sameThing.n3#_g0>;
         nav:AR  [
             nav:time "17:45";
             nav:place <mci-sjc1.n3#_gairport15> ];
         nav:LV  [
             nav:time "16:30";
             nav:place <mci-sjc1.n3#_gairport10> ];
         nav:carrier <mci-sjc1.n3#_gcompany6>;
         nav:date "2001-08-01";
         nav:flightClassName "ECONOMY";
         nav:flightNum "1201" .
    
    <mci-sjc1.n3#_g7>     a ct:TemporalThing,
                ctrans:TransportationEvent;
         cact:actors <../../2000/10/swap/test/sameThing.n3#_g0>;
         ct:endingDate :_gs1;
         ct:endsDuring :_gs1;
         ct:startingDate :_gs1;
         ct:startsDuring :_gs1;
         ct:temporalBoundsIntersect :_gs1;
         ct:temporallyIntersects :_gs1;
         ctrans:fromLocation <mci-sjc1.n3#_gairport15>;
         ctrans:toLocation <mci-sjc1.n3#_gairport8>;
         ctrans:transportees <../../2000/10/swap/test/sameThing.n3#_g0>;
         nav:AR  [
             nav:time "23:35";
             nav:place <mci-sjc1.n3#_gairport8> ];
         nav:LV  [
             nav:time "18:50";
             nav:place <mci-sjc1.n3#_gairport15> ];
         nav:carrier <mci-sjc1.n3#_gcompany6>;
         nav:date "2001-08-01";
         nav:flightClassName "ECONOMY";
         nav:flightNum "337" .
    
    <mci-sjc1.n3#_gairport10>     a ctrans:AirportOrganization,
                apt:Airport;
         cs:inRegion <poolGame.n3#_g3>;
         = <mci-sjc1.n3#_gairport10>;
         apt:elevation "25M";
         apt:iata "SJC";
         apt:icao "KSJC";
         apt:latitude "37-21-33N";
         apt:longitude "121-55-27W";
         apt:name "San Jose, San Jose International Airport, CA, United States";
         nav:airportName "SAN JOSE";
         t:iata "SJC" .
    
    <mci-sjc1.n3#_gairport15>     nav:airportName "LAS VEGAS" .
    
    <mci-sjc1.n3#_gairport8>     nav:airportName "KANSAS CITY INTL" .
    
    <mci-sjc1.n3#_gcompany6>     pa:company "SOUTHWEST AIRLINES" .
    
    <mci-sjc1.n3>     a ct:ItineraryDocument,
                nav:Itinerary;
         <http://purl.org/dc/elements/1.1/creator>  [
             pa:Main <tel:+1-617-451-4200> ];
         <http://purl.org/dc/elements/1.1/date> "2001-07-05";
         nav:air <mci-sjc1.n3#_g10>,
                <mci-sjc1.n3#_g4>,
                <mci-sjc1.n3#_g7>;
         nav:customerNumber "6160150001";
         nav:for <../../2000/10/swap/test/sameThing.n3#_g0>;
         nav:sixLetters "BVEJXM" .
    
    <poolGame.n3#EricDanBayArea>     a cg:Group,
                ct:TemporalThing,
                t:TemporallyContinuous;
         <poolGame.n3#__hasPlans> <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22>;
         cact:actors <poolGame.n3#_g3>;
         cact:eventOccursAt <poolGame.n3#_g3>;
         cg:groupCardinality <poolGame.n3#_g0>;
         cg:groupMembers <../../2000/10/swap/test/sameThing.n3#_g0>,
                <poolGame.n3#em>;
         cs:inRegion <poolGame.n3#_g3>;
         ct:temporalBoundsIntersect :_gs10,
                :_gs11,
                :_gs12,
                :_gs1,
                <poolGame.n3#EricDanBayArea>,
                <poolGame.n3#_g3>,
                <poolGame.n3#jul31>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22>;
         ct:temporallyIntersects :_gs10,
                :_gs11,
                :_gs12,
                :_gs1,
                <poolGame.n3#EricDanBayArea>,
                <poolGame.n3#_g3>,
                <poolGame.n3#jul31>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22>;
         ct:temporallySubsumes :_gs10,
                :_gs11,
                :_gs12,
                :_gs1,
                <poolGame.n3#EricDanBayArea>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22> .
    {
        <?d1>     a ct:CalendarDay;
             t:yyyy_mm_dd <poolGame.n3#_g13> .
        <?d2>     a ct:CalendarDay;
             t:yyyy_mm_dd <poolGame.n3#_g14> .
        <?d3>     a ct:CalendarDay;
             t:yyyy_mm_dd  [
                 log:greaterThan <poolGame.n3#_g13>;
                 log:lessThan <poolGame.n3#_g14> ] .
        <?grp>     a t:TemporallyContinuous;
             ct:temporallyIntersects <?d1>,
                    <?d2> .
        this     log:forSome <poolGame.n3#_g13>,
                    <poolGame.n3#_g14> .
        
        }     log:implies {<?grp>     ct:temporallyIntersects <?d3> .
        } .
    {
        <?e2>     ct:endingDate <?day>;
             ctrans:toLocation <?where2> .
        <?e>     cg:groupMembers <?who>;
             cs:inRegion <?where> .
        <?itin>     nav:air <?e2>;
             nav:for <?who> .
        <?where2>     cs:inRegion <?where> .
        
        }     log:implies {<?e>     ct:temporallySubsumes <?day> .
        } .
    {
        <?e2>     ct:startingDate <?day>;
             ctrans:fromLocation <?where2> .
        <?e>     cg:groupMembers <?who>;
             cs:inRegion <?where> .
        <?itin>     nav:air <?e2>;
             nav:for <?who> .
        <?where2>     cs:inRegion <?where> .
        
        }     log:implies {<?e>     ct:temporallySubsumes <?day> .
        } .
      [      cg:seriesLength <poolGame.n3#_g0>;
             ont:first <poolGame.n3#x>;
             ont:rest  [
                 ont:first <poolGame.n3#y>;
                 ont:rest ();
                 sl:member <poolGame.n3#y> ];
             sl:member <poolGame.n3#x>,
                    <poolGame.n3#y> ].
    {
        <?e>     cact:actors <?who> .
        <?grp>     cg:groupMembers <?who>;
             ct:temporallyIntersects <?e> .
        
        }     log:implies {<?grp>     <poolGame.n3#__hasPlans> <?e> .
        } .
    
    <poolGame.n3#_g3>     a <http://www.cyc.com/cyc-2-1/vocab/geography-vocab.html#State-UnitedStates>,
                ct:TemporalThing;
         ct:temporalBoundsIntersect <poolGame.n3#EricDanBayArea>;
         ct:temporallyIntersects <poolGame.n3#EricDanBayArea>;
         = <poolGame.n3#_g3>;
         t:stateAbbr "CA" .
    {
        <?doc>     nav:for <?who> .
        <?who>     pa:firstName "ERIC";
             pa:name "MILLER" .
        
        }     log:implies {<?who>     =  <poolGame.n3#em> .
        } .
    {
        <?doc>     nav:for <?who> .
        <?who>     pa:firstName "DANIEL";
             pa:name "CONNOLLY" .
        
        }     log:implies {<?who>     = <poolGame.n3#DanC> .
        } .
    {
        <?d1>     log:startsWith <?d2> .
        <?day>     t:yyyymmdd <?d2> .
        <?e>     ical:DTSTART  [
                 r:value <?d1> ] .
        
        }     log:implies {<?day>     ct:temporallySubsumes <?e> .
        } .
    
    <poolGame.n3#em>     a ctop:PartiallyTangible,
                <http://xmlns.com/foaf/0.1/Person>;
         = <poolGame.n3#em>;
         pa:firstName "ERIC";
         pa:name "MILLER";
         contact:mailbox <mailto:em@w3.org>;
         <http://xmlns.com/foaf/0.1/mbox> <mailto:em@w3.org>;
         <http://xmlns.com/foaf/0.1/name> "Eric Miller" .
    
    <poolGame.n3#jul31>     a ct:CalendarDay,
                ct:Date,
                ct:TemporalThing,
                ct:TimeInterval,
                t:TemporallyContinuous;
         ct:temporalBoundsIntersect :_gs10,
                :_gs11,
                :_gs12,
                :_gs1,
                <poolGame.n3#EricDanBayArea>,
                <poolGame.n3#jul31>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g19>;
         ct:temporallyIntersects :_gs10,
                :_gs11,
                :_gs12,
                :_gs1,
                <poolGame.n3#EricDanBayArea>,
                <poolGame.n3#jul31>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g19>;
         ct:temporallySubsumes <poolGame.n3#jul31>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g19>;
         = <poolGame.n3#jul31>;
         t:yyyy_mm_dd "2001-07-31";
         t:yyyymmdd "20010731" .
    
    <poolGame.n3>     <http://purl.org/dc/elements/1.1/description> """working toward a test query: when can EricM and DanC
get together for a game of pool?""" .
    
    <travel.n3#_g0>     a ctrans:AirportOrganization,
                apt:Airport;
         cs:inRegion <poolGame.n3#_g3>;
         = <travel.n3#_g0>;
         nav:airportName "SAN FRANCISCO";
         t:iata "SFO" .
    {
        t:p     ont_:reflexiveOver t:C .
        t:s     a t:C .
        
        }     log:implies {t:s     t:p t:s .
        } .
    {
        t:o     a t:C .
        t:p     ont_:symmetricOver t:C .
        t:s     a t:C;
             t:p t:o .
        
        }     log:implies {t:o     t:p t:s .
        } .
    {
        t:p     ont_:unambiguousOver t:C .
        t:s     t:p t:o .
        t:x     t:p t:o .
        
        }     log:implies {t:s     = t:x .
        } .
    {
        t:C     ont:oneOf  [
                 sl:member t:x ] .
        
        }     log:implies {t:x     a t:C .
        } .
    {
        t:t1     ct:startsDuring t:t2 .
        t:t2     a t:TemporallyContinuous .
        
        }     log:implies {t:t1     ct:temporallyIntersects t:t2 .
        } .
    {
        t:t1     ct:endsDuring t:t2 .
        t:t2     a t:TemporallyContinuous .
        
        }     log:implies {t:t1     ct:temporallyIntersects t:t2 .
        } .
    {
        <?e>     nav:AR  [
                 nav:place <?where> ] .
        
        }     log:implies {<?e>     ctrans:toLocation <?where> .
        } .
    {
        <?e>     nav:LV  [
                 nav:place <?where> ] .
        
        }     log:implies {<?e>     ctrans:fromLocation <?where> .
        } .
    {
        <?itin>     nav:air <?e>;
             nav:for <?who> .
        
        }     log:implies {<?e>     ctrans:transportees <?who> .
        } .
    {
        <?e>     nav:AR <?x>;
             nav:date <?yyyy_mm_dd> .
        
        }     log:implies {<?e>     ct:endingDate  [
                 a ct:CalendarDay;
                 t:yyyy_mm_dd <?yyyy_mm_dd> ] .
        } .
    {
        <?e>     nav:LV <?x>;
             nav:date <?yyyy_mm_dd> .
        
        }     log:implies {<?e>     ct:startingDate  [
                 a ct:CalendarDay;
                 t:yyyy_mm_dd <?yyyy_mm_dd> ] .
        } .
    {
        <?day>     a ct:CalendarDay;
             t:yyyymmdd <travel.n3#_g45> .
        <?e>     ical:DTSTART  [
                 r:value  [
                     log:startsWith <travel.n3#_g45> ] ] .
        this     log:forSome <travel.n3#_g45> .
        
        }     log:implies {<?e>     ct:startingDate <?day> .
        } .
    {
        <?day>     a ct:CalendarDay;
             t:yyyymmdd <travel.n3#_g50> .
        <?e>     ical:DTEND  [
                 r:value  [
                     log:startsWith <travel.n3#_g50> ] ] .
        this     log:forSome <travel.n3#_g50> .
        
        }     log:implies {<?e>     ct:endingDate <?day> .
        } .
    {
        t:s     ont:first t:o .
        
        }     log:implies {t:s     sl:member t:o .
        } .
    {
        <?where>     nav:airportName "SAN FRANCISCO" .
        
        }     log:implies {<?where>     t:iata "SFO" .
        } .
    {
        <?where>     nav:airportName "SAN JOSE" .
        
        }     log:implies {<?where>     t:iata "SJC" .
        } .
    {
        t:s     ont:rest  [
                 sl:member t:o ] .
        
        }     log:implies {t:s     sl:member t:o .
        } .
    {
        t:p     a ont:TransitiveProperty .
        t:s     t:p t:x .
        t:x     t:p t:o .
        
        }     log:implies {t:s     t:p t:o .
        } .
    
    <travel.n3>     <http://purl.org/dc/elements/1.1/description> """airport codes and such. @@see also: cyc transport vocabulary
http://www.cyc.com/cyc-2-1/vocab/transportation-vocab.html""";
         <http://purl.org/dc/elements/1.1/title> "A Travel Vocabulary" .
    
    ical:ATTENDEE     rdfs:subPropertyOf cact:actors .
    
    cact:eventOccursAt     rdfs:subPropertyOf cact:actors,
                cs:inRegion,
                ct:temporalBoundsIntersect,
                ct:temporallyIntersects .
    
    cg:groupMembers     cg:range ct:TemporalThing;
         rdfs:domain cg:Group .
    
    ct:CalendarDay     rdfs:subClassOf ct:Date,
                ct:TemporalThing,
                ct:TimeInterval,
                t:TemporallyContinuous .
    
    ct:Date     rdfs:subClassOf ct:TemporalThing,
                ct:TimeInterval,
                t:TemporallyContinuous .
    
    ct:DayOfWeekType     a rdfs:Class;
         ont:oneOf  [
             ont:first ct:Sunday;
             ont:rest  [
                 ont:first ct:Monday;
                 ont:rest  [
                     ont:first ct:Tuesday;
                     ont:rest  [
                         ont:first ct:Wednesday;
                         ont:rest  [
                             ont:first ct:Thursday;
                             ont:rest  [
                                 ont:first ct:Friday;
                                 ont:rest  [
                                     ont:first ct:Saturday;
                                     ont:rest ();
                                     sl:member ct:Saturday ];
                                 sl:member ct:Friday,
                                        ct:Saturday ];
                             sl:member ct:Thursday,
                                    ct:Friday,
                                    ct:Saturday ];
                         sl:member ct:Wednesday,
                                ct:Thursday,
                                ct:Friday,
                                ct:Saturday ];
                     sl:member ct:Tuesday,
                            ct:Wednesday,
                            ct:Thursday,
                            ct:Friday,
                            ct:Saturday ];
                 sl:member ct:Monday,
                        ct:Tuesday,
                        ct:Wednesday,
                        ct:Thursday,
                        ct:Friday,
                        ct:Saturday ];
             sl:member ct:Sunday,
                    ct:Monday,
                    ct:Tuesday,
                    ct:Wednesday,
                    ct:Thursday,
                    ct:Friday,
                    ct:Saturday ];
         rdfs:label "Day of Week" .
    
    ct:Friday     a ct:DayOfWeekType .
    
    ct:Monday     a ct:DayOfWeekType .
    
    ct:Saturday     a ct:DayOfWeekType .
    
    ct:Sunday     a ct:DayOfWeekType .
    
    ct:Thursday     a ct:DayOfWeekType .
    
    ct:TimeInterval     rdfs:subClassOf ct:TemporalThing,
                t:TemporallyContinuous .
    
    ct:Tuesday     a ct:DayOfWeekType .
    
    ct:Wednesday     a ct:DayOfWeekType .
    
    ct:endingDate     rdfs:subPropertyOf ct:endsDuring,
                ct:temporalBoundsIntersect .
    
    ct:endsDuring     rdfs:subPropertyOf ct:temporalBoundsIntersect .
    
    ct:startingDate     rdfs:subPropertyOf ct:startsDuring,
                ct:temporalBoundsIntersect .
    
    ct:startsDuring     rdfs:subPropertyOf ct:temporalBoundsIntersect .
    
    ct:temporalBoundsIntersect     ont_:symmetricOver ct:TemporalThing;
         rdfs:domain ct:TemporalThing;
         rdfs:range ct:TemporalThing .
    
    ct:temporallyIntersects     ont_:symmetricOver ct:TemporalThing;
         rdfs:domain ct:TemporalThing;
         rdfs:range ct:TemporalThing;
         rdfs:subPropertyOf ct:temporalBoundsIntersect .
    
    ct:temporallySubsumes     a ont:TransitiveProperty;
         ont_:symmetricOver ct:TemporalThing;
         rdfs:domain ct:TemporalThing;
         rdfs:range ct:TemporalThing;
         rdfs:subPropertyOf ct:temporalBoundsIntersect,
                ct:temporallyIntersects .
    
    ctrans:transportees     rdfs:domain ctrans:TransportationEvent;
         rdfs:range ctop:PartiallyTangible;
         rdfs:subPropertyOf cact:actors .
    
    <http://www.sjc.org/>     <http://purl.org/dc/elements/1.1/title> "San Jose International Airport" .
    
    contact:mailbox     a ont:UnambiguousProperty .
      [      nav:date "2001-08-02";
             nav:dayName "THURSDAY" ].
    
    <http://www.w3.org/2001/07/26-swcal/travel.n3#_g12>     a ct:TemporalThing,
                ctrans:TransportationEvent;
         cact:actors <poolGame.n3#em>;
         ct:endingDate :_gs11;
         ct:endsDuring :_gs11;
         ct:startingDate :_gs11;
         ct:startsDuring :_gs11;
         ct:temporalBoundsIntersect :_gs11;
         ct:temporallyIntersects :_gs11;
         ctrans:fromLocation <http://www.w3.org/2001/07/26-swcal/travel.n3#_gairport8>;
         ctrans:toLocation <http://www.w3.org/2001/07/26-swcal/travel.n3#_gairport10>;
         ctrans:transportees <poolGame.n3#em>;
         nav:AR  [
             nav:time "10:01";
             nav:place <http://www.w3.org/2001/07/26-swcal/travel.n3#_gairport10> ];
         nav:LV  [
             nav:time "09:00";
             nav:place <http://www.w3.org/2001/07/26-swcal/travel.n3#_gairport8> ];
         nav:carrier <http://www.w3.org/2001/07/26-swcal/travel.n3#_gcompany6>;
         nav:date "2001-07-29";
         nav:flightClassName "ECONOMY";
         nav:flightNum "1233" .
      [      nav:date "2001-07-29";
             nav:dayName "SUNDAY" ].
    
    <http://www.w3.org/2001/07/26-swcal/travel.n3#_g3>     a ct:TemporalThing,
                ctrans:TransportationEvent;
         cact:actors <poolGame.n3#em>;
         ct:endingDate :_gs11;
         ct:endsDuring :_gs11;
         ct:startingDate :_gs11;
         ct:startsDuring :_gs11;
         ct:temporalBoundsIntersect :_gs11;
         ct:temporallyIntersects :_gs11;
         ctrans:fromLocation <http://www.w3.org/2001/07/26-swcal/travel.n3#_gairport10>;
         ctrans:toLocation <travel.n3#_g0>;
         ctrans:transportees <poolGame.n3#em>;
         nav:AR  [
             nav:time "13:43";
             nav:place <travel.n3#_g0> ];
         nav:LV  [
             nav:time "11:45";
             nav:place <http://www.w3.org/2001/07/26-swcal/travel.n3#_gairport10> ];
         nav:carrier <http://www.w3.org/2001/07/26-swcal/travel.n3#_gcompany6>;
         nav:date "2001-07-29";
         nav:flightClassName "ECONOMY";
         nav:flightNum "353" .
    
    <http://www.w3.org/2001/07/26-swcal/travel.n3#_g6>     a ct:TemporalThing,
                ctrans:TransportationEvent;
         cact:actors <poolGame.n3#em>;
         ct:endingDate :_gs12;
         ct:endsDuring :_gs12;
         ct:startingDate :_gs12;
         ct:startsDuring :_gs12;
         ct:temporalBoundsIntersect :_gs12;
         ct:temporallyIntersects :_gs12;
         ctrans:fromLocation <travel.n3#_g0>;
         ctrans:toLocation <http://www.w3.org/2001/07/26-swcal/travel.n3#_gairport19>;
         ctrans:transportees <poolGame.n3#em>;
         nav:AR  [
             nav:time "05:42";
             nav:place <http://www.w3.org/2001/07/26-swcal/travel.n3#_gairport19> ];
         nav:LV  [
             nav:time "22:15";
             nav:place <travel.n3#_g0> ];
         nav:carrier <http://www.w3.org/2001/07/26-swcal/travel.n3#_gcompany6>;
         nav:date "2001-08-02";
         nav:flightClassName "ECONOMY";
         nav:flightNum "346" .
    
    <http://www.w3.org/2001/07/26-swcal/travel.n3#_g9>     a ct:TemporalThing,
                ctrans:TransportationEvent;
         cact:actors <poolGame.n3#em>;
         ct:endingDate :_gs12;
         ct:endsDuring :_gs12;
         ct:startingDate :_gs12;
         ct:startsDuring :_gs12;
         ct:temporalBoundsIntersect :_gs12;
         ct:temporallyIntersects :_gs12;
         ctrans:fromLocation <http://www.w3.org/2001/07/26-swcal/travel.n3#_gairport19>;
         ctrans:toLocation <http://www.w3.org/2001/07/26-swcal/travel.n3#_gairport8>;
         ctrans:transportees <poolGame.n3#em>;
         nav:AR  [
             nav:time "07:34";
             nav:place <http://www.w3.org/2001/07/26-swcal/travel.n3#_gairport8> ];
         nav:LV  [
             nav:time "06:40";
             nav:place <http://www.w3.org/2001/07/26-swcal/travel.n3#_gairport19> ];
         nav:carrier <http://www.w3.org/2001/07/26-swcal/travel.n3#_gcompany6>;
         nav:date "2001-08-02";
         nav:flightClassName "ECONOMY";
         nav:flightNum "3436" .
    
    <http://www.w3.org/2001/07/26-swcal/travel.n3#_gairport10>     nav:airportName "MINNEAPOLIS ST PL" .
    
    <http://www.w3.org/2001/07/26-swcal/travel.n3#_gairport19>     nav:airportName "DETROIT METRO" .
    
    <http://www.w3.org/2001/07/26-swcal/travel.n3#_gairport8>     nav:airportName "COLUMBUS OH" .
    
    <http://www.w3.org/2001/07/26-swcal/travel.n3#_gcompany6>     pa:company "NORTHWEST AIRLINES" .
    
    <http://www.w3.org/2001/07/26-swcal/travel.n3>     a ct:ItineraryDocument,
                nav:Itinerary;
         <http://purl.org/dc/elements/1.1/creator>  [
             pa:Main <tel:+1-617-451-4200> ];
         <http://purl.org/dc/elements/1.1/date> "2001-07-05";
         nav:air <http://www.w3.org/2001/07/26-swcal/travel.n3#_g12>,
                <http://www.w3.org/2001/07/26-swcal/travel.n3#_g3>,
                <http://www.w3.org/2001/07/26-swcal/travel.n3#_g6>,
                <http://www.w3.org/2001/07/26-swcal/travel.n3#_g9>;
         nav:customerNumber "6160150001";
         nav:for <poolGame.n3#em>;
         nav:sixLetters "BVEJXM" .
    
    <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#PT>     a ical:VTIMEZONE;
         ical:DAYLIGHT  [
             a ical:VTIMEZONE-PART;
             ical:DTSTART  [
                 a ical:DATE-TIME;
                 r:value "20010401T100000Z" ];
             ical:TZOFFSETFROM  [
                 a ical:INTEGER;
                 r:value "+0800" ];
             ical:TZOFFSETTO  [
                 a ical:INTEGER;
                 r:value "+0700" ];
             ical:NAME  [
                 a ical:TEXT;
                 r:value "PDT" ] ];
         ical:STANDARD  [
             a ical:VTIMEZONE-PART;
             ical:DTSTART  [
                 a ical:DATE-TIME;
                 r:value "20010281T090000Z" ];
             ical:TZOFFSETFROM  [
                 a ical:INTEGER;
                 r:value "-0700" ];
             ical:TZOFFSETTO  [
                 a ical:INTEGER;
                 r:value "-0800" ];
             ical:NAME  [
                 a ical:TEXT;
                 r:value "PST" ] ] .
    
    <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>     a ical:VEVENT,
                ct:TemporalThing;
         ical:ATTENDEE <poolGame.n3#em>;
         ical:DESCRIPTION """
          Give presentation on W3C Semantic Web Activity at Semantic Web Workshop in Stanford 
	""";
         ical:DTEND  [
             a ical:DATE-TIME;
             ical:TZID <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#PDT>;
             r:value "20010730T103000";
             util:hour "10";
             util:minute "30" ];
         ical:DTSTART  [
             a ical:DATE-TIME;
             ical:TZID <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#PDT>;
             r:value "20010730T090000";
             util:hour "9";
             util:minute "00" ];
         cact:actors <poolGame.n3#em>;
         ct:endingDate :_gs10;
         ct:endsDuring :_gs10;
         ct:startingDate :_gs10;
         ct:startsDuring :_gs10;
         ct:temporalBoundsIntersect :_gs10,
                :_gs11,
                :_gs12,
                :_gs1,
                <poolGame.n3#EricDanBayArea>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22>;
         ct:temporallyIntersects :_gs10,
                :_gs11,
                :_gs12,
                :_gs1,
                <poolGame.n3#EricDanBayArea>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22>;
         ct:temporallySubsumes :_gs10,
                :_gs11,
                :_gs12,
                :_gs1,
                <poolGame.n3#EricDanBayArea>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22> .
    
    <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13>     a ical:VEVENT,
                ct:TemporalThing;
         ical:ATTENDEE <poolGame.n3#em>;
         ical:DESCRIPTION """
          W3C RDF Core Face-to-face (Day 2) at O'Reilly
	""";
         ical:DTEND  [
             a ical:DATE-TIME;
             ical:TZID <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#PDT>;
             r:value "20010802T17000";
             util:hour "17";
             util:minute "00" ];
         ical:DTSTART  [
             a ical:DATE-TIME;
             ical:TZID <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#PDT>;
             r:value "20010802T090000";
             util:hour "9";
             util:minute "00" ];
         cact:actors <poolGame.n3#em>;
         ct:endingDate :_gs12;
         ct:endsDuring :_gs12;
         ct:startingDate :_gs12;
         ct:startsDuring :_gs12;
         ct:temporalBoundsIntersect :_gs10,
                :_gs11,
                :_gs12,
                :_gs1,
                <poolGame.n3#EricDanBayArea>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22>;
         ct:temporallyIntersects :_gs10,
                :_gs11,
                :_gs12,
                :_gs1,
                <poolGame.n3#EricDanBayArea>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22>;
         ct:temporallySubsumes :_gs10,
                :_gs11,
                :_gs12,
                :_gs1,
                <poolGame.n3#EricDanBayArea>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22> .
    
    <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16>     a ical:VEVENT,
                ct:TemporalThing;
         ical:ATTENDEE <poolGame.n3#em>;
         ical:DESCRIPTION """
          Semantic Web Education and Outreach Dinner
	""";
         ical:DTEND  [
             a ical:DATE-TIME;
             ical:TZID <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#PDT>;
             r:value "20010730T21000";
             util:hour "21";
             util:minute "00" ];
         ical:DTSTART  [
             a ical:DATE-TIME;
             ical:TZID <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#PDT>;
             r:value "20010730T190000";
             util:hour "17";
             util:minute "00" ];
         cact:actors <poolGame.n3#em>;
         ct:endingDate :_gs10;
         ct:endsDuring :_gs10;
         ct:startingDate :_gs10;
         ct:startsDuring :_gs10;
         ct:temporalBoundsIntersect :_gs10,
                :_gs11,
                :_gs12,
                :_gs1,
                <poolGame.n3#EricDanBayArea>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22>;
         ct:temporallyIntersects :_gs10,
                :_gs11,
                :_gs12,
                :_gs1,
                <poolGame.n3#EricDanBayArea>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22>;
         ct:temporallySubsumes :_gs10,
                :_gs11,
                :_gs12,
                :_gs1,
                <poolGame.n3#EricDanBayArea>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22> .
    
    <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g19>     a ical:VEVENT,
                ct:TemporalThing;
         ical:ATTENDEE <poolGame.n3#em>;
         ical:DESCRIPTION """
          Breakfast with RDF Core Chairs
	""";
         ical:DTEND  [
             a ical:DATE-TIME;
             ical:TZID <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#PDT>;
             r:value "20010731T08000";
             util:hour "8";
             util:minute "00" ];
         ical:DTSTART  [
             a ical:DATE-TIME;
             ical:TZID <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#PDT>;
             r:value "20010731T070000";
             util:hour "7";
             util:minute "00" ];
         cact:actors <poolGame.n3#em>;
         ct:endingDate <poolGame.n3#jul31>;
         ct:endsDuring <poolGame.n3#jul31>;
         ct:startingDate <poolGame.n3#jul31>;
         ct:startsDuring <poolGame.n3#jul31>;
         ct:temporalBoundsIntersect <poolGame.n3#jul31>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g19>;
         ct:temporallyIntersects <poolGame.n3#jul31>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g19>;
         ct:temporallySubsumes <poolGame.n3#jul31>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g19> .
    
    <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22>     a ical:VEVENT,
                ct:TemporalThing;
         ical:ATTENDEE <poolGame.n3#em>;
         ical:DESCRIPTION """
          W3C RDF Core Face-to-face (Day 1) at O'Reilly
	""";
         ical:DTEND  [
             a ical:DATE-TIME;
             ical:TZID <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#PDT>;
             r:value "20010801T17000";
             util:hour "17";
             util:minute "00" ];
         ical:DTSTART  [
             a ical:DATE-TIME;
             ical:TZID <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#PDT>;
             r:value "20010801T090000";
             util:hour "9";
             util:minute "00" ];
         cact:actors <poolGame.n3#em>;
         ct:endingDate :_gs1;
         ct:endsDuring :_gs1;
         ct:startingDate :_gs1;
         ct:startsDuring :_gs1;
         ct:temporalBoundsIntersect :_gs10,
                :_gs11,
                :_gs12,
                :_gs1,
                <poolGame.n3#EricDanBayArea>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22>;
         ct:temporallyIntersects :_gs10,
                :_gs11,
                :_gs12,
                :_gs1,
                <poolGame.n3#EricDanBayArea>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22>;
         ct:temporallySubsumes :_gs10,
                :_gs11,
                :_gs12,
                :_gs1,
                <poolGame.n3#EricDanBayArea>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22> .
    
    <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3>     a ical:VCALENDAR;
         ical:VEVENT-PROP <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g19>,
                <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22>;
         ical:VTIMEZONE-PROP <http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#PT>;
         <http://purl.org/dc/elements/1.1/creator> <poolGame.n3#em>;
         <http://purl.org/dc/elements/1.1/date> "2001-07-17";
         <http://purl.org/dc/elements/1.1/description> "Eric's travel plans" .
    
    nav:Itinerary     rdfs:subClassOf ct:ItineraryDocument .
    
    t:iata     a ont:UnambiguousProperty,
                r:Property;
         rdfs:domain ctrans:AirportOrganization,
                apt:Airport;
         rdfs:isDefinedBy <http://www.iata.org/codes/>;
         rdfs:label "iata code";
         rdfs:seeAlso <http://www.faa.gov/aircodeinfo.htm>,
                <http://www.primenet.com/~rfwatts/uteworld/airports.txt>,
                <http://www.w3.org/2001/06/airports.rdf> .
    
    t:stateAbbr     a ont:UnambiguousProperty;
         rdfs:domain <http://www.cyc.com/cyc-2-1/vocab/geography-vocab.html#State-UnitedStates>;
         rdfs:isDefinedBy <http://www.usps.gov/ncsc/lookups/abbr_state.txt> .
    
    t:yyyy_mm_dd     ont_:unambiguousOver ct:CalendarDay;
         rdfs:comment "travel date. @@more explanation..." .
    
    <http://xmlns.com/foaf/0.1/mbox>     rdfs:subPropertyOf contact:mailbox .
    
#ENDS