By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 22nd 2013, 07:00:21
I know from locally stored knowledge that:
13°50'18"N
is the latitude of
Jawf
([fact: ["89453899@trueknowledge.com"]])
25°22'59"N
is the latitude of
Hofuf
([fact: ["149404929@trueknowledge.com"]])
45°50'09"E
is the longitude of
Jawf
([fact: ["89453900@trueknowledge.com"]])
49°34'59"E
is the longitude of
Hofuf
([fact: ["149404933@trueknowledge.com"]])
By calculation (generator: ["distance_between3@trueknowledge.com"]) I know that:
Fact 1:
1,341.35884229 kilometres
is the distance between
Jawf and Hofuf
By calculation (generator: ["truenow1@trueknowledge.com"]) I know that:
Fact 1
is true at
May 22nd 2013, 07:00:21
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:
1,341.35884229 kilometres
is a
length
Fact 2
is true for
all time
Therefore (generator: ["strictequal1@trueknowledge.com"]):
length
is not strictly equal to
unspecified member
