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"]])
Fact 1:
Vinci
is the birthplace of
Leonardo da Vinci
([fact: ["124922616@trueknowledge.com"]])
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
I know from locally stored knowledge that:
permanent
applies to
is the birthplace of
([fact: ["1145863@trueknowledge.com"]])
Therefore (generator: ["equals1@trueknowledge.com"]):
Vinci
is not the same as
Touraine
I know from locally stored knowledge that:
Vinci
is a
geographical area
([fact: ["247491718@trueknowledge.com"]])
Touraine
is a
geographical area
([fact: ["242311231@trueknowledge.com"]])
Fact 2:
Vinci
is in
Italy
([fact: ["43990566@trueknowledge.com"]])
Fact 2
is true for
December 10th 1993 onwards
([fact: ["43990567@trueknowledge.com"]])
Italy
is a
geographical area
([fact: ["136002960@trueknowledge.com"]])
Fact 3:
Touraine
is in
France
([fact: ["47621581@trueknowledge.com"]])
Fact 3
is true for
January 6th 1994 onwards
([fact: ["47621582@trueknowledge.com"]])
Fact 4:
France
is a
UN-recognised country
([fact: ["1131305@trueknowledge.com"]])
Fact 4
is true for
486 AD onwards
([fact: ["118921474@trueknowledge.com"]])
a class where all members are geographically distinct from each other
applies to
UN-recognised country
([fact: ["1131834@trueknowledge.com"]])
Therefore (generator: ["equals1@trueknowledge.com"]):
France
is not the same as
Italy
I know from locally stored knowledge that:
Fact 5:
Italy
is a
UN-recognised country
([fact: ["1148649@trueknowledge.com"]])
Fact 5
is true for
March 17th 1871 onwards
([fact: ["118921700@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
March 17th 1871 onwards
is the timeperiod intersection of
486 AD onwards and March 17th 1871 onwards
By calculation (generator: ["geog_distinct2@trueknowledge.com"]) I know that:
Fact 6:
France
has no area in common with
Italy
Fact 6
is true for
March 17th 1871 onwards
Fact 6
is true for
January 1st 2000 onwards
I know from locally stored knowledge that:
Fact 7:
France
is a
sovereign state
([fact: ["261037206@trueknowledge.com"]])
Fact 7
is true for
January 1st 2000 onwards
([fact: ["366830639@trueknowledge.com"]])
a class where all members are geographically distinct from each other
applies to
sovereign state
([fact: ["15624001@trueknowledge.com"]])
Fact 8:
Italy
is a
sovereign state
([fact: ["357308471@trueknowledge.com"]])
Fact 8
is true for
January 1st 2000 onwards
([fact: ["366830715@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
January 1st 2000 onwards
is the timeperiod intersection of
January 1st 2000 onwards and January 1st 2000 onwards
January 1st 2000 onwards
is the timeperiod intersection of
January 6th 1994 onwards and January 1st 2000 onwards
By calculation (generator: ["geog_distinct5@trueknowledge.com"]) I know that:
Fact 9:
Touraine
has no area in common with
Italy
Fact 9
is true for
January 1st 2000 onwards
Fact 9
is true for
January 6th 1994 onwards
By calculation (generator: ["geographically_distinct_from@trueknowledge.com"]) I know that:
Fact 10:
Italy
has no area in common with
Touraine
Fact 10
is true for
January 1st 2000 onwards
Fact 10
is true for
January 6th 1994 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
January 1st 2000 onwards
is the timeperiod intersection of
December 10th 1993 onwards and January 1st 2000 onwards
By calculation (generator: ["geog_distinct5@trueknowledge.com"]) I know that:
Fact 9:
Vinci
has no area in common with
Touraine
Fact 9
is true for
January 1st 2000 onwards
Fact 9
is true for
January 6th 1994 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
January 6th 1994 onwards
is the timeperiod intersection of
January 6th 1994 onwards and March 17th 1871 onwards
January 6th 1994 onwards
is the timeperiod intersection of
December 10th 1993 onwards and January 6th 1994 onwards
Therefore (generator: ["geog_distinct3@trueknowledge.com"]):
Fact 12:
Vinci
is not in
Touraine
By calculation (generator: ["geog_distinct3@trueknowledge.com"]) I know that:
Fact 12
is true for
January 6th 1994 onwards
Fact 12
is true for
January 1st 2000 onwards
Therefore (generator: ["geog_accuracy@trueknowledge.com"]):
Fact 13:
Vinci
is not a more accurate version of
Touraine
By calculation (generator: ["geog_accuracy@trueknowledge.com"]) I know that:
Fact 13
is true for
January 1st 2000 onwards
I know from locally stored knowledge that:
Fact 14:
Touraine
is in
Centre
([fact: ["47621579@trueknowledge.com"]])
Fact 14
is true for
January 6th 1994 onwards
([fact: ["47621580@trueknowledge.com"]])
Fact 15:
2,538,000
is the population of
Centre
([fact: ["360142703@trueknowledge.com"]])
Fact 15
is true for
May 14th 2009 onwards
([fact: ["360142723@trueknowledge.com"]])
Fact 15
is true for
March 4th 2010 onwards
([fact: ["695799272@trueknowledge.com"]])
Fact 16:
14,354
is the population of
Vinci
([fact: ["888908178@trueknowledge.com"]])
Fact 16
is true for
March 12th 2010 onwards
([fact: ["888908182@trueknowledge.com"]])
47°30'00"N
is the latitude of
Centre
([fact: ["43375146@trueknowledge.com"]])
43°47'00"N
is the latitude of
Vinci
([fact: ["43990569@trueknowledge.com"]])
By calculation (generator: ["default_population_density2@trueknowledge.com"]) I know that:
Fact 17:
1,000 per square kilometre
is the default population density of
Centre
Fact 17
is true for
all time
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
per square kilometre
is the second parameter of
1,000 per square kilometre
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
1,000
is the first parameter of
1,000 per square kilometre
By calculation (generator: ["product@trueknowledge.com"]) I know that:
3,000
is the product of
1,000 and 3
By calculation (generator: ["quotient@trueknowledge.com"]) I know that:
846
is the quotient of
2,538,000 and 3,000
By calculation (generator: ["decimal_rep2@trueknowledge.com"]) I know that:
846.0
is the decimal representation of the number
846
By calculation (generator: ["square_root@trueknowledge.com"]) I know that:
29.0860791445
is the square root of
846.0
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
29.0860791445 kilometres
is strictly equal to
29.0860791445 kilometres
By calculation (generator: ["radius_estimate@trueknowledge.com"]) I know that:
Fact 18:
29.0860791445 kilometres
is a radius estimate of
Centre
Fact 18
is true for
May 14th 2009 onwards
By calculation (generator: ["default_population_density2@trueknowledge.com"]) I know that:
Fact 17:
1,000 per square kilometre
is the default population density of
Vinci
Fact 17
is true for
all time
By calculation (generator: ["quotient@trueknowledge.com"]) I know that:
4 1177/1500
is the quotient of
14,354 and 3,000
By calculation (generator: ["decimal_rep2@trueknowledge.com"]) I know that:
4.78466666667
is the decimal representation of the number
4 1177/1500
By calculation (generator: ["square_root@trueknowledge.com"]) I know that:
2.18738809238
is the square root of
4.78466666667
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
2.18738809238 kilometres
is strictly equal to
2.18738809238 kilometres
By calculation (generator: ["radius_estimate@trueknowledge.com"]) I know that:
Fact 18:
2.18738809238 kilometres
is a radius estimate of
Vinci
Fact 18
is true for
March 12th 2010 onwards
I know from locally stored knowledge that:
1°45'00"E
is the longitude of
Centre
([fact: ["43375147@trueknowledge.com"]])
10°55'00"E
is the longitude of
Vinci
([fact: ["43990570@trueknowledge.com"]])
By calculation (generator: ["distance_between3@trueknowledge.com"]) I know that:
822.54908253 kilometres
is the distance between
Centre and Vinci
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
29.0860791445
is the first parameter of
29.0860791445 kilometres
2.18738809238
is the first parameter of
2.18738809238 kilometres
By calculation (generator: ["sum@trueknowledge.com"]) I know that:
31.27346723688
is the sum of
29.0860791445 and 2.18738809238
By calculation (generator: ["product@trueknowledge.com"]) I know that:
93.82040171064
is the product of
3 and 31.27346723688
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
822.54908253
is the first parameter of
822.54908253 kilometres
By calculation (generator: ["numeric_greater_than@trueknowledge.com"]) I know that:
822.54908253
is greater than
93.82040171064
Therefore (generator: ["numeric_greater_than@trueknowledge.com"]):
822.54908253
is not less than
93.82040171064
822.54908253
is not the same as
93.82040171064
By calculation (generator: ["geog_distinct_by_radius@trueknowledge.com"]) I know that:
Fact 21:
Centre
has no area in common with
Vinci
Fact 21
is true for
May 14th 2009 onwards
Fact 21
is true for
March 4th 2010 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
March 4th 2010 onwards
is the timeperiod intersection of
January 6th 1994 onwards and March 4th 2010 onwards
By calculation (generator: ["geog_distinct5@trueknowledge.com"]) I know that:
Fact 9:
Touraine
has no area in common with
Vinci
Fact 9
is true for
March 4th 2010 onwards
Fact 9
is true for
May 14th 2009 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
May 14th 2009 onwards
is the timeperiod intersection of
January 6th 1994 onwards and May 14th 2009 onwards
Therefore (generator: ["geog_distinct3@trueknowledge.com"]):
Fact 12:
Touraine
is not in
Vinci
By calculation (generator: ["geog_distinct3@trueknowledge.com"]) I know that:
Fact 12
is true for
May 14th 2009 onwards
Fact 12
is true for
March 4th 2010 onwards
Therefore (generator: ["geog_accuracy@trueknowledge.com"]):
Fact 13:
Touraine
is not a more accurate version of
Vinci
By calculation (generator: ["geog_accuracy@trueknowledge.com"]) I know that:
Fact 13
is true for
March 4th 2010 onwards
Therefore (generator: ["leftunique1@trueknowledge.com"]):
Fact 25:
Touraine
is not the birthplace of
Leonardo da Vinci
By calculation (generator: ["leftunique1@trueknowledge.com"]) I know that:
Fact 25
is true for
all time
Adding…
