I know from locally stored knowledge that:
Fact 1:
Monday
is a
day of the week
([fact: ["1153561@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
I know from locally stored knowledge that:
day of the week
is a subclass of
class
([fact: ["147997121@trueknowledge.com"]])
holiday in some parts of the United States
is a subclass of
public holiday
([fact: ["105774754@trueknowledge.com"]])
weekend day
is a subclass of
day of the week
([fact: ["2493168858@trueknowledge.com"]])
weekday
is a subclass of
day of the week
([fact: ["139882097@trueknowledge.com"]])
[holiday by date within trading day area: [the united states of america]]
is a subclass of
holiday in some parts of the United States
([fact: ["105712094@trueknowledge.com"]])
West Virginia Day
is a subclass of
holiday in some parts of the United States
([fact: ["105708714@trueknowledge.com"]])
Lee-Jackson Day
is a subclass of
holiday in some parts of the United States
([fact: ["105708712@trueknowledge.com"]])
Pioneer Day
is a subclass of
holiday in some parts of the United States
([fact: ["105708710@trueknowledge.com"]])
Juneteenth
is a subclass of
holiday in some parts of the United States
([fact: ["105708708@trueknowledge.com"]])
Confederate Veterans Day
is a subclass of
holiday in some parts of the United States
([fact: ["105708706@trueknowledge.com"]])
Tennessee Statehood Day
is a subclass of
holiday in some parts of the United States
([fact: ["105708704@trueknowledge.com"]])
Andrew Jackson Day
is a subclass of
holiday in some parts of the United States
([fact: ["105708702@trueknowledge.com"]])
Victory Day
is a subclass of
holiday in some parts of the United States
([fact: ["105708700@trueknowledge.com"]])
Oklahoma Statehood Day
is a subclass of
holiday in some parts of the United States
([fact: ["105708698@trueknowledge.com"]])
Martin Luther King Day
is a subclass of
holiday in some parts of the United States
([fact: ["105708696@trueknowledge.com"]])
Nevada Day
is a subclass of
holiday in some parts of the United States
([fact: ["105708694@trueknowledge.com"]])
Arbor Day
is a subclass of
holiday in some parts of the United States
([fact: ["105708692@trueknowledge.com"]])
Truman Day
is a subclass of
holiday in some parts of the United States
([fact: ["105708690@trueknowledge.com"]])
Maryland Day
is a subclass of
holiday in some parts of the United States
([fact: ["105708688@trueknowledge.com"]])
Patriots Day
is a subclass of
holiday in some parts of the United States
([fact: ["105708686@trueknowledge.com"]])
Mardi Gras
is a subclass of
holiday in some parts of the United States
([fact: ["105708683@trueknowledge.com"]])
Kansas Day
is a subclass of
holiday in some parts of the United States
([fact: ["105708681@trueknowledge.com"]])
Idaho Human Rights Day
is a subclass of
holiday in some parts of the United States
([fact: ["105708679@trueknowledge.com"]])
Admission Day
is a subclass of
holiday in some parts of the United States
([fact: ["105707822@trueknowledge.com"]])
Prince Jonah Kuhio Kalanianaole Day
is a subclass of
holiday in some parts of the United States
([fact: ["105707820@trueknowledge.com"]])
Kamehameha Day
is a subclass of
holiday in some parts of the United States
([fact: ["105707818@trueknowledge.com"]])
Pascua Florida Day
is a subclass of
holiday in some parts of the United States
([fact: ["105707816@trueknowledge.com"]])
Good Friday
is a subclass of
holiday in some parts of the United States
([fact: ["105707814@trueknowledge.com"]])
Colorado Day
is a subclass of
holiday in some parts of the United States
([fact: ["105707812@trueknowledge.com"]])
Native American Day
is a subclass of
holiday in some parts of the United States
([fact: ["105707810@trueknowledge.com"]])
César Chávez's birthday
is a subclass of
holiday in some parts of the United States
([fact: ["105707808@trueknowledge.com"]])
Seward's Day
is a subclass of
holiday in some parts of the United States
([fact: ["105707806@trueknowledge.com"]])
Alaska Day
is a subclass of
holiday in some parts of the United States
([fact: ["105707804@trueknowledge.com"]])
Confederate Memorial Day
is a subclass of
holiday in some parts of the United States
([fact: ["105707802@trueknowledge.com"]])
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
holiday in some parts of the United States
parents not statically known
applies to
public holiday
I know from locally stored knowledge that:
public holiday
is a subclass of
calendar date
([fact: ["105774648@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
public holiday
is a subclass of
conceptual object
holiday in some parts of the United States
is a subclass of
conceptual object
public holiday
is a subclass of
entity
holiday in some parts of the United States
is a subclass of
entity
I know from locally stored knowledge that:
calendar date
is a subclass of
point in time
([fact: ["1143424@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
public holiday
is a subclass of
point in time
holiday in some parts of the United States
is a subclass of
point in time
I know from locally stored knowledge that:
calendar date
is a subclass of
time and date related concept
([fact: ["105775238@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
public holiday
is a subclass of
time and date related concept
holiday in some parts of the United States
is a subclass of
time and date related concept
public holiday
is a subclass of
concept that can be classified by sector of human endeavor
holiday in some parts of the United States
is a subclass of
concept that can be classified by sector of human endeavor
I know from locally stored knowledge that:
calendar date
is a subclass of
timepoint, timeperiod or event
([fact: ["127631645@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
public holiday
is a subclass of
timepoint, timeperiod or event
holiday in some parts of the United States
is a subclass of
timepoint, timeperiod or event
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
calendar date
I know from locally stored knowledge that:
point in time
is a subclass of
concept with variable precision
([fact: ["1148105@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
calendar date
is a subclass of
concept with variable precision
public holiday
is a subclass of
concept with variable precision
holiday in some parts of the United States
is a subclass of
concept with variable precision
I know from locally stored knowledge that:
point in time
is a subclass of
timeperiod or timepoint
([fact: ["19604705@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
calendar date
is a subclass of
timeperiod or timepoint
public holiday
is a subclass of
timeperiod or timepoint
holiday in some parts of the United States
is a subclass of
timeperiod or timepoint
I know from locally stored knowledge that:
point in time
is a subclass of
timepoint or local timepoint
([fact: ["841105972@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
calendar date
is a subclass of
timepoint or local timepoint
public holiday
is a subclass of
timepoint or local timepoint
holiday in some parts of the United States
is a subclass of
timepoint or local timepoint
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
holiday in some parts of the United States
is a subclass of
calendar date
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
day of the week
is a distinct class from
holiday in some parts of the United States
I know from locally stored knowledge that:
permanent
applies to
day of the week
([fact: ["1153530@trueknowledge.com"]])
Therefore (generator: ["distinct1@trueknowledge.com"]):
Fact 2:
Monday
is not a
holiday in some parts of the United States
By calculation (generator: ["distinct1@trueknowledge.com"]) I know that:
Fact 2
is true for
all time
Facts
Show facts
