By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 22nd 2013, 07:19:48
By calculation (generator: ["pinstance@trueknowledge.com"]) I know that:
Fact 1:
160 kibibytes
is a
capacity
Fact 1
is true for
all time
I know from locally stored knowledge that:
capacity
is a subclass of
numeric quantity
([fact: ["367331007@trueknowledge.com"]])
capacity
is a subclass of
scalar quantity
([fact: ["123967991@trueknowledge.com"]])
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"]])
scalar quantity
is a distinct class from
song
([fact: ["20059661@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
capacity
is a distinct class from
song
Therefore (generator: ["distinct1@trueknowledge.com"]):
Fact 2:
160 kibibytes
is not a
song
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, 07:19:48
