I know from locally stored knowledge that:
51°27'33"N
is the latitude of
Heathrow Terminal 4 tube station
([fact: ["151830993@trueknowledge.com"]])
33°26'53"N
is the latitude of
Phoenix, Arizona
([fact: ["160971117@trueknowledge.com"]])
0°26'48"W
is the longitude of
Heathrow Terminal 4 tube station
([fact: ["151831009@trueknowledge.com"]])
112°04'27"W
is the longitude of
Phoenix, Arizona
([fact: ["13752232@trueknowledge.com"]])
By calculation (generator: ["distance_between3@trueknowledge.com"]) I know that:
8,461.98165904 kilometres
is the distance between
Heathrow Terminal 4 tube station and Phoenix, Arizona
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
kilometre
is the second parameter of
8,461.98165904 kilometres
I know from locally stored knowledge that:
metre
is the optimum conversion unit for
kilometre
([fact: ["642099200@trueknowledge.com"]])
Fact 1:
1,000
is the multiplier that converts
kilometre and metre
([fact: ["127372706@trueknowledge.com"]])
Fact 1
is true for
all time
([fact: ["1050410786@trueknowledge.com"]])
Fact 1
is true for
the beginning of time onwards
([fact: ["127372707@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
all time
is the timeperiod intersection of
all time and all time
By calculation (generator: ["product@trueknowledge.com"]) I know that:
250/463
is the product of
1,000 and 1/1852
By calculation (generator: ["multiplier_that_converts2@trueknowledge.com"]) I know that:
Fact 2:
250/463
is the multiplier that converts
kilometre and air mile
Fact 2
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 19th 2013, 08:14:53
By calculation (generator: ["multiplier_that_converts2@trueknowledge.com"]) I know that:
Fact 2
is true for
the beginning of time onwards
By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 19th 2013, 08:14:53
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
the beginning of time onwards
is the timeperiod intersection of
the beginning of time onwards and all time
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
8,461.98165904
is the first parameter of
8,461.98165904 kilometres
By calculation (generator: ["product@trueknowledge.com"]) I know that:
4,569.1045675162
is the product of
250/463 and 8,461.98165904
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
length
is the class of the parametered object
8,461.98165904 kilometres
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
4,569.1045675162 air miles
is the parametered object corresponding to
length and 4,569.1045675162 and air mile
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 3:
4,569.1045675162 air miles
is equivalent to
8,461.98165904 kilometres
Fact 3
is true at
May 19th 2013, 08:14:53
Fact 3:
air mile
is the unit used in
4,569.1045675162 air miles
Facts
Show facts
