By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 12th 2012, 07:10:05
By calculation (generator: ["geographical_parents_unknown@trueknowledge.com"]) I know that:
geographical parents statically unknown
applies to
London Heathrow
I know from locally stored knowledge that:
Fact 1:
London Heathrow
is in
Hounslow
([fact: ["127582780@trueknowledge.com"]])
Fact 1
is true for
1930 onwards
([fact: ["127582781@trueknowledge.com"]])
By calculation (generator: ["geographical_parents_unknown@trueknowledge.com"]) I know that:
geographical parents statically unknown
applies to
Hounslow
I know from locally stored knowledge that:
Fact 2:
Hounslow
is in
London
([fact: ["3668573@trueknowledge.com"]])
Fact 2
is true for
the earliest time when the fact can make sense onwards
([fact: ["7663688@trueknowledge.com"]])
Fact 2
is true for
October 3rd 2010 onwards
([fact: ["994772338@trueknowledge.com"]])
Fact 3:
London
is in
the London telephone code area
([fact: ["145040933@trueknowledge.com"]])
Fact 3
is true for
October 18th 2008, 00:00:00 onwards
([fact: ["145040937@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
October 18th 2008, 00:00:00 onwards
is the timeperiod intersection of
the earliest time when the fact can make sense onwards and October 18th 2008, 00:00:00 onwards
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 4:
Hounslow
is in
the London telephone code area
Fact 4
is true for
October 18th 2008, 00:00:00 onwards
Fact 4
is true for
October 3rd 2010 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
October 3rd 2010 onwards
is the timeperiod intersection of
October 3rd 2010 onwards and October 18th 2008, 00:00:00 onwards
October 3rd 2010 onwards
is the timeperiod intersection of
1930 onwards and October 3rd 2010 onwards
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 4:
London Heathrow
is in
the London telephone code area
Fact 4
is true for
October 3rd 2010 onwards
Fact 4
is true for
October 18th 2008, 00:00:00 onwards
I know from locally stored knowledge that:
Fact 6:
the London telephone code area
is a
British telephone code area
([fact: ["129953843@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 6
is true for
all time
I know from locally stored knowledge that:
British telephone code area
is a subclass of
telephone area-code area
([fact: ["105779731@trueknowledge.com"]])
permanent
applies to
British telephone code area
([fact: ["105779732@trueknowledge.com"]])
By calculation (generator: ["iaif1@trueknowledge.com"]) I know that:
Fact 7:
the London telephone code area
is a
telephone area-code area
Fact 7
is true for
all time
I know from locally stored knowledge that:
Fact 8:
+44.20
is the telephone area code for
the London telephone code area
([fact: ["129953837@trueknowledge.com"]])
Fact 8
is true for
2007 onwards
([fact: ["129953846@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
October 18th 2008, 00:00:00 onwards
is the timeperiod intersection of
1930 onwards and October 18th 2008, 00:00:00 onwards
October 18th 2008, 00:00:00 onwards
is the timeperiod intersection of
October 18th 2008, 00:00:00 onwards and 2007 onwards
By calculation (generator: ["telephone_area_code_for@trueknowledge.com"]) I know that:
Fact 9:
+44.20
is the telephone area code for
London Heathrow
Fact 9
is true for
October 18th 2008, 00:00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 9
is true at
February 12th 2012, 07:10:05
By calculation (generator: ["telephone_area_code_for@trueknowledge.com"]) I know that:
Fact 9
is true for
October 3rd 2010 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
October 3rd 2010 onwards
is the timeperiod intersection of
October 3rd 2010 onwards and 2007 onwards
By calculation (generator: ["pinstance@trueknowledge.com"]) I know that:
Fact 10:
+44.20
is a
telephone code
Fact 10
is true for
all time
Therefore (generator: ["strictequal1@trueknowledge.com"]):
telephone code
is not strictly equal to
unspecified member
Adding…
