By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 23rd 2013, 06:51:17
I know from locally stored knowledge that:
40°29'17"N
is the latitude of
New Brunswick, New Jersey
([fact: ["367993183@trueknowledge.com"]])
39°57'07"N
is the latitude of
Philadelphia
([fact: ["152037849@trueknowledge.com"]])
74°27'07"W
is the longitude of
New Brunswick, New Jersey
([fact: ["15102022@trueknowledge.com"]])
75°09'51"W
is the longitude of
Philadelphia
([fact: ["152037861@trueknowledge.com"]])
By calculation (generator: ["distance_between3@trueknowledge.com"]) I know that:
Fact 1:
84.8664940843 kilometres
is the distance between
New Brunswick, New Jersey and Philadelphia
By calculation (generator: ["truenow1@trueknowledge.com"]) I know that:
Fact 1
is true at
May 23rd 2013, 06:51:17
I know from locally stored knowledge that:
true now
applies to
is the distance between
([fact: ["2007520442@trueknowledge.com"]])
By calculation (generator: ["pinstance@trueknowledge.com"]) I know that:
Fact 2:
84.8664940843 kilometres
is a
length
Fact 2
is true for
all time
Therefore (generator: ["strictequal1@trueknowledge.com"]):
length
is not strictly equal to
unspecified member
