By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 19th 2013, 06:29:26
I know from locally stored knowledge that:
21°18'41.04"N
is the latitude of
Hawaii
([fact: ["700850304@trueknowledge.com"]])
16°29'39"S
is the latitude of
Bora-Bora
([fact: ["242375851@trueknowledge.com"]])
204°47'00"W
is the longitude of
Hawaii
([fact: ["555855384@trueknowledge.com"]])
151°44'11"W
is the longitude of
Bora-Bora
([fact: ["242375855@trueknowledge.com"]])
By calculation (generator: ["distance_between3@trueknowledge.com"]) I know that:
Fact 1:
7,144.70800434 kilometres
is the distance between
Hawaii and Bora-Bora
By calculation (generator: ["truenow1@trueknowledge.com"]) I know that:
Fact 1
is true at
June 19th 2013, 06:29:26
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:
7,144.70800434 kilometres
is a
length
Fact 2
is true for
all time
Therefore (generator: ["strictequal1@trueknowledge.com"]):
length
is not strictly equal to
unspecified member
