By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 22:34:06
I know from locally stored knowledge that:
Ireland
is partly but not completely located within
The Republic of Ireland
([fact: ["135981512@trueknowledge.com"]])
The Republic of Ireland
is a
time zone area
([fact: ["20037733@trueknowledge.com"]])
By calculation (generator: ["time_zone_area_for2@trueknowledge.com"]) I know that:
The Republic of Ireland
is the time zone area for
Ireland
I know from locally stored knowledge that:
Fact 1:
Irish Summer Time
is the time zone for
The Republic of Ireland
([fact: ["20031715@trueknowledge.com"]])
Fact 1
is true for
March 25th 2012, 01:00 - October 28th 2012, 01:00
([fact: ["847689192@trueknowledge.com"]])
daylight saving
applies to
Irish Summer Time
([fact: ["97193999@trueknowledge.com"]])
By calculation (generator: ["start_daylight_saving_time_in7@trueknowledge.com"]) I know that:
March 25th 2012, 01:00
is the start of daylight saving time in
Ireland
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
March 14th 2013, 22:34:06
is the timepoint sum of
February 14th 2012, 22:34:06 and 1 year, 1 month and 0 days
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
February 14th 2012, 22:34:06 - March 14th 2013, 22:34:06
is strictly equal to
February 14th 2012, 22:34:06 - March 14th 2013, 22:34:06
By calculation (generator: ["pinstance@trueknowledge.com"]) I know that:
Fact 2:
March 25th 2012, 01:00
is a
point in time
Fact 2
is true for
all time
Fact 2:
February 14th 2012, 22:34:06 - March 14th 2013, 22:34:06
is a
period of time
Fact 2
is true for
all time
By calculation (generator: ["timepointintimeperiod@trueknowledge.com"]) I know that:
March 25th 2012, 01:00
is a timepoint within
February 14th 2012, 22:34:06 - March 14th 2013, 22:34:06
Adding…
