By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 13th 2012, 17:05:29
I know from locally stored knowledge that:
Beijing
is a
settlement
([fact: ["7620298@trueknowledge.com"]])
39°53'59"N
is the latitude of
Beijing
([fact: ["260975086@trueknowledge.com"]])
116°23'30"E
is the longitude of
Beijing
([fact: ["694464860@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
39°53'59"N and 116°23'30"E
is strictly equal to
39°53'59"N and 116°23'30"E
By calculation (generator: ["lat_long_to_c-square@trueknowledge.com"]) I know that:
[c-square: ["1311:496:383:499:391:476:226:227"]]
is the c-square version of the co-ordinates
39°53'59"N and 116°23'30"E
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: ["1311:496:383:499:391:476:226:227"]]
is the first parameter of
[c-square: ["1311:496:383:499:391:476:226:227"]] and 100 kilometres
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
100 kilometres
is the second parameter of
[c-square: ["1311:496:383:499:391:476:226:227"]] 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, 17:05:29
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, 17:05:29
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: ["1311:495"]]
is a c-square to test for the point and distance
[c-square: ["1311:496:383:499:391:476:226:227"]] and 100 kilometres
[c-square: ["1311:496"]]
is a c-square to test for the point and distance
[c-square: ["1311:496:383:499:391:476:226:227"]] and 100 kilometres
[c-square: ["1411:205"]]
is a c-square to test for the point and distance
[c-square: ["1311:496:383:499:391:476:226:227"]] and 100 kilometres
[c-square: ["1411:206"]]
is a c-square to test for the point and distance
[c-square: ["1311:496:383:499:391:476:226:227"]] and 100 kilometres
[c-square: ["1411:207"]]
is a c-square to test for the point and distance
[c-square: ["1311:496:383:499:391:476:226:227"]] and 100 kilometres
[c-square: ["1311:497:1"]]
is a c-square to test for the point and distance
[c-square: ["1311:496:383:499:391:476:226:227"]] and 100 kilometres
[c-square: ["1311:497:3"]]
is a c-square to test for the point and distance
[c-square: ["1311:496:383:499:391:476:226:227"]] and 100 kilometres
[c-square: ["1311:497:4"]]
is a c-square to test for the point and distance
[c-square: ["1311:496:383:499:391:476:226:227"]] and 100 kilometres
[c-square: ["1311:394:4"]]
is a c-square to test for the point and distance
[c-square: ["1311:496:383:499:391:476:226:227"]] and 100 kilometres
[c-square: ["1311:497:2"]]
is a c-square to test for the point and distance
[c-square: ["1311:496:383:499:391:476:226:227"]] and 100 kilometres
[c-square: ["1411:104:2"]]
is a c-square to test for the point and distance
[c-square: ["1311:496:383:499:391:476:226:227"]] and 100 kilometres
I know from locally stored knowledge that:
China Southern Airlines
is an airline serving the airport
Tianjin Binhai International Airport
([fact: ["367413487@trueknowledge.com"]])
Air China
is an airline serving the airport
Tianjin Binhai International Airport
([fact: ["799128760@trueknowledge.com"]])
AirAsia X
is an airline serving the airport
Tianjin Binhai International Airport
([fact: ["799141484@trueknowledge.com"]])
Asiana Airlines
is an airline serving the airport
Tianjin Binhai International Airport
([fact: ["799154752@trueknowledge.com"]])
China Eastern Airlines
is an airline serving the airport
Tianjin Binhai International Airport
([fact: ["800016088@trueknowledge.com"]])
EVA Air
is an airline serving the airport
Tianjin Binhai International Airport
([fact: ["800025920@trueknowledge.com"]])
Etihad Airways
is an airline serving the airport
Tianjin Binhai International Airport
([fact: ["800030720@trueknowledge.com"]])
Hainan Airlines
is an airline serving the airport
Tianjin Binhai International Airport
([fact: ["800035544@trueknowledge.com"]])
Japan Airlines
is an airline serving the airport
Tianjin Binhai International Airport
([fact: ["800041100@trueknowledge.com"]])
Korean Air
is an airline serving the airport
Tianjin Binhai International Airport
([fact: ["800047084@trueknowledge.com"]])
Kunpeng Airlines
is an airline serving the airport
Tianjin Binhai International Airport
([fact: ["800047580@trueknowledge.com"]])
Shanghai Airlines
is an airline serving the airport
Tianjin Binhai International Airport
([fact: ["800068940@trueknowledge.com"]])
Shenzhen Airlines
is an airline serving the airport
Tianjin Binhai International Airport
([fact: ["800069540@trueknowledge.com"]])
Sichuan Airlines
is an airline serving the airport
Tianjin Binhai International Airport
([fact: ["800069964@trueknowledge.com"]])
Xiamen Airlines
is an airline serving the airport
Tianjin Binhai International Airport
([fact: ["800169248@trueknowledge.com"]])
By calculation (generator: ["airport_serving@trueknowledge.com"]) I know that:
Fact 3:
Tianjin Binhai International Airport
is the most important airport serving
Beijing
By calculation (generator: ["truenow1@trueknowledge.com"]) I know that:
Fact 3
is true at
February 13th 2012, 17:05:29
I know from locally stored knowledge that:
true now
applies to
is the most important airport serving
([fact: ["1649861834@trueknowledge.com"]])
Adding…
