By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 22nd 2013, 19:19:40
I know from locally stored knowledge that:
[latitude: [north]; [angle: [group: [integer: ["51"]]; [integer: ["28"]]; [real number: ["40.8"]]]; [degrees minutes and seconds]]]
is the latitude of
Cardiff
([fact: ["701112436@trueknowledge.com"]])
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
north
is the first parameter of
[latitude: [north]; [angle: [group: [integer: ["51"]]; [integer: ["28"]]; [real number: ["40.8"]]]; [degrees minutes and seconds]]]
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
north
is strictly equal to
north
I know from locally stored knowledge that:
27°19'48"N
is the latitude of
Gangtok
([fact: ["1015309714@trueknowledge.com"]])
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
north
is the first parameter of
27°19'48"N
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
51 Degrees and 28 minute of arcs and 40.8 seconds
is the second parameter of
[latitude: [north]; [angle: [group: [integer: ["51"]]; [integer: ["28"]]; [real number: ["40.8"]]]; [degrees minutes and seconds]]]
27 Degrees and 19 minute of arcs and 48 seconds
is the second parameter of
27°19'48"N
degrees, minutes, and seconds
is the second parameter of
27 Degrees and 19 minute of arcs and 48 seconds
I know from locally stored knowledge that:
degrees, minutes, and seconds
is a
compound of three units
([fact: ["162435686@trueknowledge.com"]])
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
angle
is the class of the parametered object
27 Degrees and 19 minute of arcs and 48 seconds
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
27, 19 and 48
is the first parameter of
27 Degrees and 19 minute of arcs and 48 seconds
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
27, 19 and 48
is strictly equal to
27, 19 and 48
I know from locally stored knowledge that:
Degree
is the first unit of
degrees, minutes, and seconds
([fact: ["162435690@trueknowledge.com"]])
minute of arc
is the second unit of
degrees, minutes, and seconds
([fact: ["162435750@trueknowledge.com"]])
second
is the third unit of
degrees, minutes, and seconds
([fact: ["162435758@trueknowledge.com"]])
60
is the multiplier that converts
minute of arc and second
([fact: ["162436130@trueknowledge.com"]])
By calculation (generator: ["product@trueknowledge.com"]) I know that:
1,140
is the product of
19 and 60
I know from locally stored knowledge that:
60
is the multiplier that converts
Degree and minute of arc
([fact: ["162436138@trueknowledge.com"]])
By calculation (generator: ["product@trueknowledge.com"]) I know that:
97,200
is the product of
27, 60 and 60
By calculation (generator: ["sum@trueknowledge.com"]) I know that:
98,388
is the sum of
97,200, 1,140 and 48
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
98,388 seconds
is the parametered object corresponding to
angle and 98,388 and second
By calculation (generator: ["base_unit_equivalent3@trueknowledge.com"]) I know that:
98,388 seconds
is the base unit equivalent of
27 Degrees and 19 minute of arcs and 48 seconds
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
second
is the second parameter of
98,388 seconds
I know from locally stored knowledge that:
second
is a
unit of angle
([fact: ["162435626@trueknowledge.com"]])
By calculation (generator: ["instance_scalar_unit@trueknowledge.com"]) I know that:
second
is a
scalar unit
By calculation (generator: ["unit_used_in@trueknowledge.com"]) I know that:
second
is the unit used in
98,388 seconds
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
degrees, minutes, and seconds
is the second parameter of
51 Degrees and 28 minute of arcs and 40.8 seconds
I know from locally stored knowledge that:
degrees, minutes, and seconds
is a
compound unit
([fact: ["243033022@trueknowledge.com"]])
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
angle
is the class of the parametered object
51 Degrees and 28 minute of arcs and 40.8 seconds
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
51, 28 and 40.8
is the first parameter of
51 Degrees and 28 minute of arcs and 40.8 seconds
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
51, 28 and 40.8
is strictly equal to
51, 28 and 40.8
By calculation (generator: ["product@trueknowledge.com"]) I know that:
1,680
is the product of
28 and 60
183,600
is the product of
51, 60 and 60
By calculation (generator: ["sum@trueknowledge.com"]) I know that:
185,320.8
is the sum of
183,600, 1,680 and 40.8
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
185,320.8 seconds
is the parametered object corresponding to
angle and 185,320.8 and second
By calculation (generator: ["base_unit_equivalent3@trueknowledge.com"]) I know that:
185,320.8 seconds
is the base unit equivalent of
51 Degrees and 28 minute of arcs and 40.8 seconds
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
second
is the second parameter of
185,320.8 seconds
By calculation (generator: ["starting_point_on_scale@trueknowledge.com"]) I know that:
0
is the lowest point on the scale of
second
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
second
is strictly equal to
second
By calculation (generator: ["multiplier_that_converts4@trueknowledge.com"]) I know that:
Fact 1:
1
is the multiplier that converts
second and second
Fact 1
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
May 22nd 2013, 19:19:40
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
185,320.8
is the first parameter of
185,320.8 seconds
By calculation (generator: ["difference@trueknowledge.com"]) I know that:
185,320.8
is the difference of
185,320.8 and 0
By calculation (generator: ["product@trueknowledge.com"]) I know that:
185,320.8
is the product of
1 and 185,320.8
By calculation (generator: ["sum@trueknowledge.com"]) I know that:
185,320.8
is the sum of
185,320.8 and 0
By calculation (generator: ["equivalent_to4@trueknowledge.com"]) I know that:
Fact 2:
185,320.8 seconds
is equivalent to
51 Degrees and 28 minute of arcs and 40.8 seconds
Fact 2
is true at
May 22nd 2013, 19:19:40
Fact 2:
second
is the unit used in
185,320.8 seconds
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
98,388
is the first parameter of
98,388 seconds
By calculation (generator: ["numeric_greater_than@trueknowledge.com"]) I know that:
185,320.8
is greater than
98,388
Therefore (generator: ["numeric_greater_than@trueknowledge.com"]):
185,320.8
is not less than
98,388
185,320.8
is not the same as
98,388
By calculation (generator: ["scalar_greater@trueknowledge.com"]) I know that:
51 Degrees and 28 minute of arcs and 40.8 seconds
is greater than
27 Degrees and 19 minute of arcs and 48 seconds
I know from locally stored knowledge that:
27°19'53.45"N
is the latitude of
Gangtok
([fact: ["995741766@trueknowledge.com"]])
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
north
is the first parameter of
27°19'53.45"N
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
27 Degrees and 19 minute of arcs and 53.45 seconds
is the second parameter of
27°19'53.45"N
degrees, minutes, and seconds
is the second parameter of
27 Degrees and 19 minute of arcs and 53.45 seconds
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
angle
is the class of the parametered object
27 Degrees and 19 minute of arcs and 53.45 seconds
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
27, 19 and 53.45
is the first parameter of
27 Degrees and 19 minute of arcs and 53.45 seconds
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
27, 19 and 53.45
is strictly equal to
27, 19 and 53.45
By calculation (generator: ["sum@trueknowledge.com"]) I know that:
98,393.45
is the sum of
97,200, 1,140 and 53.45
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
98,393.45 seconds
is the parametered object corresponding to
angle and 98,393.45 and second
By calculation (generator: ["base_unit_equivalent3@trueknowledge.com"]) I know that:
98,393.45 seconds
is the base unit equivalent of
27 Degrees and 19 minute of arcs and 53.45 seconds
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
second
is the second parameter of
98,393.45 seconds
By calculation (generator: ["unit_used_in@trueknowledge.com"]) I know that:
second
is the unit used in
98,393.45 seconds
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
98,393.45
is the first parameter of
98,393.45 seconds
By calculation (generator: ["numeric_greater_than@trueknowledge.com"]) I know that:
185,320.8
is greater than
98,393.45
Therefore (generator: ["numeric_greater_than@trueknowledge.com"]):
185,320.8
is not less than
98,393.45
185,320.8
is not the same as
98,393.45
By calculation (generator: ["scalar_greater@trueknowledge.com"]) I know that:
51 Degrees and 28 minute of arcs and 40.8 seconds
is greater than
27 Degrees and 19 minute of arcs and 53.45 seconds
I know from locally stored knowledge that:
27°20'00"N
is the latitude of
Gangtok
([fact: ["51963803@trueknowledge.com"]])
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
north
is the first parameter of
27°20'00"N
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
27 Degrees and 20 minute of arcs and 0 seconds
is the second parameter of
27°20'00"N
degrees, minutes, and seconds
is the second parameter of
27 Degrees and 20 minute of arcs and 0 seconds
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
angle
is the class of the parametered object
27 Degrees and 20 minute of arcs and 0 seconds
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
27, 20 and 0
is the first parameter of
27 Degrees and 20 minute of arcs and 0 seconds
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
27, 20 and 0
is strictly equal to
27, 20 and 0
By calculation (generator: ["product@trueknowledge.com"]) I know that:
1,200
is the product of
20 and 60
By calculation (generator: ["sum@trueknowledge.com"]) I know that:
98,400
is the sum of
97,200, 1,200 and 0
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
98,400 seconds
is the parametered object corresponding to
angle and 98,400 and second
By calculation (generator: ["base_unit_equivalent3@trueknowledge.com"]) I know that:
98,400 seconds
is the base unit equivalent of
27 Degrees and 20 minute of arcs and 0 seconds
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
second
is the second parameter of
98,400 seconds
By calculation (generator: ["unit_used_in@trueknowledge.com"]) I know that:
second
is the unit used in
98,400 seconds
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
98,400
is the first parameter of
98,400 seconds
By calculation (generator: ["numeric_greater_than@trueknowledge.com"]) I know that:
185,320.8
is greater than
98,400
Therefore (generator: ["numeric_greater_than@trueknowledge.com"]):
185,320.8
is not less than
98,400
185,320.8
is not the same as
98,400
By calculation (generator: ["scalar_greater@trueknowledge.com"]) I know that:
51 Degrees and 28 minute of arcs and 40.8 seconds
is greater than
27 Degrees and 20 minute of arcs and 0 seconds
By calculation (generator: ["north@trueknowledge.com"]) I know that:
Fact 3:
Cardiff
is north of
Gangtok
By calculation (generator: ["truenow1@trueknowledge.com"]) I know that:
Fact 3
is true at
May 22nd 2013, 19:19:40
I know from locally stored knowledge that:
true now
applies to
is north of
([fact: ["2053926938@trueknowledge.com"]])