By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 24th 2013, 06:46:59
I know from locally stored knowledge that:
Cancún
is a
geographical area
([fact: ["249073554@trueknowledge.com"]])
the southern hemisphere
is a
geographical area
([fact: ["19585338@trueknowledge.com"]])
Fact 1:
Cancún
is in
Mexico
([fact: ["55727202@trueknowledge.com"]])
Fact 1
is true for
November 23rd 1994 onwards
([fact: ["55727203@trueknowledge.com"]])
Mexico
is a
geographical area
([fact: ["16650636@trueknowledge.com"]])
Fact 2:
Mexico
is in
the Northern Hemisphere
([fact: ["152623521@trueknowledge.com"]])
Fact 2
is true for
January 13th 2009 onwards
([fact: ["648274836@trueknowledge.com"]])
Fact 2
is true for
October 20th 2007 onwards
([fact: ["367228619@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:
January 13th 2009 onwards
is the timeperiod intersection of
January 13th 2009 onwards and all time
By calculation (generator: ["geog_distinct5@trueknowledge.com"]) I know that:
Fact 4:
Mexico
has no area in common with
the southern hemisphere
Fact 4
is true for
January 13th 2009 onwards
Fact 4
is true for
October 20th 2007 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
January 13th 2009 onwards
is the timeperiod intersection of
November 23rd 1994 onwards and January 13th 2009 onwards
By calculation (generator: ["geog_distinct5@trueknowledge.com"]) I know that:
Fact 4:
Cancún
has no area in common with
the southern hemisphere
Fact 4
is true for
January 13th 2009 onwards
Fact 4
is true for
October 20th 2007 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
October 20th 2007 onwards
is the timeperiod intersection of
October 20th 2007 onwards and all time
October 20th 2007 onwards
is the timeperiod intersection of
November 23rd 1994 onwards and October 20th 2007 onwards
Therefore (generator: ["geog_distinct3@trueknowledge.com"]):
Fact 6:
Cancún
is not in
the southern hemisphere
By calculation (generator: ["geog_distinct3@trueknowledge.com"]) I know that:
Fact 6
is true for
October 20th 2007 onwards
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 6
is true for all of timepoint
May 24th 2013, 06:46:59
By calculation (generator: ["geog_distinct3@trueknowledge.com"]) I know that:
Fact 6
is true for
January 13th 2009 onwards
