By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 14:53:18
I know from locally stored knowledge that:
Eagle County Regional Airport
is an airport for
Eagle, Colorado
([fact: ["746369284@trueknowledge.com"]])
Fact 1:
American Airlines, Inc.
is an airline serving the airport
Eagle County Regional Airport
([fact: ["367406207@trueknowledge.com"]])
Fact 1
is true for
May 4th 2010, 17:05:52 onwards
([fact: ["799148340@trueknowledge.com"]])
Fact 1
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367406211@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
American Airlines, Inc.
is an airline serving the place
Eagle, Colorado
Fact 2
is true for
May 4th 2010, 17:05:52 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 14:53:18
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
Eagle County Regional Airport
([fact: ["367407151@trueknowledge.com"]])
Fact 3
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367407155@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
United Airlines
is an airline serving the place
Eagle, Colorado
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, 14:53:18
I know from locally stored knowledge that:
Fact 5:
Delta Airlines
is an airline serving the airport
Eagle County Regional Airport
([fact: ["367409951@trueknowledge.com"]])
Fact 5
is true for
May 5th 2010, 09:40:04 onwards
([fact: ["800022400@trueknowledge.com"]])
Fact 5
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367409955@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Delta Airlines
is an airline serving the place
Eagle, Colorado
Fact 2
is true for
May 5th 2010, 09:40:04 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 14:53:18
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
Eagle County Regional Airport
([fact: ["367411479@trueknowledge.com"]])
Fact 7
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367411483@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Northwest Airlines
is an airline serving the place
Eagle, Colorado
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, 14:53:18
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"]])
Eagle, Colorado
is a
settlement
([fact: ["13015957@trueknowledge.com"]])
39°39'19"N
is the latitude of
Eagle, Colorado
([fact: ["13015963@trueknowledge.com"]])
106°49'41"W
is the longitude of
Eagle, Colorado
([fact: ["159693729@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
39°39'19"N and 106°49'41"W
is strictly equal to
39°39'19"N and 106°49'41"W
By calculation (generator: ["lat_long_to_c-square@trueknowledge.com"]) I know that:
[c-square: ["7310:496:468:352:458:120:475:486"]]
is the c-square version of the co-ordinates
39°39'19"N and 106°49'41"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: ["7310:496:468:352:458:120:475:486"]]
is the first parameter of
[c-square: ["7310:496:468:352:458:120:475:486"]] and 100 kilometres
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
100 kilometres
is the second parameter of
[c-square: ["7310:496:468:352:458:120:475:486"]] and 100 kilometres
kilometre
is the second parameter of
100 kilometres
I know from locally stored knowledge that:
Fact 9:
1
is the multiplier that converts
kilometre and kilometre
([fact: ["684486512@trueknowledge.com"]])
Fact 9
is true for
all time
([fact: ["689997328@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 9
is true at
February 14th 2012, 14:53:18
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 10:
100 kilometres
is equivalent to
100 kilometres
Fact 10
is true at
February 14th 2012, 14:53:18
Fact 10:
kilometre
is the unit used in
100 kilometres
By calculation (generator: ["covering_a_disc_with_c-squares@trueknowledge.com"]) I know that:
[c-square: ["7310:486"]]
is a c-square to test for the point and distance
[c-square: ["7310:496:468:352:458:120:475:486"]] and 100 kilometres
[c-square: ["7310:495"]]
is a c-square to test for the point and distance
[c-square: ["7310:496:468:352:458:120:475:486"]] and 100 kilometres
[c-square: ["7310:496"]]
is a c-square to test for the point and distance
[c-square: ["7310:496:468:352:458:120:475:486"]] and 100 kilometres
[c-square: ["7310:497"]]
is a c-square to test for the point and distance
[c-square: ["7310:496:468:352:458:120:475:486"]] and 100 kilometres
[c-square: ["7410:206"]]
is a c-square to test for the point and distance
[c-square: ["7310:496:468:352:458:120:475:486"]] and 100 kilometres
[c-square: ["7410:207"]]
is a c-square to test for the point and distance
[c-square: ["7310:496:468:352:458:120:475:486"]] and 100 kilometres
[c-square: ["7310:485"]]
is a c-square to test for the point and distance
[c-square: ["7310:496:468:352:458:120:475:486"]] and 100 kilometres
[c-square: ["7310:487"]]
is a c-square to test for the point and distance
[c-square: ["7310:496:468:352:458:120:475:486"]] and 100 kilometres
[c-square: ["7310:498"]]
is a c-square to test for the point and distance
[c-square: ["7310:496:468:352:458:120:475:486"]] and 100 kilometres
[c-square: ["7410:205"]]
is a c-square to test for the point and distance
[c-square: ["7310:496:468:352:458:120:475:486"]] and 100 kilometres
[c-square: ["7410:208"]]
is a c-square to test for the point and distance
[c-square: ["7310:496:468:352:458:120:475:486"]] and 100 kilometres
I know from locally stored knowledge that:
Fact 11:
Frontier Airlines
is an airline serving the airport
Aspen-Pitkin County Airport
([fact: ["800032136@trueknowledge.com"]])
Fact 11
is true for
May 5th 2010, 09:49:46 onwards
([fact: ["800032140@trueknowledge.com"]])
American Airlines, Inc.
is an airline serving the airport
Yampa Valley Airport
([fact: ["367406191@trueknowledge.com"]])
United Airlines
is an airline serving the airport
Yampa Valley Airport
([fact: ["367407135@trueknowledge.com"]])
Delta Airlines
is an airline serving the airport
Yampa Valley Airport
([fact: ["367409935@trueknowledge.com"]])
Northwest Airlines
is an airline serving the airport
Yampa Valley Airport
([fact: ["367411471@trueknowledge.com"]])
Fact 12:
Delta Connection
is an airline serving the airport
Yampa Valley Airport
([fact: ["800024896@trueknowledge.com"]])
Fact 12
is true for
May 5th 2010, 09:42:48 onwards
([fact: ["800024912@trueknowledge.com"]])
Fact 13:
Trans World Airlines
is an airline serving the airport
Yampa Valley Airport
([fact: ["800161788@trueknowledge.com"]])
Fact 13
is true for
May 5th 2010, 16:54:39 onwards
([fact: ["800161792@trueknowledge.com"]])
American Airlines, Inc.
is an airline serving the airport
Montrose Regional Airport
([fact: ["367406199@trueknowledge.com"]])
United Airlines
is an airline serving the airport
Montrose Regional Airport
([fact: ["367407143@trueknowledge.com"]])
Delta Airlines
is an airline serving the airport
Montrose Regional Airport
([fact: ["367409943@trueknowledge.com"]])
Fact 14:
American Eagle Airlines
is an airline serving the airport
Montrose Regional Airport
([fact: ["799150564@trueknowledge.com"]])
Fact 14
is true for
May 4th 2010, 17:07:12 onwards
([fact: ["799150568@trueknowledge.com"]])
Fact 15:
Continental Airlines
is an airline serving the airport
Montrose Regional Airport
([fact: ["800018768@trueknowledge.com"]])
Fact 15
is true for
May 5th 2010, 08:14:08 onwards
([fact: ["800018784@trueknowledge.com"]])
Fact 16:
Continental Express
is an airline serving the airport
Montrose Regional Airport
([fact: ["800019812@trueknowledge.com"]])
Fact 16
is true for
May 5th 2010, 08:15:07 onwards
([fact: ["800019816@trueknowledge.com"]])
Fact 17:
Allegiant Air
is an airline serving the airport
Fort Collins-Loveland Municipal Airport
([fact: ["799146948@trueknowledge.com"]])
Fact 17
is true for
May 4th 2010, 17:04:40 onwards
([fact: ["799146956@trueknowledge.com"]])
By calculation (generator: ["airport_serving@trueknowledge.com"]) I know that:
Eagle County Regional Airport
is the most important airport serving
Eagle, Colorado
Aspen-Pitkin County Airport
is the most important airport serving
Eagle, Colorado
Yampa Valley Airport
is the most important airport serving
Eagle, Colorado
Montrose Regional Airport
is the most important airport serving
Eagle, Colorado
Fort Collins-Loveland Municipal Airport
is the most important airport serving
Eagle, Colorado
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Fort Collins-Loveland Municipal Airport
is an airport for
Eagle, Colorado
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Allegiant Air
is an airline serving the place
Eagle, Colorado
Fact 2
is true for
May 4th 2010, 17:04:40 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 14:53:18
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Montrose Regional Airport
is an airport for
Eagle, Colorado
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
American Eagle Airlines
is an airline serving the place
Eagle, Colorado
Fact 2
is true for
May 4th 2010, 17:07:12 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 14:53:18
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Continental Airlines
is an airline serving the place
Eagle, Colorado
Fact 2
is true for
May 5th 2010, 08:14:08 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 14:53:18
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Continental Express
is an airline serving the place
Eagle, Colorado
Fact 2
is true for
May 5th 2010, 08:15:07 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 14:53:18
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Yampa Valley Airport
is an airport for
Eagle, Colorado
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Delta Connection
is an airline serving the place
Eagle, Colorado
Fact 2
is true for
May 5th 2010, 09:42:48 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 14:53:18
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Trans World Airlines
is an airline serving the place
Eagle, Colorado
Fact 2
is true for
May 5th 2010, 16:54:39 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 14:53:18
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Aspen-Pitkin County Airport
is an airport for
Eagle, Colorado
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Frontier Airlines
is an airline serving the place
Eagle, Colorado
Fact 2
is true for
May 5th 2010, 09:49:46 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 14:53:18