By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 12th 2012, 17:32:49
I know from locally stored knowledge that:
Fact 1:
British Airways
is an airline serving the airport
George Bush Intercontinental Airport
([fact: ["367401131@trueknowledge.com"]])
Fact 1
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367401135@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
February 12th 2012, 17:32:49
I know from locally stored knowledge that:
Fact 2:
Air France
is an airline serving the airport
George Bush Intercontinental Airport
([fact: ["367402411@trueknowledge.com"]])
Fact 2
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367402415@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 12th 2012, 17:32:49
I know from locally stored knowledge that:
Fact 3:
Lufthansa
is an airline serving the airport
George Bush Intercontinental Airport
([fact: ["367403963@trueknowledge.com"]])
Fact 3
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367403967@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
February 12th 2012, 17:32:49
I know from locally stored knowledge that:
Fact 4:
Singapore Airlines
is an airline serving the airport
George Bush Intercontinental Airport
([fact: ["367404499@trueknowledge.com"]])
Fact 4
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367404503@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 4
is true at
February 12th 2012, 17:32:49
I know from locally stored knowledge that:
Fact 5:
Emirates Airlines
is an airline serving the airport
George Bush Intercontinental Airport
([fact: ["367405519@trueknowledge.com"]])
Fact 5
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367405523@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 5
is true at
February 12th 2012, 17:32:49
I know from locally stored knowledge that:
Fact 6:
United Airlines
is an airline serving the airport
George Bush Intercontinental Airport
([fact: ["367407527@trueknowledge.com"]])
Fact 6
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367407531@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 6
is true at
February 12th 2012, 17:32:49
I know from locally stored knowledge that:
Fact 7:
Cathay Pacific
is an airline serving the airport
George Bush Intercontinental Airport
([fact: ["367408007@trueknowledge.com"]])
Fact 7
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367408011@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 7
is true at
February 12th 2012, 17:32:49
I know from locally stored knowledge that:
Fact 8:
KLM
is an airline serving the airport
George Bush Intercontinental Airport
([fact: ["367409059@trueknowledge.com"]])
Fact 8
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367409063@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 8
is true at
February 12th 2012, 17:32:49
I know from locally stored knowledge that:
Fact 9:
Continental Airlines
is an airline serving the airport
George Bush Intercontinental Airport
([fact: ["367410911@trueknowledge.com"]])
Fact 9
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367410915@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 9
is true at
February 12th 2012, 17:32:49
I know from locally stored knowledge that:
Fact 10:
Northwest Airlines
is an airline serving the airport
George Bush Intercontinental Airport
([fact: ["367411999@trueknowledge.com"]])
Fact 10
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367412003@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 10
is true at
February 12th 2012, 17:32:49
I know from locally stored knowledge that:
Fact 11:
Southwest Airlines, Inc.
is an airline serving the airport
George Bush Intercontinental Airport
([fact: ["367412671@trueknowledge.com"]])
Fact 11
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367412675@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 11
is true at
February 12th 2012, 17:32:49
I know from locally stored knowledge that:
Fact 12:
Air Canada
is an airline serving the airport
George Bush Intercontinental Airport
([fact: ["367414999@trueknowledge.com"]])
Fact 12
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367415003@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 12
is true at
February 12th 2012, 17:32:49
I know from locally stored knowledge that:
Fact 13:
Aeroméxico Connect
is an airline serving the airport
George Bush Intercontinental Airport
([fact: ["790586052@trueknowledge.com"]])
Fact 13
is true for
May 4th 2010, 16:51:42 onwards
([fact: ["799121580@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 13
is true at
February 12th 2012, 17:32:49
I know from locally stored knowledge that:
Fact 14:
Aeroméxico
is an airline serving the airport
George Bush Intercontinental Airport
([fact: ["790586852@trueknowledge.com"]])
Fact 14
is true for
May 4th 2010, 16:51:55 onwards
([fact: ["799121980@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 14
is true at
February 12th 2012, 17:32:49
I know from locally stored knowledge that:
Fact 15:
Air Canada Jazz
is an airline serving the airport
George Bush Intercontinental Airport
([fact: ["799126624@trueknowledge.com"]])
Fact 15
is true for
May 4th 2010, 16:54:45 onwards
([fact: ["799126628@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 15
is true at
February 12th 2012, 17:32:49
I know from locally stored knowledge that:
Fact 16:
Alaska Airlines
is an airline serving the airport
George Bush Intercontinental Airport
([fact: ["799143796@trueknowledge.com"]])
Fact 16
is true for
May 4th 2010, 17:03:06 onwards
([fact: ["799143808@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 16
is true at
February 12th 2012, 17:32:49
I know from locally stored knowledge that:
Fact 17:
American Eagle Airlines
is an airline serving the airport
George Bush Intercontinental Airport
([fact: ["799149964@trueknowledge.com"]])
Fact 17
is true for
May 4th 2010, 17:06:53 onwards
([fact: ["799149968@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 17
is true at
February 12th 2012, 17:32:49
I know from locally stored knowledge that:
Fact 18:
Cargolux
is an airline serving the airport
George Bush Intercontinental Airport
([fact: ["800013416@trueknowledge.com"]])
Fact 18
is true for
May 5th 2010, 08:08:15 onwards
([fact: ["800013428@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 18
is true at
February 12th 2012, 17:32:49
I know from locally stored knowledge that:
Fact 19:
China Airlines
is an airline serving the airport
George Bush Intercontinental Airport
([fact: ["800014876@trueknowledge.com"]])
Fact 19
is true for
May 5th 2010, 08:09:40 onwards
([fact: ["800014892@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 19
is true at
February 12th 2012, 17:32:49
I know from locally stored knowledge that:
Fact 20:
Continental Express
is an airline serving the airport
George Bush Intercontinental Airport
([fact: ["800019444@trueknowledge.com"]])
Fact 20
is true for
May 5th 2010, 08:14:50 onwards
([fact: ["800019448@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 20
is true at
February 12th 2012, 17:32:49
I know from locally stored knowledge that:
Fact 21:
Delta Airlines
is an airline serving the airport
George Bush Intercontinental Airport
([fact: ["800022476@trueknowledge.com"]])
Fact 21
is true for
May 5th 2010, 09:40:10 onwards
([fact: ["800022480@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 21
is true at
February 12th 2012, 17:32:49
I know from locally stored knowledge that:
Fact 22:
Delta Connection
is an airline serving the airport
George Bush Intercontinental Airport
([fact: ["800023808@trueknowledge.com"]])
Fact 22
is true for
May 5th 2010, 09:41:47 onwards
([fact: ["800023812@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 22
is true at
February 12th 2012, 17:32:49
I know from locally stored knowledge that:
Fact 23:
EVA Air
is an airline serving the airport
George Bush Intercontinental Airport
([fact: ["800025632@trueknowledge.com"]])
Fact 23
is true for
May 5th 2010, 09:43:29 onwards
([fact: ["800025644@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 23
is true at
February 12th 2012, 17:32:49
I know from locally stored knowledge that:
Fact 24:
Frontier Airlines
is an airline serving the airport
George Bush Intercontinental Airport
([fact: ["800032312@trueknowledge.com"]])
Fact 24
is true for
May 5th 2010, 09:49:56 onwards
([fact: ["800032316@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 24
is true at
February 12th 2012, 17:32:49
I know from locally stored knowledge that:
Fact 25:
Qatar Airways
is an airline serving the airport
George Bush Intercontinental Airport
([fact: ["800060420@trueknowledge.com"]])
Fact 25
is true for
May 5th 2010, 10:26:14 onwards
([fact: ["800060424@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 25
is true at
February 12th 2012, 17:32:49
I know from locally stored knowledge that:
Fact 26:
Saudi Arabian Airlines
is an airline serving the airport
George Bush Intercontinental Airport
([fact: ["800067372@trueknowledge.com"]])
Fact 26
is true for
May 5th 2010, 10:33:28 onwards
([fact: ["800067376@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 26
is true at
February 12th 2012, 17:32:49
I know from locally stored knowledge that:
Fact 27:
SkyWest
is an airline serving the airport
George Bush Intercontinental Airport
([fact: ["800070888@trueknowledge.com"]])
Fact 27
is true for
May 5th 2010, 10:37:12 onwards
([fact: ["800070892@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 27
is true at
February 12th 2012, 17:32:49
I know from locally stored knowledge that:
Fact 28:
Sun Country Airlines
is an airline serving the airport
George Bush Intercontinental Airport
([fact: ["800073612@trueknowledge.com"]])
Fact 28
is true for
May 5th 2010, 10:40:15 onwards
([fact: ["800073616@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 28
is true at
February 12th 2012, 17:32:49
I know from locally stored knowledge that:
Fact 29:
Grupo TACA
is an airline serving the airport
George Bush Intercontinental Airport
([fact: ["800158268@trueknowledge.com"]])
Fact 29
is true for
May 5th 2010, 16:52:13 onwards
([fact: ["800158272@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 29
is true at
February 12th 2012, 17:32:49
I know from locally stored knowledge that:
Fact 30:
Trans World Airlines
is an airline serving the airport
George Bush Intercontinental Airport
([fact: ["800160660@trueknowledge.com"]])
Fact 30
is true for
May 5th 2010, 16:53:55 onwards
([fact: ["800160664@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 30
is true at
February 12th 2012, 17:32:49
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"]])
George Bush Intercontinental Airport
is in
Houston, Texas
([fact: ["372004743@trueknowledge.com"]])
Houston, Texas
is a
settlement
([fact: ["10189114@trueknowledge.com"]])
29°45'46"N
is the latitude of
Houston, Texas
([fact: ["261029486@trueknowledge.com"]])
95°21'47.16"W
is the longitude of
Houston, Texas
([fact: ["648263168@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
29°45'46"N and 95°21'47.16"W
is strictly equal to
29°45'46"N and 95°21'47.16"W
By calculation (generator: ["lat_long_to_c-square@trueknowledge.com"]) I know that:
[c-square: ["7209:495:373:466:123:371:370:380"]]
is the c-square version of the co-ordinates
29°45'46"N and 95°21'47.16"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: ["7209:495:373:466:123:371:370:380"]]
is the first parameter of
[c-square: ["7209:495:373:466:123:371:370:380"]] and 100 kilometres
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
100 kilometres
is the second parameter of
[c-square: ["7209:495:373:466:123:371:370:380"]] and 100 kilometres
kilometre
is the second parameter of
100 kilometres
I know from locally stored knowledge that:
Fact 31:
1
is the multiplier that converts
kilometre and kilometre
([fact: ["684486512@trueknowledge.com"]])
Fact 31
is true for
all time
([fact: ["689997328@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 31
is true at
February 12th 2012, 17:32:49
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 32:
100 kilometres
is equivalent to
100 kilometres
Fact 32
is true at
February 12th 2012, 17:32:49
Fact 32:
kilometre
is the unit used in
100 kilometres
By calculation (generator: ["covering_a_disc_with_c-squares@trueknowledge.com"]) I know that:
[c-square: ["7209:394"]]
is a c-square to test for the point and distance
[c-square: ["7209:495:373:466:123:371:370:380"]] and 100 kilometres
[c-square: ["7209:485"]]
is a c-square to test for the point and distance
[c-square: ["7209:495:373:466:123:371:370:380"]] and 100 kilometres
[c-square: ["7209:495"]]
is a c-square to test for the point and distance
[c-square: ["7209:495:373:466:123:371:370:380"]] and 100 kilometres
[c-square: ["7209:496"]]
is a c-square to test for the point and distance
[c-square: ["7209:495:373:466:123:371:370:380"]] and 100 kilometres
[c-square: ["7309:104"]]
is a c-square to test for the point and distance
[c-square: ["7209:495:373:466:123:371:370:380"]] and 100 kilometres
[c-square: ["7309:205"]]
is a c-square to test for the point and distance
[c-square: ["7209:495:373:466:123:371:370:380"]] and 100 kilometres
[c-square: ["7209:384"]]
is a c-square to test for the point and distance
[c-square: ["7209:495:373:466:123:371:370:380"]] and 100 kilometres
[c-square: ["7209:393"]]
is a c-square to test for the point and distance
[c-square: ["7209:495:373:466:123:371:370:380"]] and 100 kilometres
[c-square: ["7209:486"]]
is a c-square to test for the point and distance
[c-square: ["7209:495:373:466:123:371:370:380"]] and 100 kilometres
[c-square: ["7309:103"]]
is a c-square to test for the point and distance
[c-square: ["7209:495:373:466:123:371:370:380"]] and 100 kilometres
[c-square: ["7309:206"]]
is a c-square to test for the point and distance
[c-square: ["7209:495:373:466:123:371:370:380"]] and 100 kilometres
I know from locally stored knowledge that:
Southwest Airlines, Inc.
is an airline serving the airport
Southeast Texas Regional Airport
([fact: ["367412663@trueknowledge.com"]])
Continental Express
is an airline serving the airport
Southeast Texas Regional Airport
([fact: ["800020076@trueknowledge.com"]])
SkyWest
is an airline serving the airport
Southeast Texas Regional Airport
([fact: ["800070920@trueknowledge.com"]])
George Bush Intercontinental Airport
is in
[c-square: ["7209:495"]]
([fact: ["2348426094@trueknowledge.com"]])
ATA Airlines
is an airline serving the airport
George Bush Intercontinental Airport
([fact: ["790576928@trueknowledge.com"]])
Southwest Airlines, Inc.
is an airline serving the airport
William P. Hobby Airport
([fact: ["367412591@trueknowledge.com"]])
ATA Airlines
is an airline serving the airport
William P. Hobby Airport
([fact: ["790577060@trueknowledge.com"]])
American Eagle Airlines
is an airline serving the airport
William P. Hobby Airport
([fact: ["799151360@trueknowledge.com"]])
Delta Connection
is an airline serving the airport
William P. Hobby Airport
([fact: ["800023976@trueknowledge.com"]])
Fact 33:
JetBlue Airways
is an airline serving the airport
William P. Hobby Airport
([fact: ["800043352@trueknowledge.com"]])
Fact 33
is true for
May 5th 2010, 10:02:57 onwards
([fact: ["800043364@trueknowledge.com"]])
Trans World Airlines
is an airline serving the airport
William P. Hobby Airport
([fact: ["800161756@trueknowledge.com"]])
American Eagle Airlines
is an airline serving the airport
Easterwood Airport
([fact: ["799149792@trueknowledge.com"]])
Continental Express
is an airline serving the airport
Easterwood Airport
([fact: ["800019344@trueknowledge.com"]])
SkyWest
is an airline serving the airport
Easterwood Airport
([fact: ["800070880@trueknowledge.com"]])
By calculation (generator: ["airport_serving@trueknowledge.com"]) I know that:
Southeast Texas Regional Airport
is the most important airport serving
Houston, Texas
George Bush Intercontinental Airport
is the most important airport serving
Houston, Texas
William P. Hobby Airport
is the most important airport serving
Houston, Texas
Easterwood Airport
is the most important airport serving
Houston, Texas
By calculation (generator: ["airport_serving_last_resort@trueknowledge.com"]) I know that:
William P. Hobby Airport
is the most important airport serving
George Bush Intercontinental Airport
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
William P. Hobby Airport
is an airport for
George Bush Intercontinental Airport
By calculation (generator: ["airline_serving_airport@trueknowledge.com"]) I know that:
Fact 34:
JetBlue Airways
is an airline serving the airport
George Bush Intercontinental Airport
Fact 34
is true for
May 5th 2010, 10:02:57 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 34
is true at
February 12th 2012, 17:32:49
Adding…