By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 20th 2013, 00:46:10
I know from locally stored knowledge that:
Fact 1:
University of Texas School of Law
is a
public school
([fact: ["752180388@trueknowledge.com"]])
Fact 1
is true for
April 22nd 2010 onwards
([fact: ["752180392@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
June 20th 2013, 00:46:10
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
public school
I know from locally stored knowledge that:
public school
is a subclass of
secondary school
([fact: ["127563685@trueknowledge.com"]])
secondary school
is a subclass of
school
([fact: ["123877924@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
public school
is a subclass of
school