I know from locally stored knowledge that:
the London Olympics
is a
Olympics
([fact: ["20062850@trueknowledge.com"]])
By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 15:38:01
I know from locally stored knowledge that:
July 27th 2012
is the start point of event
the London Olympics
([fact: ["20062879@trueknowledge.com"]])
August 12th 2012
is the end of
the London Olympics
([fact: ["20062880@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
July 27th 2012 - August 12th 2012
is strictly equal to
July 27th 2012 - August 12th 2012
By calculation (generator: ["timeperiodfor1@trueknowledge.com"]) I know that:
July 27th 2012 - August 12th 2012
are the dates for
the London Olympics
I know from locally stored knowledge that:
the London Olympics
is a
event
([fact: ["243066598@trueknowledge.com"]])
By calculation (generator: ["date_of_event@trueknowledge.com"]) I know that:
Fact 1:
July 27th 2012 - August 12th 2012
is the date of
the London Olympics
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
February 14th 2012, 15:38:01
I know from locally stored knowledge that:
permanent
applies to
is the date of
([fact: ["123892265@trueknowledge.com"]])
The Beijing Olympics
is a
Olympics
([fact: ["123937653@trueknowledge.com"]])
Fact 2:
August 8th 2008 - August 24th 2008
is the date of
The Beijing Olympics
([fact: ["135167861@trueknowledge.com"]])
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 2
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 15:38:01
I know from locally stored knowledge that:
winter olympics
is a subclass of
Olympics
([fact: ["123889126@trueknowledge.com"]])
Fact 3:
the 2014 winter olympics
is a
winter olympics
([fact: ["986759630@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 3
is true for
all time
I know from locally stored knowledge that:
permanent
applies to
winter olympics
([fact: ["123889127@trueknowledge.com"]])
By calculation (generator: ["iaif2@trueknowledge.com"]) I know that:
Fact 4:
the 2014 winter olympics
is a
Olympics
Fact 4
is true for
all time
I know from locally stored knowledge that:
February 7th 2014
is the start point of event
the 2014 winter olympics
([fact: ["986759698@trueknowledge.com"]])
February 23rd 2014
is the end of
the 2014 winter olympics
([fact: ["986759722@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
February 7th 2014 - February 23rd 2014
is strictly equal to
February 7th 2014 - February 23rd 2014
By calculation (generator: ["timeperiodfor1@trueknowledge.com"]) I know that:
February 7th 2014 - February 23rd 2014
are the dates for
the 2014 winter olympics
I know from locally stored knowledge that:
the 2014 winter olympics
is a
event
([fact: ["986759634@trueknowledge.com"]])
By calculation (generator: ["date_of_event@trueknowledge.com"]) I know that:
Fact 1:
February 7th 2014 - February 23rd 2014
is the date of
the 2014 winter olympics
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
February 14th 2012, 15:38:01
Adding…
