By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 10th 2012, 06:17:36
I know from locally stored knowledge that:
Thailand
is a
geographical area
([fact: ["19588500@trueknowledge.com"]])
the Middle East
is a
geographical area
([fact: ["1158485@trueknowledge.com"]])
Fact 1:
Thailand
is in
southeast Asia
([fact: ["19588507@trueknowledge.com"]])
Fact 1
is true for
January 13th 2009 onwards
([fact: ["702053784@trueknowledge.com"]])
Fact 1
is true for
the earliest time when the fact can make sense onwards
([fact: ["19588508@trueknowledge.com"]])
southeast Asia
is a
geographical area
([fact: ["366592671@trueknowledge.com"]])
Fact 2:
southeast Asia
is in
the Far East
([fact: ["1158632@trueknowledge.com"]])
Fact 2
is true for
November 11th 2010, 18:17:14 onwards
([fact: ["1008307642@trueknowledge.com"]])
Fact 2
is true for
the earliest time when the fact can make sense onwards
([fact: ["1158633@trueknowledge.com"]])
Fact 3:
the Middle East
has no area in common with
the Far East
([fact: ["1158637@trueknowledge.com"]])
Fact 3
is true for
the beginning of time onwards
([fact: ["1158638@trueknowledge.com"]])
By calculation (generator: ["geographically_distinct_from@trueknowledge.com"]) I know that:
Fact 4:
the Far East
has no area in common with
the Middle East
Fact 4
is true for
the beginning of time onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
November 11th 2010, 18:17:14 onwards
is the timeperiod intersection of
November 11th 2010, 18:17:14 onwards and the beginning of time onwards
By calculation (generator: ["geog_distinct5@trueknowledge.com"]) I know that:
Fact 5:
southeast Asia
has no area in common with
the Middle East
Fact 5
is true for
November 11th 2010, 18:17:14 onwards
Fact 5
is true for
the beginning of time onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
the beginning of time onwards
is the timeperiod intersection of
the earliest time when the fact can make sense onwards and the beginning of time onwards
January 13th 2009 onwards
is the timeperiod intersection of
January 13th 2009 onwards and the beginning of time onwards
By calculation (generator: ["geog_distinct5@trueknowledge.com"]) I know that:
Fact 5:
Thailand
has no area in common with
the Middle East
Fact 5
is true for
January 13th 2009 onwards
Fact 5
is true for
November 11th 2010, 18:17:14 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
November 11th 2010, 18:17:14 onwards
is the timeperiod intersection of
the earliest time when the fact can make sense onwards and November 11th 2010, 18:17:14 onwards
Therefore (generator: ["geog_distinct3@trueknowledge.com"]):
Fact 7:
Thailand
is not in
the Middle East
By calculation (generator: ["geog_distinct3@trueknowledge.com"]) I know that:
Fact 7
is true for
November 11th 2010, 18:17:14 onwards
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 7
is true for all of timepoint
February 10th 2012, 06:17:36
By calculation (generator: ["geog_distinct3@trueknowledge.com"]) I know that:
Fact 7
is true for
January 13th 2009 onwards
Adding…
