By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 18th 2013, 21:19:03
I know from locally stored knowledge that:
Fact 1:
Mohammed VI of Morocco
is the monarch of
Morocco
([fact: ["956057774@trueknowledge.com"]])
Fact 1
is true for
July 23rd 1999 onwards
([fact: ["956057778@trueknowledge.com"]])
male
applies to
Mohammed VI of Morocco
([fact: ["19867747@trueknowledge.com"]])
By calculation (generator: ["kingof1@trueknowledge.com"]) I know that:
Fact 2:
Mohammed VI of Morocco
is the king of
Morocco
Fact 2
is true for
July 23rd 1999 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 18th 2013, 21:19:03
I know from locally stored knowledge that:
Mohammed VI of Morocco
is a
person
([fact: ["18377725@trueknowledge.com"]])
person
is a subclass of
human being, organisation or other legal person
([fact: ["1131949@trueknowledge.com"]])
By calculation (generator: ["instance_agreement_making_entity@trueknowledge.com"]) I know that:
Mohammed VI of Morocco
is a
human being, organisation or other legal person
