By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 13th 2012, 11:10:35
I know from locally stored knowledge that:
Reno-Tahoe International Airport
is an airport for
Reno, Nevada
([fact: ["371602055@trueknowledge.com"]])
Fact 1:
American Airlines, Inc.
is an airline serving the airport
Reno-Tahoe International Airport
([fact: ["367406439@trueknowledge.com"]])
Fact 1
is true for
May 4th 2010, 17:06:23 onwards
([fact: ["799149008@trueknowledge.com"]])
Fact 1
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367406443@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
American Airlines, Inc.
is an airline serving the place
Reno, Nevada
Fact 2
is true for
May 4th 2010, 17:06:23 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 11:10:35
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2
is true for
June 13th 2009, 00:00:00 onwards
I know from locally stored knowledge that:
Fact 3:
United Airlines
is an airline serving the airport
Reno-Tahoe International Airport
([fact: ["367407367@trueknowledge.com"]])
Fact 3
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367407371@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
United Airlines
is an airline serving the place
Reno, Nevada
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 13th 2012, 11:10:35
I know from locally stored knowledge that:
Fact 5:
Delta Airlines
is an airline serving the airport
Reno-Tahoe International Airport
([fact: ["367410247@trueknowledge.com"]])
Fact 5
is true for
May 5th 2010, 09:40:56 onwards
([fact: ["800023028@trueknowledge.com"]])
Fact 5
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367410251@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Delta Airlines
is an airline serving the place
Reno, Nevada
Fact 2
is true for
May 5th 2010, 09:40:56 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 11:10:35
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2
is true for
June 13th 2009, 00:00:00 onwards
I know from locally stored knowledge that:
Fact 7:
Northwest Airlines
is an airline serving the airport
Reno-Tahoe International Airport
([fact: ["367411783@trueknowledge.com"]])
Fact 7
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367411787@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Northwest Airlines
is an airline serving the place
Reno, Nevada
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 13th 2012, 11:10:35
I know from locally stored knowledge that:
Fact 9:
Southwest Airlines, Inc.
is an airline serving the airport
Reno-Tahoe International Airport
([fact: ["367412407@trueknowledge.com"]])
Fact 9
is true for
May 5th 2010, 10:38:39 onwards
([fact: ["800072096@trueknowledge.com"]])
Fact 9
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367412411@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Southwest Airlines, Inc.
is an airline serving the place
Reno, Nevada
Fact 2
is true for
May 5th 2010, 10:38:39 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 11:10:35
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2
is true for
June 13th 2009, 00:00:00 onwards
I know from locally stored knowledge that:
Fact 11:
American Eagle Airlines
is an airline serving the airport
Reno-Tahoe International Airport
([fact: ["799150936@trueknowledge.com"]])
Fact 11
is true for
May 4th 2010, 17:07:22 onwards
([fact: ["799150940@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
American Eagle Airlines
is an airline serving the place
Reno, Nevada
Fact 2
is true for
May 4th 2010, 17:07:22 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 11:10:35
I know from locally stored knowledge that:
Fact 13:
ExpressJet Airlines
is an airline serving the airport
Reno-Tahoe International Airport
([fact: ["800031024@trueknowledge.com"]])
Fact 13
is true for
May 5th 2010, 09:48:42 onwards
([fact: ["800031028@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
ExpressJet Airlines
is an airline serving the place
Reno, Nevada
Fact 2
is true for
May 5th 2010, 09:48:42 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 11:10:35
I know from locally stored knowledge that:
Fact 15:
Horizon Air
is an airline serving the airport
Reno-Tahoe International Airport
([fact: ["800036632@trueknowledge.com"]])
Fact 15
is true for
May 5th 2010, 09:54:01 onwards
([fact: ["800036636@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Horizon Air
is an airline serving the place
Reno, Nevada
Fact 2
is true for
May 5th 2010, 09:54:01 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 11:10:35
I know from locally stored knowledge that:
Fact 17:
Trans World Airlines
is an airline serving the airport
Reno-Tahoe International Airport
([fact: ["800161348@trueknowledge.com"]])
Fact 17
is true for
May 5th 2010, 16:54:24 onwards
([fact: ["800161352@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Trans World Airlines
is an airline serving the place
Reno, Nevada
Fact 2
is true for
May 5th 2010, 16:54:24 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 11:10:35
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"]])
Reno, Nevada
is a
settlement
([fact: ["15024226@trueknowledge.com"]])
39°31'37"N
is the latitude of
Reno, Nevada
([fact: ["260409978@trueknowledge.com"]])
119°49'19"W
is the longitude of
Reno, Nevada
([fact: ["260409998@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
39°31'37"N and 119°49'19"W
is strictly equal to
39°31'37"N and 119°49'19"W
By calculation (generator: ["lat_long_to_c-square@trueknowledge.com"]) I know that:
[c-square: ["7311:499:458:122:361:499:144:144"]]
is the c-square version of the co-ordinates
39°31'37"N and 119°49'19"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: ["7311:499:458:122:361:499:144:144"]]
is the first parameter of
[c-square: ["7311:499:458:122:361:499:144:144"]] and 100 kilometres
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
100 kilometres
is the second parameter of
[c-square: ["7311:499:458:122:361:499:144:144"]] and 100 kilometres
kilometre
is the second parameter of
100 kilometres
I know from locally stored knowledge that:
Fact 19:
1
is the multiplier that converts
kilometre and kilometre
([fact: ["684486512@trueknowledge.com"]])
Fact 19
is true for
all time
([fact: ["689997328@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 19
is true at
February 13th 2012, 11:10:35
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 20:
100 kilometres
is equivalent to
100 kilometres
Fact 20
is true at
February 13th 2012, 11:10:35
Fact 20:
kilometre
is the unit used in
100 kilometres
By calculation (generator: ["covering_a_disc_with_c-squares@trueknowledge.com"]) I know that:
[c-square: ["7311:489"]]
is a c-square to test for the point and distance
[c-square: ["7311:499:458:122:361:499:144:144"]] and 100 kilometres
[c-square: ["7311:498"]]
is a c-square to test for the point and distance
[c-square: ["7311:499:458:122:361:499:144:144"]] and 100 kilometres
[c-square: ["7311:499"]]
is a c-square to test for the point and distance
[c-square: ["7311:499:458:122:361:499:144:144"]] and 100 kilometres
[c-square: ["7312:380"]]
is a c-square to test for the point and distance
[c-square: ["7311:499:458:122:361:499:144:144"]] and 100 kilometres
[c-square: ["7312:390"]]
is a c-square to test for the point and distance
[c-square: ["7311:499:458:122:361:499:144:144"]] and 100 kilometres
[c-square: ["7411:209"]]
is a c-square to test for the point and distance
[c-square: ["7311:499:458:122:361:499:144:144"]] and 100 kilometres
[c-square: ["7311:488"]]
is a c-square to test for the point and distance
[c-square: ["7311:499:458:122:361:499:144:144"]] and 100 kilometres
[c-square: ["7312:381"]]
is a c-square to test for the point and distance
[c-square: ["7311:499:458:122:361:499:144:144"]] and 100 kilometres
[c-square: ["7312:391"]]
is a c-square to test for the point and distance
[c-square: ["7311:499:458:122:361:499:144:144"]] and 100 kilometres
[c-square: ["7411:208"]]
is a c-square to test for the point and distance
[c-square: ["7311:499:458:122:361:499:144:144"]] and 100 kilometres
[c-square: ["7412:100"]]
is a c-square to test for the point and distance
[c-square: ["7311:499:458:122:361:499:144:144"]] and 100 kilometres
[c-square: ["7412:101"]]
is a c-square to test for the point and distance
[c-square: ["7311:499:458:122:361:499:144:144"]] and 100 kilometres
I know from locally stored knowledge that:
American Airlines, Inc.
is an airline serving the airport
Sacramento International Airport
([fact: ["367406127@trueknowledge.com"]])
United Airlines
is an airline serving the airport
Sacramento International Airport
([fact: ["367407087@trueknowledge.com"]])
Delta Airlines
is an airline serving the airport
Sacramento International Airport
([fact: ["367409879@trueknowledge.com"]])
Northwest Airlines
is an airline serving the airport
Sacramento International Airport
([fact: ["367411415@trueknowledge.com"]])
Southwest Airlines, Inc.
is an airline serving the airport
Sacramento International Airport
([fact: ["367412191@trueknowledge.com"]])
Fact 21:
Alaska Airlines
is an airline serving the airport
Sacramento International Airport
([fact: ["799144260@trueknowledge.com"]])
Fact 21
is true for
May 4th 2010, 17:03:21 onwards
([fact: ["799144268@trueknowledge.com"]])
Fact 22:
Continental Airlines
is an airline serving the airport
Sacramento International Airport
([fact: ["800018952@trueknowledge.com"]])
Fact 22
is true for
May 5th 2010, 08:14:18 onwards
([fact: ["800018960@trueknowledge.com"]])
ExpressJet Airlines
is an airline serving the airport
Sacramento International Airport
([fact: ["800031040@trueknowledge.com"]])
Fact 23:
Frontier Airlines
is an airline serving the airport
Sacramento International Airport
([fact: ["800032568@trueknowledge.com"]])
Fact 23
is true for
May 5th 2010, 09:50:09 onwards
([fact: ["800032572@trueknowledge.com"]])
Fact 24:
Hawaiian Airlines
is an airline serving the airport
Sacramento International Airport
([fact: ["800036128@trueknowledge.com"]])
Fact 24
is true for
May 5th 2010, 09:53:31 onwards
([fact: ["800036132@trueknowledge.com"]])
Horizon Air
is an airline serving the airport
Sacramento International Airport
([fact: ["800036656@trueknowledge.com"]])
Fact 25:
JetBlue Airways
is an airline serving the airport
Sacramento International Airport
([fact: ["800043248@trueknowledge.com"]])
Fact 25
is true for
May 5th 2010, 10:02:42 onwards
([fact: ["800043264@trueknowledge.com"]])
Fact 26:
Mexicana de Aviación
is an airline serving the airport
Sacramento International Airport
([fact: ["800054480@trueknowledge.com"]])
Fact 26
is true for
May 5th 2010, 10:18:09 onwards
([fact: ["800054484@trueknowledge.com"]])
Trans World Airlines
is an airline serving the airport
Sacramento International Airport
([fact: ["800161380@trueknowledge.com"]])
By calculation (generator: ["airport_serving@trueknowledge.com"]) I know that:
Reno-Tahoe International Airport
is the most important airport serving
Reno, Nevada
Sacramento International Airport
is the most important airport serving
Reno, Nevada
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Sacramento International Airport
is an airport for
Reno, Nevada
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Alaska Airlines
is an airline serving the place
Reno, Nevada
Fact 2
is true for
May 4th 2010, 17:03:21 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 11:10:35
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Continental Airlines
is an airline serving the place
Reno, Nevada
Fact 2
is true for
May 5th 2010, 08:14:18 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 11:10:35
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Frontier Airlines
is an airline serving the place
Reno, Nevada
Fact 2
is true for
May 5th 2010, 09:50:09 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 11:10:35
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Hawaiian Airlines
is an airline serving the place
Reno, Nevada
Fact 2
is true for
May 5th 2010, 09:53:31 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 11:10:35
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
JetBlue Airways
is an airline serving the place
Reno, Nevada
Fact 2
is true for
May 5th 2010, 10:02:42 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 11:10:35
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Mexicana de Aviación
is an airline serving the place
Reno, Nevada
Fact 2
is true for
May 5th 2010, 10:18:09 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 11:10:35