I know from locally stored knowledge that:
left unique
applies to
is the birthplace of
([fact: ["1145868@trueknowledge.com"]])
left object has variable accuracy
applies to
is the birthplace of
([fact: ["1149023@trueknowledge.com"]])
permanent
applies to
is the birthplace of
([fact: ["1145863@trueknowledge.com"]])
Therefore (generator: ["equals1@trueknowledge.com"]):
Africa-Eurasia
is not the same as
Idaho
I know from locally stored knowledge that:
Africa-Eurasia
is a
geographical area
([fact: ["243629330@trueknowledge.com"]])
Idaho
is a
geographical area
([fact: ["151841965@trueknowledge.com"]])
Fact 1:
Idaho
is in
the Americas
([fact: ["664218904@trueknowledge.com"]])
Fact 1
is true for
January 25th 2010, 15:45:35 onwards
([fact: ["664218912@trueknowledge.com"]])
Fact 2:
Africa-Eurasia
has no area in common with
the Americas
([fact: ["20464496@trueknowledge.com"]])
Fact 2
is true for
the beginning of time onwards
([fact: ["20464497@trueknowledge.com"]])
By calculation (generator: ["geographically_distinct_from@trueknowledge.com"]) I know that:
Fact 3:
the Americas
has no area in common with
Africa-Eurasia
Fact 3
is true for
the beginning of time onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
January 25th 2010, 15:45:35 onwards
is the timeperiod intersection of
January 25th 2010, 15:45:35 onwards and the beginning of time onwards
By calculation (generator: ["geog_distinct5@trueknowledge.com"]) I know that:
Fact 4:
Idaho
has no area in common with
Africa-Eurasia
Fact 4
is true for
January 25th 2010, 15:45:35 onwards
By calculation (generator: ["geographically_distinct_from@trueknowledge.com"]) I know that:
Fact 3:
Africa-Eurasia
has no area in common with
Idaho
Fact 3
is true for
January 25th 2010, 15:45:35 onwards
Therefore (generator: ["geog_distinct3@trueknowledge.com"]):
Fact 6:
Africa-Eurasia
is not in
Idaho
By calculation (generator: ["geog_distinct3@trueknowledge.com"]) I know that:
Fact 6
is true for
January 25th 2010, 15:45:35 onwards
Therefore (generator: ["geog_accuracy@trueknowledge.com"]):
Fact 7:
Africa-Eurasia
is not a more accurate version of
Idaho
By calculation (generator: ["geog_accuracy@trueknowledge.com"]) I know that:
Fact 7
is true for
January 25th 2010, 15:45:35 onwards
Therefore (generator: ["geog_distinct3@trueknowledge.com"]):
Fact 6:
Idaho
is not in
Africa-Eurasia
By calculation (generator: ["geog_distinct3@trueknowledge.com"]) I know that:
Fact 6
is true for
January 25th 2010, 15:45:35 onwards
Therefore (generator: ["geog_accuracy@trueknowledge.com"]):
Fact 7:
Idaho
is not a more accurate version of
Africa-Eurasia
By calculation (generator: ["geog_accuracy@trueknowledge.com"]) I know that:
Fact 7
is true for
January 25th 2010, 15:45:35 onwards
Therefore (generator: ["leftunique1@trueknowledge.com"]):
Fact 10:
Idaho
is not the birthplace of
David Villa
By calculation (generator: ["leftunique1@trueknowledge.com"]) I know that:
Fact 10
is true for
all time
