By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 20th 2013, 06:02:26
I know from locally stored knowledge that:
Fact 1:
Seoul
is the headquarters of
LG
([fact: ["150764957@trueknowledge.com"]])
Fact 1
is true for
January 13th 2009 onwards
([fact: ["711435772@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
May 20th 2013, 06:02:26
I know from locally stored knowledge that:
Fact 2:
Seoul
is in
South Korea
([fact: ["68845090@trueknowledge.com"]])
Fact 2
is true for
January 18th 2000 onwards
([fact: ["68845091@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 20th 2013, 06:02:26
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
South Korea
([fact: ["363496911@trueknowledge.com"]])
east Asia
is a
country
([fact: ["1497797582@trueknowledge.com"]])
appropriate to appear in location descriptions
is true of every
country
([fact: ["232614978@trueknowledge.com"]])
By calculation (generator: ["should_appear_in_location@trueknowledge.com"]) I know that:
appropriate to appear in location descriptions
applies to
east Asia
By calculation (generator: ["geographical_parents_unknown@trueknowledge.com"]) I know that:
geographical parents statically unknown
applies to
Seoul
I know from locally stored knowledge that:
Fact 3:
Seoul
is in
Sŏul
([fact: ["68845088@trueknowledge.com"]])
Fact 3
is true for
January 18th 2000 onwards
([fact: ["68845089@trueknowledge.com"]])
By calculation (generator: ["geographical_parents_unknown@trueknowledge.com"]) I know that:
geographical parents statically unknown
applies to
Sŏul
I know from locally stored knowledge that:
Fact 4:
Sŏul
is in
South Korea
([fact: ["67723684@trueknowledge.com"]])
Fact 4
is true for
the earliest time when the fact can make sense onwards
([fact: ["67723685@trueknowledge.com"]])
Fact 5:
South Korea
is in
Asia
([fact: ["700928736@trueknowledge.com"]])
Fact 5
is true for
January 13th 2009 onwards
([fact: ["700928744@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 5
is true at
May 20th 2013, 06:02:26
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
January 13th 2009 onwards
is the timeperiod intersection of
the earliest time when the fact can make sense onwards and January 13th 2009 onwards
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 6:
Sŏul
is in
Asia
Fact 6
is true for
January 13th 2009 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
January 13th 2009 onwards
is the timeperiod intersection of
January 18th 2000 onwards and January 13th 2009 onwards
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 6:
Seoul
is in
Asia
Fact 6
is true for
January 13th 2009 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 6
is true at
May 20th 2013, 06:02:26
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
Asia
([fact: ["234465314@trueknowledge.com"]])
Fact 8:
South Korea
is the headquarters of
LG
([fact: ["419081527@trueknowledge.com"]])
Fact 8
is true for
July 31st 2009, 18:52 onwards
([fact: ["1264938282@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 8
is true at
May 20th 2013, 06:02:26
I know from locally stored knowledge that:
Fact 9:
South Korea
is in
east Asia
([fact: ["701139176@trueknowledge.com"]])
Fact 9
is true for
January 13th 2009 onwards
([fact: ["701139180@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 9
is true at
May 20th 2013, 06:02:26
I know from locally stored knowledge that:
Fact 10:
LG
is in
India
([fact: ["1436580790@trueknowledge.com"]])
Fact 10
is true for
March 7th 2011 onwards
([fact: ["1436580794@trueknowledge.com"]])
By calculation (generator: ["headquarters@trueknowledge.com"]) I know that:
Fact 11:
India
is the headquarters of
LG
Fact 11
is true for
March 7th 2011 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 11
is true at
May 20th 2013, 06:02:26
I know from locally stored knowledge that:
Fact 12:
India
is in
Asia
([fact: ["20058073@trueknowledge.com"]])
Fact 12
is true for
October 22nd 2006 onwards
([fact: ["376654235@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 12
is true at
May 20th 2013, 06:02:26
I know from locally stored knowledge that:
Fact 12
is true for
December 1st 2006 onwards
([fact: ["367480411@trueknowledge.com"]])
Fact 13:
LG
is in
Bangalore
([fact: ["1436580782@trueknowledge.com"]])
Fact 13
is true for
March 7th 2011 onwards
([fact: ["1436580786@trueknowledge.com"]])
By calculation (generator: ["headquarters@trueknowledge.com"]) I know that:
Fact 11:
Bangalore
is the headquarters of
LG
Fact 11
is true for
March 7th 2011 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 11
is true at
May 20th 2013, 06:02:26
I know from locally stored knowledge that:
Fact 15:
Bangalore
is in
Karnātaka
([fact: ["51644157@trueknowledge.com"]])
Fact 15
is true for
January 13th 2009 onwards
([fact: ["685102432@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 15
is true at
May 20th 2013, 06:02:26
I know from locally stored knowledge that:
Fact 15
is true for
April 13th 2007 onwards
([fact: ["51644158@trueknowledge.com"]])
Fact 15
is true for
the earliest time when the fact can make sense onwards
([fact: ["1244643306@trueknowledge.com"]])
Karnātaka
is a
settlement
([fact: ["243818466@trueknowledge.com"]])
appropriate to appear in location descriptions
is true of every
settlement
([fact: ["234471986@trueknowledge.com"]])
By calculation (generator: ["should_appear_in_location@trueknowledge.com"]) I know that:
appropriate to appear in location descriptions
applies to
Karnātaka
I know from locally stored knowledge that:
Fact 16:
Bangalore
is in
Bangalore Urban district
([fact: ["598891804@trueknowledge.com"]])
Fact 16
is true for
September 10th 2009 onwards
([fact: ["598891812@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 16
is true at
May 20th 2013, 06:02:26
I know from locally stored knowledge that:
Bangalore Urban district
is a
settlement
([fact: ["289001678@trueknowledge.com"]])
By calculation (generator: ["should_appear_in_location@trueknowledge.com"]) I know that:
appropriate to appear in location descriptions
applies to
Bangalore Urban district
By calculation (generator: ["geographical_parents_unknown@trueknowledge.com"]) I know that:
geographical parents statically unknown
applies to
Bangalore
I know from locally stored knowledge that:
Fact 17:
Karnātaka
is in
India
([fact: ["50703951@trueknowledge.com"]])
Fact 17
is true for
the earliest time when the fact can make sense onwards
([fact: ["50703952@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
April 13th 2007 onwards
is the timeperiod intersection of
April 13th 2007 onwards and the earliest time when the fact can make sense onwards
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 6:
Bangalore
is in
India
Fact 6
is true for
April 13th 2007 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 6
is true at
May 20th 2013, 06:02:26
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 6
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 earliest time when the fact can make sense onwards
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
India
([fact: ["363496279@trueknowledge.com"]])
By calculation (generator: ["geographical_parents_unknown@trueknowledge.com"]) I know that:
geographical parents statically unknown
applies to
Karnātaka
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
December 1st 2006 onwards
is the timeperiod intersection of
the earliest time when the fact can make sense onwards and December 1st 2006 onwards
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 6:
Karnātaka
is in
Asia
Fact 6
is true for
December 1st 2006 onwards
Fact 6
is true for
October 22nd 2006 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
October 22nd 2006 onwards
is the timeperiod intersection of
the earliest time when the fact can make sense onwards and October 22nd 2006 onwards
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 6:
Bangalore
is in
Asia
Fact 6
is true for
October 22nd 2006 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 6
is true at
May 20th 2013, 06:02:26
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 6
is true for
January 13th 2009 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
January 13th 2009 onwards
is the timeperiod intersection of
January 13th 2009 onwards and December 1st 2006 onwards