I know from locally stored knowledge that:
Fact 1:
the 28th of December
is a
day
([fact: ["2670280434@trueknowledge.com"]])
By calculation (generator: ["pinstance@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
I know from locally stored knowledge that:
day
is a subclass of
conceptual object
([fact: ["1152610@trueknowledge.com"]])
day
is a subclass of
entity
([fact: ["647905404@trueknowledge.com"]])
day
is a subclass of
time and date related concept
([fact: ["15623827@trueknowledge.com"]])
day
is a subclass of
concept that can be classified by sector of human endeavor
([fact: ["647905408@trueknowledge.com"]])
day
is a subclass of
part of a year
([fact: ["123891404@trueknowledge.com"]])
holiday in England and Wales
is a subclass of
public holiday
([fact: ["105774650@trueknowledge.com"]])
holiday in England and Wales
is a subclass of
holiday in some parts of England and Wales
([fact: ["105712100@trueknowledge.com"]])
holiday in England and Wales
is a subclass of
calendar date
([fact: ["1143440@trueknowledge.com"]])
Earth Day
is a subclass of
day
([fact: ["368094699@trueknowledge.com"]])
New Year's Day
is a subclass of
holiday in England and Wales
([fact: ["105707310@trueknowledge.com"]])
Good Friday
is a subclass of
holiday in England and Wales
([fact: ["105707312@trueknowledge.com"]])
Easter Monday
is a subclass of
holiday in England and Wales
([fact: ["105707314@trueknowledge.com"]])
May Day
is a subclass of
holiday in England and Wales
([fact: ["105707316@trueknowledge.com"]])
Christmas Day
is a subclass of
holiday in England and Wales
([fact: ["105707318@trueknowledge.com"]])
Boxing Day
is a subclass of
holiday in England and Wales
([fact: ["105707320@trueknowledge.com"]])
uk bank holiday
is a subclass of
holiday in England and Wales
([fact: ["105774724@trueknowledge.com"]])
August Bank Holiday
is a subclass of
holiday in England and Wales
([fact: ["123912059@trueknowledge.com"]])
holiday in England and Wales during 2006
is a subclass of
holiday in England and Wales
([fact: ["141075513@trueknowledge.com"]])
holiday in England and Wales during 2007
is a subclass of
holiday in England and Wales
([fact: ["141075517@trueknowledge.com"]])
holiday in England and Wales during 2008
is a subclass of
holiday in England and Wales
([fact: ["141075521@trueknowledge.com"]])
holiday in England and Wales during 2009
is a subclass of
holiday in England and Wales
([fact: ["141075525@trueknowledge.com"]])
holiday in England and Wales during 2010
is a subclass of
holiday in England and Wales
([fact: ["141075529@trueknowledge.com"]])
holiday in England and Wales during 2011
is a subclass of
holiday in England and Wales
([fact: ["141075533@trueknowledge.com"]])
holiday in England and Wales during 2012
is a subclass of
holiday in England and Wales
([fact: ["141075537@trueknowledge.com"]])
holiday in England and Wales during 2013
is a subclass of
holiday in England and Wales
([fact: ["141075545@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
day
is a distinct class from
holiday in England and Wales
Therefore (generator: ["distinct1@trueknowledge.com"]):
Fact 2:
the 28th of December
is not a
holiday in England and Wales
By calculation (generator: ["distinct1@trueknowledge.com"]) I know that:
Fact 2
is true for
all time
Facts
Show facts
