By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 20th 2013, 04:20:54
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
3/8
is the first parameter of
3/8 inches
By calculation (generator: ["instance_number3@trueknowledge.com"]) I know that:
3/8
is a
number
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
3/8 inches
is strictly equal to
3/8 inches
By calculation (generator: ["base_unit_equivalent5@trueknowledge.com"]) I know that:
3/8 inches
is the base unit equivalent of
3/8 inches
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
inch
is the second parameter of
3/8 inches
I know from locally stored knowledge that:
Fact 1:
inch
is a
US customary unit
([fact: ["134510928@trueknowledge.com"]])
Fact 1
is true for
January 13th 2009 onwards
([fact: ["702162816@trueknowledge.com"]])
US customary unit
is a subclass of
scalar unit
([fact: ["230143354@trueknowledge.com"]])
By calculation (generator: ["iaif1@trueknowledge.com"]) I know that:
Fact 2:
inch
is a
scalar unit
Fact 2
is true for
January 13th 2009 onwards
By calculation (generator: ["unit_used_in@trueknowledge.com"]) I know that:
inch
is the unit used in
3/8 inches
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
inch
is the second parameter of
5/16 inches
I know from locally stored knowledge that:
Fact 3:
1
is the multiplier that converts
inch and inch
([fact: ["684486508@trueknowledge.com"]])
Fact 3
is true for
all time
([fact: ["1050414406@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 20th 2013, 04:20:54
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
5/16
is the first parameter of
5/16 inches
By calculation (generator: ["product@trueknowledge.com"]) I know that:
5/16
is the product of
1 and 5/16
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
length
is the class of the parametered object
5/16 inches
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
5/16 inches
is the parametered object corresponding to
length and 5/16 and inch
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 4:
5/16 inches
is equivalent to
5/16 inches
Fact 4
is true at
May 20th 2013, 04:20:54
Fact 4:
inch
is the unit used in
5/16 inches
Therefore (generator: ["numeric_greater_than@trueknowledge.com"]):
5/16
is not greater than
3/8
By calculation (generator: ["numeric_greater_than@trueknowledge.com"]) I know that:
5/16
is less than
3/8
Therefore (generator: ["numeric_greater_than@trueknowledge.com"]):
5/16
is not the same as
3/8
Therefore (generator: ["scalar_not_greater@trueknowledge.com"]):
Fact 5:
5/16 inches
is not greater than
3/8 inches
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 5
is true for
all time
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 5
is true for all of timepoint
May 20th 2013, 04:20:54
I know from locally stored knowledge that:
permanent
applies to
is greater than
([fact: ["1156571@trueknowledge.com"]])