By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 12th 2012, 23:26:16
I know from locally stored knowledge that:
Fact 1:
University of Victoria
is a
publicly-funded university
([fact: ["379145499@trueknowledge.com"]])
Fact 1
is true for
October 23rd 2006 onwards
([fact: ["582366368@trueknowledge.com"]])
Fact 1
is true for
June 29th 2009 onwards
([fact: ["379145503@trueknowledge.com"]])
publicly-funded university
is a subclass of
university
([fact: ["105774004@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
school
is strictly equal to
school
By calculation (generator: ["ppac1@trueknowledge.com"]) I know that:
good school
is a subclass of
school
I know from locally stored knowledge that:
post-1992 university
is a subclass of
publicly-funded university
([fact: ["105774006@trueknowledge.com"]])
state university
is a subclass of
publicly-funded university
([fact: ["105774029@trueknowledge.com"]])
Ontario public college
is a subclass of
publicly-funded university
([fact: ["422194300@trueknowledge.com"]])
university
is a distinct class from
school
([fact: ["20028869@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
publicly-funded university
is a distinct class from
good school
Therefore (generator: ["distinct1@trueknowledge.com"]):
Fact 2:
University of Victoria
is not a
good school
By calculation (generator: ["distinct1@trueknowledge.com"]) I know that:
Fact 2
is true for
October 23rd 2006 onwards
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 2
is true for all of timepoint
February 12th 2012, 23:26:16
By calculation (generator: ["distinct1@trueknowledge.com"]) I know that:
Fact 2
is true for
June 29th 2009 onwards
Adding…
