I know from locally stored knowledge that:
17°34'00"N
is the latitude of
Vigan
([fact: ["81751261@trueknowledge.com"]])
17°37'19"N
is the latitude of
San Ildefonso
([fact: ["161063945@trueknowledge.com"]])
120°23'00"E
is the longitude of
Vigan
([fact: ["81751262@trueknowledge.com"]])
120°23'049.2"E
is the longitude of
San Ildefonso
([fact: ["637312764@trueknowledge.com"]])
By calculation (generator: ["distance_between3@trueknowledge.com"]) I know that:
6.31146904398 kilometres
is the distance between
Vigan and San Ildefonso
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
kilometre
is the second parameter of
6.31146904398 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
May 26th 2013, 06:20:05
By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 26th 2013, 06:20:05
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
6.31146904398
is the first parameter of
6.31146904398 kilometres
By calculation (generator: ["product@trueknowledge.com"]) I know that:
6.31146904398
is the product of
1 and 6.31146904398
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
length
is the class of the parametered object
6.31146904398 kilometres
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
6.31146904398 kilometres
is the parametered object corresponding to
length and 6.31146904398 and kilometre
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 2:
6.31146904398 kilometres
is equivalent to
6.31146904398 kilometres
Fact 2
is true at
May 26th 2013, 06:20:05
Fact 2:
kilometre
is the unit used in
6.31146904398 kilometres
Facts
Show facts
