By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 13:04: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"]])
Steamboat Springs, Colorado
is a
settlement
([fact: ["12423733@trueknowledge.com"]])
40°29'06"N
is the latitude of
Steamboat Springs, Colorado
([fact: ["12423739@trueknowledge.com"]])
106°49'37"W
is the longitude of
Steamboat Springs, Colorado
([fact: ["418684851@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
40°29'06"N and 106°49'37"W
is strictly equal to
40°29'06"N and 106°49'37"W
By calculation (generator: ["lat_long_to_c-square@trueknowledge.com"]) I know that:
[c-square: ["7410:206:248:382:456:209:104:104"]]
is the c-square version of the co-ordinates
40°29'06"N and 106°49'37"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: ["7410:206:248:382:456:209:104:104"]]
is the first parameter of
[c-square: ["7410:206:248:382:456:209:104:104"]] and 100 kilometres
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
100 kilometres
is the second parameter of
[c-square: ["7410:206:248:382:456:209:104:104"]] and 100 kilometres
kilometre
is the second parameter of
100 kilometres
I know from locally stored knowledge that:
Fact 1:
1
is the multiplier that converts
kilometre and kilometre
([fact: ["684486512@trueknowledge.com"]])
Fact 1
is true for
all time
([fact: ["689997328@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
February 14th 2012, 13:04: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 2:
100 kilometres
is equivalent to
100 kilometres
Fact 2
is true at
February 14th 2012, 13:04:35
Fact 2:
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:496"]]
is a c-square to test for the point and distance
[c-square: ["7410:206:248:382:456:209:104:104"]] and 100 kilometres
[c-square: ["7310:497"]]
is a c-square to test for the point and distance
[c-square: ["7410:206:248:382:456:209:104:104"]] and 100 kilometres
[c-square: ["7410:205"]]
is a c-square to test for the point and distance
[c-square: ["7410:206:248:382:456:209:104:104"]] and 100 kilometres
[c-square: ["7410:206"]]
is a c-square to test for the point and distance
[c-square: ["7410:206:248:382:456:209:104:104"]] and 100 kilometres
[c-square: ["7410:207"]]
is a c-square to test for the point and distance
[c-square: ["7410:206:248:382:456:209:104:104"]] and 100 kilometres
[c-square: ["7410:216"]]
is a c-square to test for the point and distance
[c-square: ["7410:206:248:382:456:209:104:104"]] and 100 kilometres
[c-square: ["7310:495"]]
is a c-square to test for the point and distance
[c-square: ["7410:206:248:382:456:209:104:104"]] and 100 kilometres
[c-square: ["7310:498"]]
is a c-square to test for the point and distance
[c-square: ["7410:206:248:382:456:209:104:104"]] and 100 kilometres
[c-square: ["7410:208"]]
is a c-square to test for the point and distance
[c-square: ["7410:206:248:382:456:209:104:104"]] and 100 kilometres
[c-square: ["7410:215"]]
is a c-square to test for the point and distance
[c-square: ["7410:206:248:382:456:209:104:104"]] and 100 kilometres
[c-square: ["7410:217"]]
is a c-square to test for the point and distance
[c-square: ["7410:206:248:382:456:209:104:104"]] and 100 kilometres
[c-square: ["7410:218"]]
is a c-square to test for the point and distance
[c-square: ["7410:206:248:382:456:209:104:104"]] and 100 kilometres
I know from locally stored knowledge that:
Fact 3:
American Airlines, Inc.
is an airline serving the airport
Eagle County Regional Airport
([fact: ["367406207@trueknowledge.com"]])
Fact 3
is true for
May 4th 2010, 17:05:52 onwards
([fact: ["799148340@trueknowledge.com"]])
United Airlines
is an airline serving the airport
Eagle County Regional Airport
([fact: ["367407151@trueknowledge.com"]])
Fact 4:
Delta Airlines
is an airline serving the airport
Eagle County Regional Airport
([fact: ["367409951@trueknowledge.com"]])
Fact 4
is true for
May 5th 2010, 09:40:04 onwards
([fact: ["800022400@trueknowledge.com"]])
Northwest Airlines
is an airline serving the airport
Eagle County Regional Airport
([fact: ["367411479@trueknowledge.com"]])
Fact 5:
Frontier Airlines
is an airline serving the airport
Aspen-Pitkin County Airport
([fact: ["800032136@trueknowledge.com"]])
Fact 5
is true for
May 5th 2010, 09:49:46 onwards
([fact: ["800032140@trueknowledge.com"]])
Fact 6:
Allegiant Air
is an airline serving the airport
Fort Collins-Loveland Municipal Airport
([fact: ["799146948@trueknowledge.com"]])
Fact 6
is true for
May 4th 2010, 17:04:40 onwards
([fact: ["799146956@trueknowledge.com"]])
Fact 7:
American Airlines, Inc.
is an airline serving the airport
Yampa Valley Airport
([fact: ["367406191@trueknowledge.com"]])
Fact 7
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367406195@trueknowledge.com"]])
Fact 8:
United Airlines
is an airline serving the airport
Yampa Valley Airport
([fact: ["367407135@trueknowledge.com"]])
Fact 8
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367407139@trueknowledge.com"]])
Fact 9:
Delta Airlines
is an airline serving the airport
Yampa Valley Airport
([fact: ["367409935@trueknowledge.com"]])
Fact 9
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367409939@trueknowledge.com"]])
Fact 10:
Northwest Airlines
is an airline serving the airport
Yampa Valley Airport
([fact: ["367411471@trueknowledge.com"]])
Fact 10
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367411475@trueknowledge.com"]])
Fact 11:
Delta Connection
is an airline serving the airport
Yampa Valley Airport
([fact: ["800024896@trueknowledge.com"]])
Fact 11
is true for
May 5th 2010, 09:42:48 onwards
([fact: ["800024912@trueknowledge.com"]])
Fact 12:
Trans World Airlines
is an airline serving the airport
Yampa Valley Airport
([fact: ["800161788@trueknowledge.com"]])
Fact 12
is true for
May 5th 2010, 16:54:39 onwards
([fact: ["800161792@trueknowledge.com"]])
By calculation (generator: ["airport_serving@trueknowledge.com"]) I know that:
Eagle County Regional Airport
is the most important airport serving
Steamboat Springs, Colorado
Aspen-Pitkin County Airport
is the most important airport serving
Steamboat Springs, Colorado
Fort Collins-Loveland Municipal Airport
is the most important airport serving
Steamboat Springs, Colorado
Yampa Valley Airport
is the most important airport serving
Steamboat Springs, Colorado
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Yampa Valley Airport
is an airport for
Steamboat Springs, Colorado
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 13:
United Airlines
is an airline serving the place
Steamboat Springs, Colorado
Fact 13
is true for
June 13th 2009, 00:00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 13
is true at
February 14th 2012, 13:04:35
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 13:
Northwest Airlines
is an airline serving the place
Steamboat Springs, Colorado
Fact 13
is true for
June 13th 2009, 00:00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 13
is true at
February 14th 2012, 13:04:35
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 13:
Delta Connection
is an airline serving the place
Steamboat Springs, Colorado
Fact 13
is true for
May 5th 2010, 09:42:48 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 13
is true at
February 14th 2012, 13:04:35
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 13:
Trans World Airlines
is an airline serving the place
Steamboat Springs, Colorado
Fact 13
is true for
May 5th 2010, 16:54:39 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 13
is true at
February 14th 2012, 13:04:35
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Fort Collins-Loveland Municipal Airport
is an airport for
Steamboat Springs, Colorado
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 13:
Allegiant Air
is an airline serving the place
Steamboat Springs, Colorado
Fact 13
is true for
May 4th 2010, 17:04:40 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 13
is true at
February 14th 2012, 13:04:35
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Aspen-Pitkin County Airport
is an airport for
Steamboat Springs, Colorado
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 13:
Frontier Airlines
is an airline serving the place
Steamboat Springs, Colorado
Fact 13
is true for
May 5th 2010, 09:49:46 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 13
is true at
February 14th 2012, 13:04:35
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Eagle County Regional Airport
is an airport for
Steamboat Springs, Colorado
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 13:
American Airlines, Inc.
is an airline serving the place
Steamboat Springs, Colorado
Fact 13
is true for
May 4th 2010, 17:05:52 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 13
is true at
February 14th 2012, 13:04:35
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 13
is true for
June 13th 2009, 00:00:00 onwards
Fact 13:
Delta Airlines
is an airline serving the place
Steamboat Springs, Colorado
Fact 13
is true for
May 5th 2010, 09:40:04 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 13
is true at
February 14th 2012, 13:04:35
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 13
is true for
June 13th 2009, 00:00:00 onwards