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
234 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 19th 2013, 19:37:07
By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 19th 2013, 19:37:07
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
234
is the first parameter of
234 miles
By calculation (generator: ["product@trueknowledge.com"]) I know that:
234
is the product of
1 and 234
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
length
is the class of the parametered object
234 miles
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
234 miles
is the parametered object corresponding to
length and 234 and mile
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 3:
234 miles
is equivalent to
234 miles
Fact 3
is true at
May 19th 2013, 19:37:07
Fact 3:
mile
is the unit used in
234 miles
By calculation (generator: ["quotient@trueknowledge.com"]) I know that:
5 1/5
is the quotient of
234 and 45
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
5 1/5 hours
is strictly equal to
5 1/5 hours
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
hour
is the second parameter of
5 1/5 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 19th 2013, 19:37:07
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
5 1/5
is the first parameter of
5 1/5 hours
By calculation (generator: ["difference@trueknowledge.com"]) I know that:
5 1/5
is the difference of
5 1/5 and 0
By calculation (generator: ["product@trueknowledge.com"]) I know that:
312
is the product of
60 and 5 1/5
By calculation (generator: ["sum@trueknowledge.com"]) I know that:
312
is the sum of
312 and 0
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
length of time
is the class of the parametered object
5 1/5 hours
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
312 minutes
is the parametered object corresponding to
length of time and 312 and minute
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
minute
is the second parameter of
312 minutes
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
312
is the first parameter of
312 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:
5
is the integer quotient of
312 and 60
By calculation (generator: ["remainder_after_division@trueknowledge.com"]) I know that:
12
is the remainder after the division of
312 and 60
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
length of time
is the class of the parametered object
312 minutes
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
5 hours and 12 minutes
is the parametered object corresponding to
length of time and 5 and 12 and hours and minutes
By calculation (generator: ["base_unit_equivalent2@trueknowledge.com"]) I know that:
312 minutes
is the base unit equivalent of
5 hours and 12 minutes
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
hours and minutes
is the second parameter of
5 hours and 12 minutes
By calculation (generator: ["equivalent_to3@trueknowledge.com"]) I know that:
Fact 5:
5 hours and 12 minutes
is equivalent to
5 1/5 hours
Fact 5
is true at
May 19th 2013, 19:37:07
Fact 5:
hours and minutes
is the unit used in
5 hours and 12 minutes
By calculation (generator: ["time_to_travel_distance1@trueknowledge.com"]) I know that:
5 hours and 12 minutes
is the time to travel the distance at the speed
234 miles and 45 miles per hour
Facts
Show facts
