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