By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 24th 2013, 03:35:22
I know from locally stored knowledge that:
Venice
is a
geographical area
([fact: ["136136460@trueknowledge.com"]])
the southern hemisphere
is a
geographical area
([fact: ["19585338@trueknowledge.com"]])
Fact 1:
Venice
is in
Italy
([fact: ["43966044@trueknowledge.com"]])
Fact 1
is true for
October 21st 2004 onwards
([fact: ["43966045@trueknowledge.com"]])
Italy
is a
geographical area
([fact: ["136002960@trueknowledge.com"]])
Fact 2:
Italy
is in
the Northern Hemisphere
([fact: ["1008309106@trueknowledge.com"]])
Fact 2
is true for
December 13th 2010, 12:42:34 onwards
([fact: ["1059532834@trueknowledge.com"]])
Fact 3:
the Northern Hemisphere
has no area in common with
the southern hemisphere
([fact: ["20464498@trueknowledge.com"]])
Fact 3
is true for
all time
([fact: ["878603128@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
December 13th 2010, 12:42:34 onwards
is the timeperiod intersection of
December 13th 2010, 12:42:34 onwards and all time
By calculation (generator: ["geog_distinct5@trueknowledge.com"]) I know that:
Fact 4:
Italy
has no area in common with
the southern hemisphere
Fact 4
is true for
December 13th 2010, 12:42:34 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
December 13th 2010, 12:42:34 onwards
is the timeperiod intersection of
October 21st 2004 onwards and December 13th 2010, 12:42:34 onwards
By calculation (generator: ["geog_distinct5@trueknowledge.com"]) I know that:
Fact 4:
Venice
has no area in common with
the southern hemisphere
Fact 4
is true for
December 13th 2010, 12:42:34 onwards
Therefore (generator: ["geog_distinct3@trueknowledge.com"]):
Fact 6:
Venice
is not in
the southern hemisphere
By calculation (generator: ["geog_distinct3@trueknowledge.com"]) I know that:
Fact 6
is true for
December 13th 2010, 12:42:34 onwards
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 6
is true for all of timepoint
May 24th 2013, 03:35:22
