By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 22nd 2013, 01:11:14
I know from locally stored knowledge that:
Fact 1:
Tonight
is a
song
([fact: ["3167738558@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:
song
is a subclass of
short audio work
([fact: ["1129406706@trueknowledge.com"]])
song
is a subclass of
track work
([fact: ["3166175690@trueknowledge.com"]])
song
is a subclass of
audio work
([fact: ["3167451186@trueknowledge.com"]])
song
is a subclass of
published work
([fact: ["3167451170@trueknowledge.com"]])
song
is a subclass of
music-related object
([fact: ["3038163322@trueknowledge.com"]])
song
is a subclass of
piece of authored work
([fact: ["129915775@trueknowledge.com"]])
song
is a subclass of
object which can be performed
([fact: ["123939983@trueknowledge.com"]])
song
is a subclass of
object that can be written down
([fact: ["123884827@trueknowledge.com"]])
song
is a subclass of
result of human ingenuity
([fact: ["105757719@trueknowledge.com"]])
song
is a subclass of
thing that was created
([fact: ["744015576@trueknowledge.com"]])
song
is a subclass of
conceptual object
([fact: ["20059649@trueknowledge.com"]])
song
is a subclass of
musical composition
([fact: ["124044634@trueknowledge.com"]])
solar eclipse
is a subclass of
eclipse
([fact: ["123918411@trueknowledge.com"]])
solar eclipse
is a subclass of
momentary event
([fact: ["128694596@trueknowledge.com"]])
solar eclipse
is a subclass of
event
([fact: ["148238322@trueknowledge.com"]])
event
is a distinct class from
song
([fact: ["20059669@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
song
is a distinct class from
solar eclipse
I know from locally stored knowledge that:
permanent
applies to
song
([fact: ["20059680@trueknowledge.com"]])
Therefore (generator: ["distinct1@trueknowledge.com"]):
Fact 2:
Tonight
is not a
solar eclipse
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 22nd 2013, 01:11:14
