By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 25th 2013, 22:01:26
I know from locally stored knowledge that:
Fact 1:
Hannah Montana
is a
TV series
([fact: ["132933629@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:
TV series
is a subclass of
animated visual medium
([fact: ["1131412@trueknowledge.com"]])
shape
is a subclass of
geometric concept
([fact: ["132160992@trueknowledge.com"]])
shape
is a subclass of
mathematical concept
([fact: ["105705972@trueknowledge.com"]])
TV mini series
is a subclass of
TV series
([fact: ["1131413@trueknowledge.com"]])
televised talent show
is a subclass of
TV series
([fact: ["105712350@trueknowledge.com"]])
gameshow
is a subclass of
TV series
([fact: ["105756803@trueknowledge.com"]])
media franchise surrounding a TV series
is a subclass of
TV series
([fact: ["105761476@trueknowledge.com"]])
dramatic programming
is a subclass of
TV series
([fact: ["105761513@trueknowledge.com"]])
talk show
is a subclass of
TV series
([fact: ["105763980@trueknowledge.com"]])
reality television show
is a subclass of
TV series
([fact: ["105769502@trueknowledge.com"]])
animated television series
is a subclass of
TV series
([fact: ["105772498@trueknowledge.com"]])
sitcom
is a subclass of
TV series
([fact: ["124152223@trueknowledge.com"]])
lifestyle TV series
is a subclass of
TV series
([fact: ["128680642@trueknowledge.com"]])
polygon
is a subclass of
shape
([fact: ["105705983@trueknowledge.com"]])
face
is a subclass of
shape
([fact: ["123890650@trueknowledge.com"]])
polyhedron
is a subclass of
shape
([fact: ["123890914@trueknowledge.com"]])
fork
is a subclass of
shape
([fact: ["123905559@trueknowledge.com"]])
circle
is a subclass of
shape
([fact: ["123928208@trueknowledge.com"]])
two-dimensional shape
is a subclass of
shape
([fact: ["127739894@trueknowledge.com"]])
fractal
is a subclass of
shape
([fact: ["134166217@trueknowledge.com"]])
thing that is published
is a distinct class from
mathematical concept
([fact: ["20043629@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
TV series
is a distinct class from
shape
I know from locally stored knowledge that:
permanent
applies to
TV series
([fact: ["1131431@trueknowledge.com"]])
Therefore (generator: ["distinct1@trueknowledge.com"]):
Fact 2:
Hannah Montana
is not a
shape
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 25th 2013, 22:01:26
