By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 13:54:49
I know from locally stored knowledge that:
Fact 1:
Kathmandu
is the capital of
Nepal
([fact: ["1146582@trueknowledge.com"]])
By calculation (generator: ["negativetime1@trueknowledge.com"]) I know that:
Fact 1
is not true at
February 14th 2012, 13:54:49
I know from locally stored knowledge that:
Fact 1
is true for
September 14th 2009 onwards
([fact: ["646168628@trueknowledge.com"]])
Fact 1
is true for
September 9th 2009 onwards
([fact: ["586067132@trueknowledge.com"]])
Fact 1
is true for
September 2nd 2009 onwards
([fact: ["467212012@trueknowledge.com"]])
Fact 1
is true for
September 1st 2009 onwards
([fact: ["464047980@trueknowledge.com"]])
Fact 1
is true for
August 20th 2009 onwards
([fact: ["433689156@trueknowledge.com"]])
Fact 1
is true for
August 1st 2009 onwards
([fact: ["421841179@trueknowledge.com"]])
Fact 1
is true for
July 12th 2009 onwards
([fact: ["398449943@trueknowledge.com"]])
Fact 1
is true for
July 6th 2009 onwards
([fact: ["374989299@trueknowledge.com"]])
Fact 1
is true for
July 4th 2009 onwards
([fact: ["374641743@trueknowledge.com"]])
Fact 1
is true for
June 28th 2009 onwards
([fact: ["372018095@trueknowledge.com"]])
is the administrative headquarters of
is a more general form of
is the capital of
([fact: ["234477662@trueknowledge.com"]])
is in
is a more general form of
is the administrative headquarters of
([fact: ["234477658@trueknowledge.com"]])
Kathmandu
is a
geographical area
([fact: ["152543397@trueknowledge.com"]])
Nepal
is a
geographical area
([fact: ["136002958@trueknowledge.com"]])
Fact 2:
Kathmandu
is in
Nepal
([fact: ["152543425@trueknowledge.com"]])
Fact 2
is true for
September 24th 2008 onwards
([fact: ["152543433@trueknowledge.com"]])
Fact 3:
Nepal
is in
the Himalayas
([fact: ["20058079@trueknowledge.com"]])
Fact 3
is true for
September 13th 2007, 00:00:00 onwards
([fact: ["20058080@trueknowledge.com"]])
the Himalayas
is a
geographical area
([fact: ["19589278@trueknowledge.com"]])
Fact 4:
the Himalayas
is in
North India
([fact: ["1745844958@trueknowledge.com"]])
Fact 4
is true for
April 19th 2011 onwards
([fact: ["1745844966@trueknowledge.com"]])
North India
is a
geographical area
([fact: ["1015579194@trueknowledge.com"]])
Fact 5:
North India
is in
India
([fact: ["1015579214@trueknowledge.com"]])
Fact 5
is true for
April 19th 2011 onwards
([fact: ["1745844950@trueknowledge.com"]])
Fact 6:
India
is a
UN-recognised country
([fact: ["1146435@trueknowledge.com"]])
Fact 6
is true for
August 15th 1947 onwards
([fact: ["118921644@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"]):
India
is not the same as
Nepal
I know from locally stored knowledge that:
Fact 7:
Nepal
is a
UN-recognised country
([fact: ["1146470@trueknowledge.com"]])
Fact 7
is true for
1768 onwards
([fact: ["118921678@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
August 15th 1947 onwards
is the timeperiod intersection of
August 15th 1947 onwards and 1768 onwards
By calculation (generator: ["geog_distinct2@trueknowledge.com"]) I know that:
Fact 8:
India
has no area in common with
Nepal
Fact 8
is true for
August 15th 1947 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
April 19th 2011 onwards
is the timeperiod intersection of
April 19th 2011 onwards and August 15th 1947 onwards
By calculation (generator: ["geog_distinct5@trueknowledge.com"]) I know that:
Fact 9:
North India
has no area in common with
Nepal
Fact 9
is true for
April 19th 2011 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
April 19th 2011 onwards
is the timeperiod intersection of
April 19th 2011 onwards and April 19th 2011 onwards
By calculation (generator: ["geog_distinct5@trueknowledge.com"]) I know that:
Fact 9:
the Himalayas
has no area in common with
Nepal
Fact 9
is true for
April 19th 2011 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
April 19th 2011 onwards
is the timeperiod intersection of
September 13th 2007, 00:00:00 onwards and April 19th 2011 onwards
By calculation (generator: ["geog_distinct5@trueknowledge.com"]) I know that:
Fact 9:
Nepal
has no area in common with
Nepal
Fact 9
is true for
April 19th 2011 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
April 19th 2011 onwards
is the timeperiod intersection of
September 24th 2008 onwards and April 19th 2011 onwards
By calculation (generator: ["geog_distinct5@trueknowledge.com"]) I know that:
Fact 9:
Kathmandu
has no area in common with
Nepal
Fact 9
is true for
April 19th 2011 onwards
Therefore (generator: ["geog_distinct3@trueknowledge.com"]):
Fact 13:
Kathmandu
is not in
Nepal
By calculation (generator: ["geog_distinct3@trueknowledge.com"]) I know that:
Fact 13
is true for
April 19th 2011 onwards
Therefore (generator: ["moregeneral2@trueknowledge.com"]):
Fact 14:
Kathmandu
is not the administrative headquarters of
Nepal
By calculation (generator: ["moregeneral2@trueknowledge.com"]) I know that:
Fact 14
is true for
April 19th 2011 onwards
Therefore (generator: ["moregeneral2@trueknowledge.com"]):
Fact 14:
Kathmandu
is not the capital of
Nepal
By calculation (generator: ["moregeneral2@trueknowledge.com"]) I know that:
Fact 14
is true for
April 19th 2011 onwards
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 14
is true for all of timepoint
February 14th 2012, 13:54:49
Adding…
