By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 19th 2013, 11:53:52
I know from locally stored knowledge that:
Fact 1:
M E
is a
musical act
([fact: ["1692952718@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:
musical act
is a subclass of
audio act
([fact: ["3166175686@trueknowledge.com"]])
musical act
is a subclass of
music-related object
([fact: ["660110712@trueknowledge.com"]])
musical act
is a subclass of
human being, organisation or other legal person
([fact: ["118415925@trueknowledge.com"]])
disability
is a subclass of
medical condition
([fact: ["123967369@trueknowledge.com"]])
group of musicians
is a subclass of
musical act
([fact: ["118417275@trueknowledge.com"]])
musician
is a subclass of
musical act
([fact: ["118425313@trueknowledge.com"]])
DJ
is a subclass of
musical act
([fact: ["130983781@trueknowledge.com"]])
singer
is a subclass of
musical act
([fact: ["647905416@trueknowledge.com"]])
vocalist
is a subclass of
musical act
([fact: ["647905576@trueknowledge.com"]])
Piano trio
is a subclass of
musical act
([fact: ["2554583062@trueknowledge.com"]])
String trio
is a subclass of
musical act
([fact: ["2554583070@trueknowledge.com"]])
Clarinet-violin-piano trio
is a subclass of
musical act
([fact: ["2554583078@trueknowledge.com"]])
form of arthritis
is a subclass of
disability
([fact: ["123967380@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
musical act
is a distinct class from
disability
I know from locally stored knowledge that:
permanent
applies to
musical act
([fact: ["123889890@trueknowledge.com"]])
Therefore (generator: ["distinct1@trueknowledge.com"]):
Fact 2:
M E
is not a
disability
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
June 19th 2013, 11:53:52
