I know from locally stored knowledge that:
West Virginia
commonly translates as
"West Virginia"
([fact: ["1152465@trueknowledge.com"]])
West Virginia
is in
the EST/EDT region
([fact: ["20031149@trueknowledge.com"]])
By calculation (generator: ["geographically_located_within_or_equal_to@trueknowledge.com"]) I know that:
West Virginia
is geographically located within or is equal to
the EST/EDT region
I know from locally stored knowledge that:
the EST/EDT region
is a
time zone area
([fact: ["1165750@trueknowledge.com"]])
By calculation (generator: ["time_zone_area_for@trueknowledge.com"]) I know that:
the EST/EDT region
is the time zone area for
West Virginia
I know from locally stored knowledge that:
Eastern Daylight Time
is the time zone for
the EST/EDT region
([fact: ["20029991@trueknowledge.com"]])
Eastern Standard Time
is the time zone for
the EST/EDT region
([fact: ["1807244@trueknowledge.com"]])
By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 21:52:19
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
August 14th 2012, 21:52:19
is the timepoint sum of
February 14th 2012, 21:52:19 and 6 months and 0 days
By calculation (generator: ["description_daylight-saving_end_in@trueknowledge.com"]) I know that:
Fact 1:
West Virginia does not use daylight saving time.
is the description of daylight-saving end in
West Virginia
Fact 1
is true for
February 14th 2012, 21:52:19 - August 14th 2012, 21:52:19
Adding…
