By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 19th 2013, 02:07:37
I know from locally stored knowledge that:
Fact 1:
CBS Radio
is the parent company of
KZZO
([fact: ["409162423@trueknowledge.com"]])
Fact 1
is true for
July 7th 2009 onwards
([fact: ["409162427@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
May 19th 2013, 02:07:37
I know from locally stored knowledge that:
Fact 1
is true for
April 22nd 2010 onwards
([fact: ["751833300@trueknowledge.com"]])
transitive
applies to
is the parent company of
([fact: ["128262565@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
CBS Radio
is not strictly equal to
KZZO
I know from locally stored knowledge that:
Fact 2:
CBS Corporation
is the parent company of
CBS Radio
([fact: ["247831750@trueknowledge.com"]])
Fact 2
is true for
March 15th 2010 onwards
([fact: ["700451532@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
CBS Corporation
is not strictly equal to
CBS Radio
I know from locally stored knowledge that:
Fact 3:
National Amusements
is the parent company of
CBS Corporation
([fact: ["149502497@trueknowledge.com"]])
Fact 3
is true for
September 24th 2008 onwards
([fact: ["150826113@trueknowledge.com"]])
Fact 3
is true for
February 26th 2010 onwards
([fact: ["691912860@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
National Amusements
is not strictly equal to
CBS Corporation
I know from locally stored knowledge that:
Fact 4:
Viacom
is the parent company of
National Amusements
([fact: ["1378768670@trueknowledge.com"]])
Fact 4
is true for
February 28th 2011 onwards
([fact: ["1378768674@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
CBS Corporation
is not strictly equal to
Viacom
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
February 28th 2011 onwards
is the timeperiod intersection of
September 24th 2008 onwards and February 28th 2011 onwards
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 5:
Viacom
is the parent company of
CBS Corporation
Fact 5
is true for
February 28th 2011 onwards
Therefore (generator: ["strictequal1@trueknowledge.com"]):
CBS Radio
is not strictly equal to
Viacom
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
February 28th 2011 onwards
is the timeperiod intersection of
March 15th 2010 onwards and February 28th 2011 onwards
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 5:
Viacom
is the parent company of
CBS Radio
Fact 5
is true for
February 28th 2011 onwards
Therefore (generator: ["strictequal1@trueknowledge.com"]):
KZZO
is not strictly equal to
Viacom
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
February 28th 2011 onwards
is the timeperiod intersection of
July 7th 2009 onwards and February 28th 2011 onwards
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 5:
Viacom
is the parent company of
KZZO
Fact 5
is true for
February 28th 2011 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 5
is true at
May 19th 2013, 02:07:37
I know from locally stored knowledge that:
Fact 8:
Crédit Lyonnais
is the parent company of
National Amusements
([fact: ["2860162294@trueknowledge.com"]])
Fact 8
is true for
September 28th 2012 onwards
([fact: ["2860162298@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
CBS Corporation
is not strictly equal to
Crédit Lyonnais
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
September 28th 2012 onwards
is the timeperiod intersection of
September 24th 2008 onwards and September 28th 2012 onwards
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 5:
Crédit Lyonnais
is the parent company of
CBS Corporation
Fact 5
is true for
September 28th 2012 onwards
Therefore (generator: ["strictequal1@trueknowledge.com"]):
CBS Radio
is not strictly equal to
Crédit Lyonnais
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
September 28th 2012 onwards
is the timeperiod intersection of
March 15th 2010 onwards and September 28th 2012 onwards
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 5:
Crédit Lyonnais
is the parent company of
CBS Radio
Fact 5
is true for
September 28th 2012 onwards
Therefore (generator: ["strictequal1@trueknowledge.com"]):
KZZO
is not strictly equal to
Crédit Lyonnais
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
September 28th 2012 onwards
is the timeperiod intersection of
July 7th 2009 onwards and September 28th 2012 onwards
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 5:
Crédit Lyonnais
is the parent company of
KZZO
Fact 5
is true for
September 28th 2012 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 5
is true at
May 19th 2013, 02:07:37
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Viacom
is not strictly equal to
National Amusements
I know from locally stored knowledge that:
Fact 12:
Paramount Pictures
is the parent company of
Viacom
([fact: ["368228367@trueknowledge.com"]])
Fact 12
is true for
June 24th 2009, 12:16 onwards
([fact: ["1132197994@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
National Amusements
is not strictly equal to
Paramount Pictures
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
February 28th 2011 onwards
is the timeperiod intersection of
February 28th 2011 onwards and June 24th 2009, 12:16 onwards
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 5:
Paramount Pictures
is the parent company of
National Amusements
Fact 5
is true for
February 28th 2011 onwards
Therefore (generator: ["strictequal1@trueknowledge.com"]):
CBS Corporation
is not strictly equal to
Paramount Pictures
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 5:
Paramount Pictures
is the parent company of
CBS Corporation
Fact 5
is true for
February 28th 2011 onwards
Therefore (generator: ["strictequal1@trueknowledge.com"]):
CBS Radio
is not strictly equal to
Paramount Pictures
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 5:
Paramount Pictures
is the parent company of
CBS Radio
Fact 5
is true for
February 28th 2011 onwards
Therefore (generator: ["strictequal1@trueknowledge.com"]):
KZZO
is not strictly equal to
Paramount Pictures
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 5:
Paramount Pictures
is the parent company of
KZZO
Fact 5
is true for
February 28th 2011 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 5
is true at
May 19th 2013, 02:07:37
I know from locally stored knowledge that:
Fact 17:
MTV
is the parent company of
Viacom
([fact: ["368611735@trueknowledge.com"]])
Fact 17
is true for
June 25th 2009, 10:31 onwards
([fact: ["1132924310@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
National Amusements
is not strictly equal to
MTV
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
February 28th 2011 onwards
is the timeperiod intersection of
February 28th 2011 onwards and June 25th 2009, 10:31 onwards
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 5:
MTV
is the parent company of
National Amusements
Fact 5
is true for
February 28th 2011 onwards
Therefore (generator: ["strictequal1@trueknowledge.com"]):
CBS Corporation
is not strictly equal to
MTV
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 5:
MTV
is the parent company of
CBS Corporation
Fact 5
is true for
February 28th 2011 onwards
Therefore (generator: ["strictequal1@trueknowledge.com"]):
CBS Radio
is not strictly equal to
MTV
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 5:
MTV
is the parent company of
CBS Radio
Fact 5
is true for
February 28th 2011 onwards
Therefore (generator: ["strictequal1@trueknowledge.com"]):
KZZO
is not strictly equal to
MTV
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 5:
MTV
is the parent company of
KZZO
Fact 5
is true for
February 28th 2011 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 5
is true at
May 19th 2013, 02:07:37
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Paramount Pictures
is not strictly equal to
Viacom
I know from locally stored knowledge that:
Fact 22:
Gulf+Western
is the parent company of
Paramount Pictures
([fact: ["130962183@trueknowledge.com"]])
Fact 22
is true for
May 13th 2009 onwards
([fact: ["359472075@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Viacom
is not strictly equal to
Gulf+Western
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
June 24th 2009, 12:16 onwards
is the timeperiod intersection of
June 24th 2009, 12:16 onwards and May 13th 2009 onwards
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 5:
Gulf+Western
is the parent company of
Viacom
Fact 5
is true for
June 24th 2009, 12:16 onwards
Therefore (generator: ["strictequal1@trueknowledge.com"]):
National Amusements
is not strictly equal to
Gulf+Western
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 5:
Gulf+Western
is the parent company of
National Amusements
Fact 5
is true for
February 28th 2011 onwards
Therefore (generator: ["strictequal1@trueknowledge.com"]):
CBS Corporation
is not strictly equal to
Gulf+Western
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 5:
Gulf+Western
is the parent company of
CBS Corporation
Fact 5
is true for
February 28th 2011 onwards
Therefore (generator: ["strictequal1@trueknowledge.com"]):
CBS Radio
is not strictly equal to
Gulf+Western
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 5:
Gulf+Western
is the parent company of
CBS Radio
Fact 5
is true for
February 28th 2011 onwards
Therefore (generator: ["strictequal1@trueknowledge.com"]):
KZZO
is not strictly equal to
Gulf+Western
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 5:
Gulf+Western
is the parent company of
KZZO
Fact 5
is true for
February 28th 2011 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 5
is true at
May 19th 2013, 02:07:37
I know from locally stored knowledge that:
Fact 28:
independent business
is the parent company of
Paramount Pictures
([fact: ["2606816322@trueknowledge.com"]])
Fact 28
is true for
July 28th 2012 onwards
([fact: ["2606816326@trueknowledge.com"]])
Fact 28
is true for
September 25th 2012 onwards
([fact: ["2844523550@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Viacom
is not strictly equal to
independent business
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
July 28th 2012 onwards
is the timeperiod intersection of
June 24th 2009, 12:16 onwards and July 28th 2012 onwards
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 5:
independent business
is the parent company of
Viacom
Fact 5
is true for
July 28th 2012 onwards
Fact 5
is true for
September 25th 2012 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
September 25th 2012 onwards
is the timeperiod intersection of
June 24th 2009, 12:16 onwards and September 25th 2012 onwards
Therefore (generator: ["strictequal1@trueknowledge.com"]):
National Amusements
is not strictly equal to
independent business
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
September 25th 2012 onwards
is the timeperiod intersection of
February 28th 2011 onwards and September 25th 2012 onwards
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 5:
independent business
is the parent company of
National Amusements
Fact 5
is true for
September 25th 2012 onwards
Fact 5
is true for
July 28th 2012 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
July 28th 2012 onwards
is the timeperiod intersection of
February 28th 2011 onwards and July 28th 2012 onwards
Therefore (generator: ["strictequal1@trueknowledge.com"]):
CBS Corporation
is not strictly equal to
independent business
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
July 28th 2012 onwards
is the timeperiod intersection of
September 24th 2008 onwards and July 28th 2012 onwards
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 5:
independent business
is the parent company of
CBS Corporation
Fact 5
is true for
July 28th 2012 onwards
Fact 5
is true for
September 25th 2012 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
September 25th 2012 onwards
is the timeperiod intersection of
September 24th 2008 onwards and September 25th 2012 onwards
Therefore (generator: ["strictequal1@trueknowledge.com"]):
CBS Radio
is not strictly equal to
independent business
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
September 25th 2012 onwards
is the timeperiod intersection of
March 15th 2010 onwards and September 25th 2012 onwards
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 5:
independent business
is the parent company of
CBS Radio
Fact 5
is true for
September 25th 2012 onwards
Fact 5
is true for
July 28th 2012 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
July 28th 2012 onwards
is the timeperiod intersection of
March 15th 2010 onwards and July 28th 2012 onwards
Therefore (generator: ["strictequal1@trueknowledge.com"]):
KZZO
is not strictly equal to
independent business
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
July 28th 2012 onwards
is the timeperiod intersection of
July 7th 2009 onwards and July 28th 2012 onwards
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 5:
independent business
is the parent company of
KZZO
Fact 5
is true for
July 28th 2012 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 5
is true at
May 19th 2013, 02:07:37
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 5
is true for
September 25th 2012 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
September 25th 2012 onwards
is the timeperiod intersection of
July 7th 2009 onwards and September 25th 2012 onwards
Therefore (generator: ["strictequal1@trueknowledge.com"]):
CBS Radio
is not strictly equal to
National Amusements
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
March 15th 2010 onwards
is the timeperiod intersection of
March 15th 2010 onwards and February 26th 2010 onwards
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 5:
National Amusements
is the parent company of
CBS Radio
Fact 5
is true for
March 15th 2010 onwards
Therefore (generator: ["strictequal1@trueknowledge.com"]):
KZZO
is not strictly equal to
National Amusements
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
April 22nd 2010 onwards
is the timeperiod intersection of
April 22nd 2010 onwards and March 15th 2010 onwards
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 5:
National Amusements
is the parent company of
KZZO
Fact 5
is true for
April 22nd 2010 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 5
is true at
May 19th 2013, 02:07:37
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 5
is true for
March 15th 2010 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
March 15th 2010 onwards
is the timeperiod intersection of
July 7th 2009 onwards and March 15th 2010 onwards
Therefore (generator: ["strictequal1@trueknowledge.com"]):
KZZO
is not strictly equal to
CBS Corporation
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 5:
CBS Corporation
is the parent company of
KZZO
Fact 5
is true for
April 22nd 2010 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 5
is true at
May 19th 2013, 02:07:37
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 5
is true for
March 15th 2010 onwards