By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 24th 2013, 23:54:48
I know from locally stored knowledge that:
is someone who studied at
is a more general form of
is a graduate of
([fact: ["328744186@trueknowledge.com"]])
permanent
applies to
is someone who studied at
([fact: ["328709246@trueknowledge.com"]])
Fact 1:
Katy Perry
is a graduate of
Dos Pueblos High School
([fact: ["1098506310@trueknowledge.com"]])
Fact 1
is true for
January 14th 2011, 00:00 onwards
([fact: ["1098506314@trueknowledge.com"]])
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Fact 2:
Katy Perry
is someone who studied at
Dos Pueblos High School
By calculation (generator: ["moregeneral1@trueknowledge.com"]) I know that:
Fact 2
is true for
January 14th 2011, 00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 24th 2013, 23:54:48
I know from locally stored knowledge that:
Fact 3:
Dos Pueblos High School
is a
school
([fact: ["132468856@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 3
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 24th 2013, 23:54:48
I know from locally stored knowledge that:
permanent
applies to
school
([fact: ["20030387@trueknowledge.com"]])
Fact 4:
Dos Pueblos High School
commonly translates as
"Dos Pueblos High School"
([fact: ["132468855@trueknowledge.com"]])
By calculation (generator: ["truenow1@trueknowledge.com"]) I know that:
Fact 4
is true at
May 24th 2013, 23:54:48
I know from locally stored knowledge that:
true now
applies to
commonly translates as
([fact: ["1132302@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
"Dos Pueblos High School"
is not strictly equal to
[event by relation: [katy perry]; [is someone who studied at]]
"Dos Pueblos High School"
is not strictly equal to
[event by relation: [katy perry]; [unknown object]]
