By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 13th 2012, 22:12:29
By calculation (generator: ["next_day@trueknowledge.com"]) I know that:
July 24th 2012
is the next timepoint with the date
the 24th of July
By calculation (generator: ["dayofweek@trueknowledge.com"]) I know that:
July 24th 2012
is a
Tuesday
I know from locally stored knowledge that:
Tuesday
is a
day of the week
([fact: ["1153584@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Tuesday
is not strictly equal to
holiday in England and Wales
I know from locally stored knowledge that:
Fact 1:
July 24th 2012
is a
Pioneer Day
([fact: ["105711060@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
Pioneer Day
I know from locally stored knowledge that:
Pioneer Day
is a subclass of
holiday in some parts of the United States
([fact: ["105708710@trueknowledge.com"]])
holiday in some parts of the United States
is a subclass of
public holiday
([fact: ["105774754@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
Pioneer Day
is a subclass of
public holiday
I know from locally stored knowledge that:
permanent
applies to
Pioneer Day
([fact: ["105775117@trueknowledge.com"]])
By calculation (generator: ["iaif1@trueknowledge.com"]) I know that:
Fact 2:
July 24th 2012
is a
public holiday
Fact 2
is true for
all time
Therefore (generator: ["strictequal1@trueknowledge.com"]):
public holiday
is not strictly equal to
holiday in England and Wales
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
holiday in some parts of the United States
I know from locally stored knowledge that:
public holiday
is a subclass of
designated day
([fact: ["123952976@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
holiday in some parts of the United States
is a subclass of
designated day
Pioneer Day
is a subclass of
designated day
By calculation (generator: ["iaif1@trueknowledge.com"]) I know that:
Fact 2:
July 24th 2012
is a
designated day
Fact 2
is true for
all time
Therefore (generator: ["strictequal1@trueknowledge.com"]):
designated day
is not strictly equal to
holiday in England and Wales
Therefore (generator: ["not_instance11@trueknowledge.com"]):
July 24th 2012
is not a
holiday in England and Wales
Adding…
