@prefix : <bud-aa#>.
     @prefix k: <http://opencyc.sourceforge.net/daml/cyc.daml#> .
     @prefix t: <http://www.w3.org/2000/10/swap/pim/travelTerms#> .
     @prefix iata: <http://www.daml.org/cgi-bin/airport?>.
     @prefix dt: <http://www.w3.org/2001/XMLSchema#> .

<> a k:ItineraryDocument;
  k:containsInformationAbout-Focally :thisTrip.

:thisTrip
  k:passengers <http://www.w3.org/People/Connolly/home-smart#me>;
  k:subEvents
  [ t:carrier :AA;
    t:flightNumber "1056";
    k:startingDate :_16MAY;
    k:fromLocation iata:MCI;
    k:toLocation iata:ORD;
    t:departureTime "11:18";
    t:arrivalTime "1244";
    k:endingDate :_16MAY
  ],

  [ t:carrier :AA; t:flightNumber "6201"; k:startingDate :_16MAY; k:fromLocation iata:ORD; k:toLocation iata:ZRH; t:departureTime "16:25"; t:arrivalTime "07:55"; k:endingDate :_17MAY],
[ t:carrier :AA; t:flightNumber "6328"; k:startingDate :_17MAY; k:fromLocation iata:ZRH; k:toLocation iata:BUD; t:departureTime "10:15"; t:arrivalTime "11:50"; k:endingDate :_17MAY ],

[ t:carrier :AA; t:flightNumber "6337"; k:startingDate :_25MAY; k:fromLocation iata:BUD; k:toLocation iata:ZRH; t:departureTime "12:35"; t:arrivalTime "14:20"; k:endingDate :_25MAY],

[ t:carrier :AA; t:flightNumber "6200"; k:startingDate :_26MAY; k:fromLocation iata:ZRH; k:toLocation iata:ORD; t:departureTime "10:10"; t:arrivalTime "12:50"; k:endingDate :_26MAY],
[ t:carrier :AA; t:flightNumber "1319"; k:startingDate :_26MAY; k:fromLocation iata:ORD; k:toLocation iata:MCI; t:departureTime "14:59"; t:arrivalTime "16:30"; k:endingDate :_26MAY].


@prefix apt: <http://www.daml.org/2001/10/html/airport-ont#>.
{ ?WHERE a k:Airport-Physical; apt:name ?TXT } => { ?WHERE k:nameString ?TXT }.

:AA   a k:AirlineCompany;
         k:nameOfAgent "AMERICAN AIRLINES" .

#@@ make 2002/12/cal/weekDayRules.n3 ?
:_16MAY a k:Friday; dt:date "2003-05-16".
:_17MAY a k:Saturday; dt:date "2003-05-17".
:_25MAY a k:Sunday; dt:date "2003-05-25".
:_26MAY a k:Monday; dt:date "2003-05-26".
#@@ facts in 2002/12/cal/weekDayFacts.rdf?
k:Sunday a k:DayOfWeekType; k:nameString "Sunday".
k:Monday a k:DayOfWeekType;  k:nameString "Monday".
k:Friday a k:DayOfWeekType;  k:nameString "Friday".
k:Saturday a k:DayOfWeekType;  k:nameString "Saturday".