I know from locally stored knowledge that:
1 mile
is the first part of the ratio unit
miles per hour
([fact: ["664126324@trueknowledge.com"]])
By calculation (generator: ["pinstance@trueknowledge.com"]) I know that:
Fact 1:
1 mile
is a
length
Fact 1
is true for
all time
I know from locally stored knowledge that:
1 hour
is the second part of the ratio unit
miles per hour
([fact: ["664126328@trueknowledge.com"]])
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
mile
is the second parameter of
1 mile
hour
is the second parameter of
1 hour
mile
is the second parameter of
127 miles
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
mile
is strictly equal to
mile
By calculation (generator: ["multiplier_that_converts4@trueknowledge.com"]) I know that:
Fact 2:
1
is the multiplier that converts
mile and mile
Fact 2
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 25th 2013, 19:49:26
By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 25th 2013, 19:49:26
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
127
is the first parameter of
127 miles
By calculation (generator: ["product@trueknowledge.com"]) I know that:
127
is the product of
1 and 127
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
length
is the class of the parametered object
127 miles
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
127 miles
is the parametered object corresponding to
length and 127 and mile
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 3:
127 miles
is equivalent to
127 miles
Fact 3
is true at
May 25th 2013, 19:49:26
Fact 3:
mile
is the unit used in
127 miles
By calculation (generator: ["quotient@trueknowledge.com"]) I know that:
2 27/50
is the quotient of
127 and 50
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
2 27/50 hours
is strictly equal to
2 27/50 hours
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
hour
is the second parameter of
2 27/50 hours
I know from locally stored knowledge that:
hours and minutes
is a
compound unit
([fact: ["366861519@trueknowledge.com"]])
hours and minutes
is a
compound of two units
([fact: ["366861523@trueknowledge.com"]])
minute
is the second unit of
hours and minutes
([fact: ["366861531@trueknowledge.com"]])
By calculation (generator: ["base_unit@trueknowledge.com"]) I know that:
minute
is the base unit of
hours and minutes
By calculation (generator: ["starting_point_on_scale@trueknowledge.com"]) I know that:
0
is the lowest point on the scale of
hour
0
is the lowest point on the scale of
minute
I know from locally stored knowledge that:
Fact 4:
60
is the multiplier that converts
hour and minute
([fact: ["136025615@trueknowledge.com"]])
Fact 4
is true for
all time
([fact: ["1050411434@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 4
is true at
May 25th 2013, 19:49:26
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
2 27/50
is the first parameter of
2 27/50 hours
By calculation (generator: ["difference@trueknowledge.com"]) I know that:
2 27/50
is the difference of
2 27/50 and 0
By calculation (generator: ["product@trueknowledge.com"]) I know that:
152 2/5
is the product of
60 and 2 27/50
By calculation (generator: ["sum@trueknowledge.com"]) I know that:
152 2/5
is the sum of
152 2/5 and 0
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
length of time
is the class of the parametered object
2 27/50 hours
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
152 2/5 minutes
is the parametered object corresponding to
length of time and 152 2/5 and minute
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
minute
is the second parameter of
152 2/5 minutes
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
152 2/5
is the first parameter of
152 2/5 minutes
I know from locally stored knowledge that:
hour
is the first unit of
hours and minutes
([fact: ["366861527@trueknowledge.com"]])
By calculation (generator: ["integer_quotient@trueknowledge.com"]) I know that:
2
is the integer quotient of
152 2/5 and 60
By calculation (generator: ["remainder_after_division@trueknowledge.com"]) I know that:
32.4
is the remainder after the division of
152 2/5 and 60
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
length of time
is the class of the parametered object
152 2/5 minutes
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
2 hours and 32.4 minutes
is the parametered object corresponding to
length of time and 2 and 32.4 and hours and minutes
By calculation (generator: ["base_unit_equivalent2@trueknowledge.com"]) I know that:
152 2/5 minutes
is the base unit equivalent of
2 hours and 32.4 minutes
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
hours and minutes
is the second parameter of
2 hours and 32.4 minutes
By calculation (generator: ["equivalent_to3@trueknowledge.com"]) I know that:
Fact 5:
2 hours and 32.4 minutes
is equivalent to
2 27/50 hours
Fact 5
is true at
May 25th 2013, 19:49:26
Fact 5:
hours and minutes
is the unit used in
2 hours and 32.4 minutes
By calculation (generator: ["time_to_travel_distance1@trueknowledge.com"]) I know that:
2 hours and 32.4 minutes
is the time to travel the distance at the speed
127 miles and 50 miles per hour