By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 18th 2013, 06:00:00
I know from locally stored knowledge that:
is the manager of
is a more general form of
is the CEO of
([fact: ["124042047@trueknowledge.com"]])
Fact 1:
Marten Mickos
is the CEO of
MySQL AB
([fact: ["128230891@trueknowledge.com"]])
Fact 1
is true for
December 3rd 2010 onwards
([fact: ["2233802278@trueknowledge.com"]])
Fact 1
is true for
December 19th 2007 onwards
([fact: ["128230892@trueknowledge.com"]])
By calculation (generator: ["moregeneral1@trueknowledge.com"]) I know that:
Fact 2:
Marten Mickos
is the manager of
MySQL AB
Fact 2
is true for
December 3rd 2010 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
June 18th 2013, 06:00:00
By calculation (generator: ["moregeneral1@trueknowledge.com"]) I know that:
Fact 2
is true for
December 19th 2007 onwards
