By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 03:48:08
I know from locally stored knowledge that:
Ronald Reagan Washington National Airport
is an airport for
Washington, D.C.
([fact: ["137488799@trueknowledge.com"]])
Fact 1:
Air Canada Jazz
is an airline serving the airport
Ronald Reagan Washington National Airport
([fact: ["799127168@trueknowledge.com"]])
Fact 1
is true for
May 4th 2010, 16:55:00 onwards
([fact: ["799127172@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Air Canada Jazz
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 4th 2010, 16:55:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2
is true for
May 4th 2010, 16:54:38 onwards
I know from locally stored knowledge that:
Baltimore-Washington International Thurgood Marshall Airport
is an airport for
Washington, D.C.
([fact: ["236391171@trueknowledge.com"]])
Fact 3:
Air Canada Jazz
is an airline serving the airport
Baltimore-Washington International Thurgood Marshall Airport
([fact: ["799126360@trueknowledge.com"]])
Fact 3
is true for
May 4th 2010, 16:54:38 onwards
([fact: ["799126364@trueknowledge.com"]])
Fact 4:
Air Wisconsin
is an airline serving the airport
Ronald Reagan Washington National Airport
([fact: ["799141000@trueknowledge.com"]])
Fact 4
is true for
May 4th 2010, 17:01:39 onwards
([fact: ["799141004@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Air Wisconsin
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 4th 2010, 17:01:39 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2
is true for
May 4th 2010, 17:01:18 onwards
I know from locally stored knowledge that:
Fact 6:
Air Wisconsin
is an airline serving the airport
Baltimore-Washington International Thurgood Marshall Airport
([fact: ["799140164@trueknowledge.com"]])
Fact 6
is true for
May 4th 2010, 17:01:18 onwards
([fact: ["799140168@trueknowledge.com"]])
Fact 7:
AirTran Airways
is an airline serving the airport
Ronald Reagan Washington National Airport
([fact: ["799143368@trueknowledge.com"]])
Fact 7
is true for
May 4th 2010, 17:02:49 onwards
([fact: ["799143392@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
AirTran Airways
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 4th 2010, 17:02:49 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
I know from locally stored knowledge that:
Fact 9:
Alaska Airlines
is an airline serving the airport
Ronald Reagan Washington National Airport
([fact: ["799144248@trueknowledge.com"]])
Fact 9
is true for
May 4th 2010, 17:03:20 onwards
([fact: ["799144256@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Alaska Airlines
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 4th 2010, 17:03:20 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
I know from locally stored knowledge that:
Fact 11:
American Airlines, Inc.
is an airline serving the airport
Ronald Reagan Washington National Airport
([fact: ["799149060@trueknowledge.com"]])
Fact 11
is true for
May 4th 2010, 17:06:24 onwards
([fact: ["799149072@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
American Airlines, Inc.
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 4th 2010, 17:06:24 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2
is true for
May 4th 2010, 17:05:42 onwards
I know from locally stored knowledge that:
Fact 13:
American Airlines, Inc.
is an airline serving the airport
Baltimore-Washington International Thurgood Marshall Airport
([fact: ["367406375@trueknowledge.com"]])
Fact 13
is true for
May 4th 2010, 17:05:42 onwards
([fact: ["799148076@trueknowledge.com"]])
Fact 14:
American Eagle Airlines
is an airline serving the airport
Ronald Reagan Washington National Airport
([fact: ["799150980@trueknowledge.com"]])
Fact 14
is true for
May 4th 2010, 17:07:24 onwards
([fact: ["799150988@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
American Eagle Airlines
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 4th 2010, 17:07:24 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2
is true for
May 4th 2010, 17:07:33 onwards
I know from locally stored knowledge that:
Washington Dulles International Airport
is an airport for
Washington, D.C.
([fact: ["242169119@trueknowledge.com"]])
Fact 16:
American Eagle Airlines
is an airline serving the airport
Washington Dulles International Airport
([fact: ["799151312@trueknowledge.com"]])
Fact 16
is true for
May 4th 2010, 17:07:33 onwards
([fact: ["799151316@trueknowledge.com"]])
Fact 17:
Continental Airlines
is an airline serving the airport
Ronald Reagan Washington National Airport
([fact: ["800018932@trueknowledge.com"]])
Fact 17
is true for
May 5th 2010, 08:14:17 onwards
([fact: ["800018948@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Continental Airlines
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 5th 2010, 08:14:17 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2
is true for
May 5th 2010, 08:13:36 onwards
I know from locally stored knowledge that:
Fact 19:
Continental Airlines
is an airline serving the airport
Baltimore-Washington International Thurgood Marshall Airport
([fact: ["800018256@trueknowledge.com"]])
Fact 19
is true for
May 5th 2010, 08:13:36 onwards
([fact: ["800018260@trueknowledge.com"]])
Fact 20:
Continental Express
is an airline serving the airport
Ronald Reagan Washington National Airport
([fact: ["800020016@trueknowledge.com"]])
Fact 20
is true for
May 5th 2010, 08:15:22 onwards
([fact: ["800020032@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Continental Express
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 5th 2010, 08:15:22 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2
is true for
May 5th 2010, 08:14:32 onwards
I know from locally stored knowledge that:
Fact 22:
Continental Express
is an airline serving the airport
Baltimore-Washington International Thurgood Marshall Airport
([fact: ["800019152@trueknowledge.com"]])
Fact 22
is true for
May 5th 2010, 08:14:32 onwards
([fact: ["800019160@trueknowledge.com"]])
Fact 23:
Delta Airlines
is an airline serving the airport
Ronald Reagan Washington National Airport
([fact: ["800023048@trueknowledge.com"]])
Fact 23
is true for
May 5th 2010, 09:40:58 onwards
([fact: ["800023052@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Delta Airlines
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 5th 2010, 09:40:58 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2
is true for
May 5th 2010, 09:39:43 onwards
I know from locally stored knowledge that:
Fact 25:
Delta Airlines
is an airline serving the airport
Baltimore-Washington International Thurgood Marshall Airport
([fact: ["367410159@trueknowledge.com"]])
Fact 25
is true for
May 5th 2010, 09:39:43 onwards
([fact: ["800022156@trueknowledge.com"]])
Fact 26:
Delta Connection
is an airline serving the airport
Ronald Reagan Washington National Airport
([fact: ["800024576@trueknowledge.com"]])
Fact 26
is true for
May 5th 2010, 09:42:29 onwards
([fact: ["800024580@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Delta Connection
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 5th 2010, 09:42:29 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2
is true for
May 5th 2010, 09:41:21 onwards
I know from locally stored knowledge that:
Fact 28:
Delta Connection
is an airline serving the airport
Baltimore-Washington International Thurgood Marshall Airport
([fact: ["800023344@trueknowledge.com"]])
Fact 28
is true for
May 5th 2010, 09:41:21 onwards
([fact: ["800023348@trueknowledge.com"]])
Fact 29:
Frontier Airlines
is an airline serving the airport
Ronald Reagan Washington National Airport
([fact: ["800032560@trueknowledge.com"]])
Fact 29
is true for
May 5th 2010, 09:50:07 onwards
([fact: ["800032564@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Frontier Airlines
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 5th 2010, 09:50:07 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
I know from locally stored knowledge that:
Fact 31:
Midwest Airlines
is an airline serving the airport
Ronald Reagan Washington National Airport
([fact: ["800055344@trueknowledge.com"]])
Fact 31
is true for
May 5th 2010, 10:19:11 onwards
([fact: ["800055348@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Midwest Airlines
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 5th 2010, 10:19:11 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
I know from locally stored knowledge that:
Fact 33:
Spirit Airlines
is an airline serving the airport
Ronald Reagan Washington National Airport
([fact: ["800072748@trueknowledge.com"]])
Fact 33
is true for
May 5th 2010, 10:39:25 onwards
([fact: ["800072752@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Spirit Airlines
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 5th 2010, 10:39:25 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
I know from locally stored knowledge that:
Fact 35:
Trans World Airlines
is an airline serving the airport
Ronald Reagan Washington National Airport
([fact: ["800161700@trueknowledge.com"]])
Fact 35
is true for
May 5th 2010, 16:54:36 onwards
([fact: ["800161704@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Trans World Airlines
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 5th 2010, 16:54:36 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2
is true for
May 5th 2010, 16:53:43 onwards
I know from locally stored knowledge that:
Fact 37:
Trans World Airlines
is an airline serving the airport
Baltimore-Washington International Thurgood Marshall Airport
([fact: ["800160356@trueknowledge.com"]])
Fact 37
is true for
May 5th 2010, 16:53:43 onwards
([fact: ["800160360@trueknowledge.com"]])
Fact 38:
British Airways
is an airline serving the airport
Baltimore-Washington International Thurgood Marshall Airport
([fact: ["367401099@trueknowledge.com"]])
Fact 38
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367401103@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
British Airways
is an airline serving the place
Washington, D.C.
Fact 2
is true for
June 13th 2009, 00:00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
I know from locally stored knowledge that:
Fact 40:
Air France
is an airline serving the airport
Washington Dulles International Airport
([fact: ["367402475@trueknowledge.com"]])
Fact 40
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367402479@trueknowledge.com"]])
Fact 40
is true for
May 4th 2010, 16:57:16 onwards
([fact: ["799131728@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Air France
is an airline serving the place
Washington, D.C.
Fact 2
is true for
June 13th 2009, 00:00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2
is true for
May 4th 2010, 16:57:16 onwards
I know from locally stored knowledge that:
Fact 42:
Lufthansa
is an airline serving the airport
Washington Dulles International Airport
([fact: ["367404043@trueknowledge.com"]])
Fact 42
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367404047@trueknowledge.com"]])
Fact 42
is true for
May 5th 2010, 10:15:28 onwards
([fact: ["800052096@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Lufthansa
is an airline serving the place
Washington, D.C.
Fact 2
is true for
June 13th 2009, 00:00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2
is true for
May 5th 2010, 10:15:28 onwards
I know from locally stored knowledge that:
Fact 44:
KLM
is an airline serving the airport
Washington Dulles International Airport
([fact: ["367409091@trueknowledge.com"]])
Fact 44
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367409095@trueknowledge.com"]])
Fact 44
is true for
May 5th 2010, 10:06:02 onwards
([fact: ["800045276@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
KLM
is an airline serving the place
Washington, D.C.
Fact 2
is true for
June 13th 2009, 00:00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2
is true for
May 5th 2010, 10:06:02 onwards
I know from locally stored knowledge that:
Fact 46:
Aer Lingus
is an airline serving the airport
Washington Dulles International Airport
([fact: ["790580776@trueknowledge.com"]])
Fact 46
is true for
May 4th 2010, 16:50:13 onwards
([fact: ["799119792@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Aer Lingus
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 4th 2010, 16:50:13 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
I know from locally stored knowledge that:
Fact 48:
Aeroflot
is an airline serving the airport
Washington Dulles International Airport
([fact: ["790584260@trueknowledge.com"]])
Fact 48
is true for
May 4th 2010, 16:51:04 onwards
([fact: ["799120960@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Aeroflot
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 4th 2010, 16:51:04 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
I know from locally stored knowledge that:
Fact 50:
Aerosur
is an airline serving the airport
Washington Dulles International Airport
([fact: ["799122476@trueknowledge.com"]])
Fact 50
is true for
May 4th 2010, 16:52:13 onwards
([fact: ["799122500@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Aerosur
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 4th 2010, 16:52:13 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
I know from locally stored knowledge that:
Fact 52:
Air India
is an airline serving the airport
Washington Dulles International Airport
([fact: ["799132580@trueknowledge.com"]])
Fact 52
is true for
May 4th 2010, 16:57:42 onwards
([fact: ["799132584@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Air India
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 4th 2010, 16:57:42 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
I know from locally stored knowledge that:
Fact 54:
All Nippon Airways
is an airline serving the airport
Washington Dulles International Airport
([fact: ["799146744@trueknowledge.com"]])
Fact 54
is true for
May 4th 2010, 17:04:34 onwards
([fact: ["799146748@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
All Nippon Airways
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 4th 2010, 17:04:34 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
I know from locally stored knowledge that:
Fact 56:
Austrian Airlines Group
is an airline serving the airport
Washington Dulles International Airport
([fact: ["799156124@trueknowledge.com"]])
Fact 56
is true for
May 4th 2010, 17:10:29 onwards
([fact: ["799156128@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Austrian Airlines Group
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 4th 2010, 17:10:29 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
I know from locally stored knowledge that:
Fact 58:
Avianca
is an airline serving the airport
Washington Dulles International Airport
([fact: ["799157152@trueknowledge.com"]])
Fact 58
is true for
May 4th 2010, 17:11:00 onwards
([fact: ["799157160@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Avianca
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 4th 2010, 17:11:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
I know from locally stored knowledge that:
Fact 60:
Copa Airlines
is an airline serving the airport
Washington Dulles International Airport
([fact: ["800020732@trueknowledge.com"]])
Fact 60
is true for
May 5th 2010, 08:15:52 onwards
([fact: ["800020736@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Copa Airlines
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 5th 2010, 08:15:52 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
I know from locally stored knowledge that:
Fact 62:
Ethiopian Airlines
is an airline serving the airport
Washington Dulles International Airport
([fact: ["800030160@trueknowledge.com"]])
Fact 62
is true for
May 5th 2010, 09:47:55 onwards
([fact: ["800030164@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Ethiopian Airlines
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 5th 2010, 09:47:55 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
I know from locally stored knowledge that:
Fact 64:
Iberia
is an airline serving the airport
Washington Dulles International Airport
([fact: ["800037128@trueknowledge.com"]])
Fact 64
is true for
May 5th 2010, 09:54:27 onwards
([fact: ["800037132@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Iberia
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 5th 2010, 09:54:27 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
I know from locally stored knowledge that:
Fact 66:
Korean Air
is an airline serving the airport
Washington Dulles International Airport
([fact: ["800047148@trueknowledge.com"]])
Fact 66
is true for
May 5th 2010, 10:07:52 onwards
([fact: ["800047152@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Korean Air
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 5th 2010, 10:07:52 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
I know from locally stored knowledge that:
Fact 68:
Lloyd Aereo Boliviano
is an airline serving the airport
Washington Dulles International Airport
([fact: ["800050436@trueknowledge.com"]])
Fact 68
is true for
May 5th 2010, 10:13:04 onwards
([fact: ["800050440@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Lloyd Aereo Boliviano
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 5th 2010, 10:13:04 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
I know from locally stored knowledge that:
Fact 70:
Mexicana de Aviación
is an airline serving the airport
Washington Dulles International Airport
([fact: ["800054540@trueknowledge.com"]])
Fact 70
is true for
May 5th 2010, 10:18:13 onwards
([fact: ["800054552@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Mexicana de Aviación
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 5th 2010, 10:18:13 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
I know from locally stored knowledge that:
Fact 72:
Qatar Airways
is an airline serving the airport
Washington Dulles International Airport
([fact: ["800060892@trueknowledge.com"]])
Fact 72
is true for
May 5th 2010, 10:26:42 onwards
([fact: ["800060896@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Qatar Airways
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 5th 2010, 10:26:42 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
I know from locally stored knowledge that:
Fact 74:
SAS Group
is an airline serving the airport
Washington Dulles International Airport
([fact: ["800066468@trueknowledge.com"]])
Fact 74
is true for
May 5th 2010, 10:32:34 onwards
([fact: ["800066472@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
SAS Group
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 5th 2010, 10:32:34 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
I know from locally stored knowledge that:
Fact 76:
Saudi Arabian Airlines
is an airline serving the airport
Washington Dulles International Airport
([fact: ["800067820@trueknowledge.com"]])
Fact 76
is true for
May 5th 2010, 10:33:54 onwards
([fact: ["800067824@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Saudi Arabian Airlines
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 5th 2010, 10:33:54 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
I know from locally stored knowledge that:
Fact 78:
Scandinavian Airlines System
is an airline serving the airport
Washington Dulles International Airport
([fact: ["800068500@trueknowledge.com"]])
Fact 78
is true for
May 5th 2010, 10:34:35 onwards
([fact: ["800068504@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Scandinavian Airlines System
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 5th 2010, 10:34:35 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
I know from locally stored knowledge that:
Fact 80:
South African Airways
is an airline serving the airport
Washington Dulles International Airport
([fact: ["800071592@trueknowledge.com"]])
Fact 80
is true for
May 5th 2010, 10:37:55 onwards
([fact: ["800071596@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
South African Airways
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 5th 2010, 10:37:55 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
I know from locally stored knowledge that:
Fact 82:
Grupo TACA
is an airline serving the airport
Washington Dulles International Airport
([fact: ["800158508@trueknowledge.com"]])
Fact 82
is true for
May 5th 2010, 16:52:24 onwards
([fact: ["800158512@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Grupo TACA
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 5th 2010, 16:52:24 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
I know from locally stored knowledge that:
Fact 84:
United Airlines
is an airline serving the airport
Baltimore-Washington International Thurgood Marshall Airport
([fact: ["367407295@trueknowledge.com"]])
Fact 84
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367407299@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
United Airlines
is an airline serving the place
Washington, D.C.
Fact 2
is true for
June 13th 2009, 00:00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
I know from locally stored knowledge that:
Fact 86:
Northwest Airlines
is an airline serving the airport
Baltimore-Washington International Thurgood Marshall Airport
([fact: ["367411631@trueknowledge.com"]])
Fact 86
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367411635@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Northwest Airlines
is an airline serving the place
Washington, D.C.
Fact 2
is true for
June 13th 2009, 00:00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
I know from locally stored knowledge that:
Fact 88:
Southwest Airlines, Inc.
is an airline serving the airport
Washington Dulles International Airport
([fact: ["800072164@trueknowledge.com"]])
Fact 88
is true for
May 5th 2010, 10:38:48 onwards
([fact: ["800072168@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Southwest Airlines, Inc.
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 5th 2010, 10:38:48 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2
is true for
May 5th 2010, 10:38:16 onwards
I know from locally stored knowledge that:
Fact 90:
Southwest Airlines, Inc.
is an airline serving the airport
Baltimore-Washington International Thurgood Marshall Airport
([fact: ["367412335@trueknowledge.com"]])
Fact 90
is true for
May 5th 2010, 10:38:16 onwards
([fact: ["800071912@trueknowledge.com"]])
Fact 91:
Air Jamaica
is an airline serving the airport
Baltimore-Washington International Thurgood Marshall Airport
([fact: ["799133296@trueknowledge.com"]])
Fact 91
is true for
May 4th 2010, 16:58:03 onwards
([fact: ["799133304@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Air Jamaica
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 4th 2010, 16:58:03 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
I know from locally stored knowledge that:
is an airport for
is a more general form of
is the most important airport serving
([fact: ["1493268602@trueknowledge.com"]])
permanent
applies to
is an airport for
([fact: ["127368729@trueknowledge.com"]])
Washington, D.C.
is a
settlement
([fact: ["7620260@trueknowledge.com"]])
38°53'042.4"N
is the latitude of
Washington, D.C.
([fact: ["677430876@trueknowledge.com"]])
77°02'12"W
is the longitude of
Washington, D.C.
([fact: ["359421727@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
38°53'042.4"N and 77°02'12"W
is strictly equal to
38°53'042.4"N and 77°02'12"W
By calculation (generator: ["lat_long_to_c-square@trueknowledge.com"]) I know that:
[c-square: ["7307:487:380:393:456:216:216:217"]]
is the c-square version of the co-ordinates
38°53'042.4"N and 77°02'12"W
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
100 kilometres
is strictly equal to
100 kilometres
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
[c-square: ["7307:487:380:393:456:216:216:217"]]
is the first parameter of
[c-square: ["7307:487:380:393:456:216:216:217"]] and 100 kilometres
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
100 kilometres
is the second parameter of
[c-square: ["7307:487:380:393:456:216:216:217"]] and 100 kilometres
kilometre
is the second parameter of
100 kilometres
I know from locally stored knowledge that:
Fact 93:
1
is the multiplier that converts
kilometre and kilometre
([fact: ["684486512@trueknowledge.com"]])
Fact 93
is true for
all time
([fact: ["689997328@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 93
is true at
February 14th 2012, 03:48:08
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
100
is the first parameter of
100 kilometres
By calculation (generator: ["product@trueknowledge.com"]) I know that:
100
is the product of
1 and 100
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
length
is the class of the parametered object
100 kilometres
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
100 kilometres
is the parametered object corresponding to
length and 100 and kilometre
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 94:
100 kilometres
is equivalent to
100 kilometres
Fact 94
is true at
February 14th 2012, 03:48:08
Fact 94:
kilometre
is the unit used in
100 kilometres
By calculation (generator: ["covering_a_disc_with_c-squares@trueknowledge.com"]) I know that:
[c-square: ["7307:486"]]
is a c-square to test for the point and distance
[c-square: ["7307:487:380:393:456:216:216:217"]] and 100 kilometres
[c-square: ["7307:487"]]
is a c-square to test for the point and distance
[c-square: ["7307:487:380:393:456:216:216:217"]] and 100 kilometres
[c-square: ["7307:496"]]
is a c-square to test for the point and distance
[c-square: ["7307:487:380:393:456:216:216:217"]] and 100 kilometres
[c-square: ["7307:497"]]
is a c-square to test for the point and distance
[c-square: ["7307:487:380:393:456:216:216:217"]] and 100 kilometres
[c-square: ["7307:485:4"]]
is a c-square to test for the point and distance
[c-square: ["7307:487:380:393:456:216:216:217"]] and 100 kilometres
[c-square: ["7307:488:3"]]
is a c-square to test for the point and distance
[c-square: ["7307:487:380:393:456:216:216:217"]] and 100 kilometres
[c-square: ["7307:495:2"]]
is a c-square to test for the point and distance
[c-square: ["7307:487:380:393:456:216:216:217"]] and 100 kilometres
[c-square: ["7307:498:1"]]
is a c-square to test for the point and distance
[c-square: ["7307:487:380:393:456:216:216:217"]] and 100 kilometres
[c-square: ["7307:476:4"]]
is a c-square to test for the point and distance
[c-square: ["7307:487:380:393:456:216:216:217"]] and 100 kilometres
[c-square: ["7307:477:3"]]
is a c-square to test for the point and distance
[c-square: ["7307:487:380:393:456:216:216:217"]] and 100 kilometres
[c-square: ["7307:485:2"]]
is a c-square to test for the point and distance
[c-square: ["7307:487:380:393:456:216:216:217"]] and 100 kilometres
[c-square: ["7307:488:1"]]
is a c-square to test for the point and distance
[c-square: ["7307:487:380:393:456:216:216:217"]] and 100 kilometres
[c-square: ["7307:495:4"]]
is a c-square to test for the point and distance
[c-square: ["7307:487:380:393:456:216:216:217"]] and 100 kilometres
[c-square: ["7307:498:3"]]
is a c-square to test for the point and distance
[c-square: ["7307:487:380:393:456:216:216:217"]] and 100 kilometres
I know from locally stored knowledge that:
British Airways
is an airline serving the airport
Washington Dulles International Airport
([fact: ["367401411@trueknowledge.com"]])
Air Canada Jazz
is an airline serving the airport
Washington Dulles International Airport
([fact: ["799127420@trueknowledge.com"]])
AirTran Airways
is an airline serving the airport
Washington Dulles International Airport
([fact: ["799143372@trueknowledge.com"]])
American Airlines, Inc.
is an airline serving the airport
Washington Dulles International Airport
([fact: ["799149268@trueknowledge.com"]])
Continental Express
is an airline serving the airport
Washington Dulles International Airport
([fact: ["800020164@trueknowledge.com"]])
Delta Airlines
is an airline serving the airport
Washington Dulles International Airport
([fact: ["800023248@trueknowledge.com"]])
Delta Connection
is an airline serving the airport
Washington Dulles International Airport
([fact: ["800023672@trueknowledge.com"]])
Trans World Airlines
is an airline serving the airport
Washington Dulles International Airport
([fact: ["800161692@trueknowledge.com"]])
Fact 95:
JetBlue Airways
is an airline serving the airport
Baltimore-Washington International Thurgood Marshall Airport
([fact: ["800042880@trueknowledge.com"]])
Fact 95
is true for
May 5th 2010, 10:02:08 onwards
([fact: ["800042884@trueknowledge.com"]])
Fact 96:
Allegiant Air
is an airline serving the airport
Hagerstown Regional Airport
([fact: ["799147124@trueknowledge.com"]])
Fact 96
is true for
May 4th 2010, 17:04:43 onwards
([fact: ["799147128@trueknowledge.com"]])
American Airlines, Inc.
is an airline serving the airport
Richmond International Airport
([fact: ["367406575@trueknowledge.com"]])
United Airlines
is an airline serving the airport
Richmond International Airport
([fact: ["367407551@trueknowledge.com"]])
Delta Airlines
is an airline serving the airport
Richmond International Airport
([fact: ["367410479@trueknowledge.com"]])
Northwest Airlines
is an airline serving the airport
Richmond International Airport
([fact: ["367412031@trueknowledge.com"]])
Air Canada Jazz
is an airline serving the airport
Richmond International Airport
([fact: ["799127160@trueknowledge.com"]])
Air Wisconsin
is an airline serving the airport
Richmond International Airport
([fact: ["799140984@trueknowledge.com"]])
American Eagle Airlines
is an airline serving the airport
Richmond International Airport
([fact: ["799150944@trueknowledge.com"]])
Continental Express
is an airline serving the airport
Richmond International Airport
([fact: ["800019984@trueknowledge.com"]])
Delta Connection
is an airline serving the airport
Richmond International Airport
([fact: ["800024544@trueknowledge.com"]])
JetBlue Airways
is an airline serving the airport
Richmond International Airport
([fact: ["800043244@trueknowledge.com"]])
Trans World Airlines
is an airline serving the airport
Richmond International Airport
([fact: ["800161356@trueknowledge.com"]])
Delta Connection
is an airline serving the airport
Charlottesville-Albemarle Airport
([fact: ["800023488@trueknowledge.com"]])
Trans World Airlines
is an airline serving the airport
New Castle Airport
([fact: ["800161140@trueknowledge.com"]])
By calculation (generator: ["airport_serving@trueknowledge.com"]) I know that:
Washington Dulles International Airport
is the most important airport serving
Washington, D.C.
Ronald Reagan Washington National Airport
is the most important airport serving
Washington, D.C.
Baltimore-Washington International Thurgood Marshall Airport
is the most important airport serving
Washington, D.C.
Hagerstown Regional Airport
is the most important airport serving
Washington, D.C.
Richmond International Airport
is the most important airport serving
Washington, D.C.
Charlottesville-Albemarle Airport
is the most important airport serving
Washington, D.C.
New Castle Airport
is the most important airport serving
Washington, D.C.
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Hagerstown Regional Airport
is an airport for
Washington, D.C.
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Allegiant Air
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 4th 2010, 17:04:43 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
JetBlue Airways
is an airline serving the place
Washington, D.C.
Fact 2
is true for
May 5th 2010, 10:02:08 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 03:48:08
Adding…