By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 15:16:23
I know from locally stored knowledge that:
Fact 1:
China Southern Airlines
is an airline serving the airport
Mudanjiang Airport
([fact: ["367413215@trueknowledge.com"]])
Fact 1
is true for
May 5th 2010, 08:11:46 onwards
([fact: ["800016748@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
February 14th 2012, 15:16:23
I know from locally stored knowledge that:
Fact 2:
Korean Air
is an airline serving the airport
Mudanjiang Airport
([fact: ["800046764@trueknowledge.com"]])
Fact 2
is true for
May 5th 2010, 10:07:31 onwards
([fact: ["800046768@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 15:16:23