By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 13th 2012, 20:40:55
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"]])
Jasper, Alabama
is a
settlement
([fact: ["9103193@trueknowledge.com"]])
33°49'51"N
is the latitude of
Jasper, Alabama
([fact: ["159244841@trueknowledge.com"]])
87°16'39"W
is the longitude of
Jasper, Alabama
([fact: ["159244845@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
33°49'51"N and 87°16'39"W
is strictly equal to
33°49'51"N and 87°16'39"W
By calculation (generator: ["lat_long_to_c-square@trueknowledge.com"]) I know that:
[c-square: ["7308:237:382:237:207:485:130:130"]]
is the c-square version of the co-ordinates
33°49'51"N and 87°16'39"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: ["7308:237:382:237:207:485:130:130"]]
is the first parameter of
[c-square: ["7308:237:382:237:207:485:130:130"]] and 100 kilometres
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
100 kilometres
is the second parameter of
[c-square: ["7308:237:382:237:207:485:130:130"]] 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 13th 2012, 20:40:55
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 13th 2012, 20:40:55
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: ["7308:227"]]
is a c-square to test for the point and distance
[c-square: ["7308:237:382:237:207:485:130:130"]] and 100 kilometres
[c-square: ["7308:236"]]
is a c-square to test for the point and distance
[c-square: ["7308:237:382:237:207:485:130:130"]] and 100 kilometres
[c-square: ["7308:237"]]
is a c-square to test for the point and distance
[c-square: ["7308:237:382:237:207:485:130:130"]] and 100 kilometres
[c-square: ["7308:238"]]
is a c-square to test for the point and distance
[c-square: ["7308:237:382:237:207:485:130:130"]] and 100 kilometres
[c-square: ["7308:246"]]
is a c-square to test for the point and distance
[c-square: ["7308:237:382:237:207:485:130:130"]] and 100 kilometres
[c-square: ["7308:247"]]
is a c-square to test for the point and distance
[c-square: ["7308:237:382:237:207:485:130:130"]] and 100 kilometres
[c-square: ["7308:248:1"]]
is a c-square to test for the point and distance
[c-square: ["7308:237:382:237:207:485:130:130"]] and 100 kilometres
[c-square: ["7308:226:4"]]
is a c-square to test for the point and distance
[c-square: ["7308:237:382:237:207:485:130:130"]] and 100 kilometres
[c-square: ["7308:235:2"]]
is a c-square to test for the point and distance
[c-square: ["7308:237:382:237:207:485:130:130"]] and 100 kilometres
[c-square: ["7308:235:4"]]
is a c-square to test for the point and distance
[c-square: ["7308:237:382:237:207:485:130:130"]] and 100 kilometres
[c-square: ["7308:245:2"]]
is a c-square to test for the point and distance
[c-square: ["7308:237:382:237:207:485:130:130"]] and 100 kilometres
[c-square: ["7308:248:2"]]
is a c-square to test for the point and distance
[c-square: ["7308:237:382:237:207:485:130:130"]] and 100 kilometres
[c-square: ["7308:248:3"]]
is a c-square to test for the point and distance
[c-square: ["7308:237:382:237:207:485:130:130"]] and 100 kilometres
I know from locally stored knowledge that:
Fact 3:
Lufthansa
is an airline serving the airport
Birmingham International Airport
([fact: ["367403787@trueknowledge.com"]])
Fact 3
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367403791@trueknowledge.com"]])
Fact 4:
Emirates Airlines
is an airline serving the airport
Birmingham International Airport
([fact: ["367405447@trueknowledge.com"]])
Fact 4
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367405451@trueknowledge.com"]])
Fact 5:
Air Wisconsin
is an airline serving the airport
Birmingham International Airport
([fact: ["799140188@trueknowledge.com"]])
Fact 5
is true for
May 4th 2010, 17:01:19 onwards
([fact: ["799140196@trueknowledge.com"]])
Fact 6:
American Airlines, Inc.
is an airline serving the airport
Birmingham International Airport
([fact: ["799148152@trueknowledge.com"]])
Fact 6
is true for
May 4th 2010, 17:05:46 onwards
([fact: ["799148168@trueknowledge.com"]])
Fact 7:
American Eagle Airlines
is an airline serving the airport
Birmingham International Airport
([fact: ["799149432@trueknowledge.com"]])
Fact 7
is true for
May 4th 2010, 17:06:37 onwards
([fact: ["799149436@trueknowledge.com"]])
Fact 8:
Continental Express
is an airline serving the airport
Birmingham International Airport
([fact: ["800019172@trueknowledge.com"]])
Fact 8
is true for
May 5th 2010, 08:14:33 onwards
([fact: ["800019176@trueknowledge.com"]])
Fact 9:
Delta Airlines
is an airline serving the airport
Birmingham International Airport
([fact: ["800022204@trueknowledge.com"]])
Fact 9
is true for
May 5th 2010, 09:39:46 onwards
([fact: ["800022208@trueknowledge.com"]])
Fact 10:
Delta Connection
is an airline serving the airport
Birmingham International Airport
([fact: ["800023384@trueknowledge.com"]])
Fact 10
is true for
May 5th 2010, 09:41:24 onwards
([fact: ["800023388@trueknowledge.com"]])
Fact 11:
Southwest Airlines, Inc.
is an airline serving the airport
Birmingham International Airport
([fact: ["800071916@trueknowledge.com"]])
Fact 11
is true for
May 5th 2010, 10:38:17 onwards
([fact: ["800071920@trueknowledge.com"]])
Delta Connection
is an airline serving the airport
Golden Triangle Regional Airport
([fact: ["800023832@trueknowledge.com"]])
Fact 12:
American Airlines, Inc.
is an airline serving the airport
Huntsville International Airport
([fact: ["367406047@trueknowledge.com"]])
Fact 12
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367406051@trueknowledge.com"]])
Fact 13:
Delta Airlines
is an airline serving the airport
Huntsville International Airport
([fact: ["367409815@trueknowledge.com"]])
Fact 13
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367409819@trueknowledge.com"]])
Fact 14:
Air Wisconsin
is an airline serving the airport
Huntsville International Airport
([fact: ["799140504@trueknowledge.com"]])
Fact 14
is true for
May 4th 2010, 17:01:27 onwards
([fact: ["799140512@trueknowledge.com"]])
Fact 15:
American Eagle Airlines
is an airline serving the airport
Huntsville International Airport
([fact: ["799150084@trueknowledge.com"]])
Fact 15
is true for
May 4th 2010, 17:06:58 onwards
([fact: ["799150088@trueknowledge.com"]])
Fact 16:
Cargolux
is an airline serving the airport
Huntsville International Airport
([fact: ["800013448@trueknowledge.com"]])
Fact 16
is true for
May 5th 2010, 08:08:17 onwards
([fact: ["800013464@trueknowledge.com"]])
Fact 17:
Continental Express
is an airline serving the airport
Huntsville International Airport
([fact: ["800019516@trueknowledge.com"]])
Fact 17
is true for
May 5th 2010, 08:14:53 onwards
([fact: ["800019528@trueknowledge.com"]])
Fact 18:
Delta Connection
is an airline serving the airport
Huntsville International Airport
([fact: ["800023984@trueknowledge.com"]])
Fact 18
is true for
May 5th 2010, 09:41:57 onwards
([fact: ["800023988@trueknowledge.com"]])
By calculation (generator: ["airport_serving@trueknowledge.com"]) I know that:
Birmingham International Airport
is the most important airport serving
Jasper, Alabama
Golden Triangle Regional Airport
is the most important airport serving
Jasper, Alabama
Huntsville International Airport
is the most important airport serving
Jasper, Alabama
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Huntsville International Airport
is an airport for
Jasper, Alabama
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 19:
Cargolux
is an airline serving the place
Jasper, Alabama
Fact 19
is true for
May 5th 2010, 08:08:17 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 19
is true at
February 13th 2012, 20:40:55
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Birmingham International Airport
is an airport for
Jasper, Alabama
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 19:
Lufthansa
is an airline serving the place
Jasper, Alabama
Fact 19
is true for
June 13th 2009, 00:00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 19
is true at
February 13th 2012, 20:40:55
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 19:
Emirates Airlines
is an airline serving the place
Jasper, Alabama
Fact 19
is true for
June 13th 2009, 00:00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 19
is true at
February 13th 2012, 20:40:55
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 19:
Air Wisconsin
is an airline serving the place
Jasper, Alabama
Fact 19
is true for
May 4th 2010, 17:01:19 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 19
is true at
February 13th 2012, 20:40:55
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 19
is true for
May 4th 2010, 17:01:27 onwards
Fact 19:
American Airlines, Inc.
is an airline serving the place
Jasper, Alabama
Fact 19
is true for
May 4th 2010, 17:05:46 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 19
is true at
February 13th 2012, 20:40:55
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 19
is true for
June 13th 2009, 00:00:00 onwards
Fact 19:
American Eagle Airlines
is an airline serving the place
Jasper, Alabama
Fact 19
is true for
May 4th 2010, 17:06:37 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 19
is true at
February 13th 2012, 20:40:55
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 19
is true for
May 4th 2010, 17:06:58 onwards
Fact 19:
Continental Express
is an airline serving the place
Jasper, Alabama
Fact 19
is true for
May 5th 2010, 08:14:33 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 19
is true at
February 13th 2012, 20:40:55
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 19
is true for
May 5th 2010, 08:14:53 onwards
Fact 19:
Delta Airlines
is an airline serving the place
Jasper, Alabama
Fact 19
is true for
May 5th 2010, 09:39:46 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 19
is true at
February 13th 2012, 20:40:55
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 19
is true for
June 13th 2009, 00:00:00 onwards
Fact 19:
Delta Connection
is an airline serving the place
Jasper, Alabama
Fact 19
is true for
May 5th 2010, 09:41:24 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 19
is true at
February 13th 2012, 20:40:55
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 19
is true for
May 5th 2010, 09:41:57 onwards
Fact 19:
Southwest Airlines, Inc.
is an airline serving the place
Jasper, Alabama
Fact 19
is true for
May 5th 2010, 10:38:17 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 19
is true at
February 13th 2012, 20:40:55