I know from locally stored knowledge that:
40°42'51.12"N
is the latitude of
New York City
([fact: ["681810140@trueknowledge.com"]])
51°30'26"N
is the latitude of
London
([fact: ["1007994410@trueknowledge.com"]])
74°00'23.04"W
is the longitude of
New York City
([fact: ["681810180@trueknowledge.com"]])
0°06'22.31"W
is the longitude of
London
([fact: ["689142912@trueknowledge.com"]])
By calculation (generator: ["distance_between3@trueknowledge.com"]) I know that:
5,568.46523747 kilometres
is the distance between
New York City and London
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
kilometre
is the second parameter of
5,568.46523747 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"]])
Fact 2:
100
is the multiplier that converts
metre and centimetre
([fact: ["127371817@trueknowledge.com"]])
Fact 2
is true for
all time
([fact: ["1050410778@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:
100,000
is the product of
1,000 and 100
By calculation (generator: ["multiplier_that_converts2@trueknowledge.com"]) I know that:
Fact 3:
100,000
is the multiplier that converts
kilometre and centimetre
Fact 3
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
February 14th 2012, 19:26:06
By calculation (generator: ["multiplier_that_converts2@trueknowledge.com"]) I know that:
Fact 3
is true for
the beginning of time onwards
By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 19:26:06
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:
5,568.46523747
is the first parameter of
5,568.46523747 kilometres
By calculation (generator: ["product@trueknowledge.com"]) I know that:
556,846,523.747
is the product of
100,000 and 5,568.46523747
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
length
is the class of the parametered object
5,568.46523747 kilometres
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
556,846,523.747 centimetres
is the parametered object corresponding to
length and 556,846,523.747 and centimetre
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 4:
556,846,523.747 centimetres
is equivalent to
5,568.46523747 kilometres
Fact 4
is true at
February 14th 2012, 19:26:06
Fact 4:
centimetre
is the unit used in
556,846,523.747 centimetres
Adding…
