By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 20th 2013, 07:47:11
I know from locally stored knowledge that:
Fact 1:
nature
is a
concept with variable precision
([fact: ["1672776246@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
I know from locally stored knowledge that:
concept with variable precision
is a subclass of
entity
([fact: ["15623698@trueknowledge.com"]])
diary
is a subclass of
multi-part manufactured item
([fact: ["123895736@trueknowledge.com"]])
diary
is a subclass of
paged book
([fact: ["105772230@trueknowledge.com"]])
diary
is a subclass of
thing that is published
([fact: ["364553987@trueknowledge.com"]])
paged book
is a distinct class from
concept with variable precision
([fact: ["123989086@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
concept with variable precision
is a distinct class from
diary
I know from locally stored knowledge that:
permanent
applies to
concept with variable precision
([fact: ["1148116@trueknowledge.com"]])
Therefore (generator: ["distinct1@trueknowledge.com"]):
Fact 2:
nature
is not a
diary
By calculation (generator: ["distinct1@trueknowledge.com"]) I know that:
Fact 2
is true for
all time
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 2
is true for all of timepoint
May 20th 2013, 07:47:11
Facts
Show facts
