By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 23rd 2013, 04:20:00
I know from locally stored knowledge that:
bicycle
is a subclass of
road vehicle
([fact: ["300115022@trueknowledge.com"]])
bicycle
is a subclass of
item of cycling equipment
([fact: ["238786210@trueknowledge.com"]])
bicycle
is a subclass of
wheeled vehicle
([fact: ["124803020@trueknowledge.com"]])
bicycle
is a subclass of
pedal driven vehicle
([fact: ["123894249@trueknowledge.com"]])
bicycle
is a subclass of
human powered vehicle
([fact: ["123894174@trueknowledge.com"]])
bicycle
is a subclass of
result of human ingenuity
([fact: ["1096010342@trueknowledge.com"]])
bicycle
is a subclass of
piece of equipment
([fact: ["1096010338@trueknowledge.com"]])
bicycle
is a subclass of
item of sports equipment
([fact: ["1096010334@trueknowledge.com"]])
bicycle
is a subclass of
manufactured item
([fact: ["1096010330@trueknowledge.com"]])
bicycle
is a subclass of
vehicle
([fact: ["19362643@trueknowledge.com"]])
liquid
is a subclass of
fluid
([fact: ["123893670@trueknowledge.com"]])
liquid
is a subclass of
substance
([fact: ["16632989@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
bicycle
is a distinct class from
liquid
Therefore (generator: ["subclassdistinct1@trueknowledge.com"]):
Fact 1:
bicycle
is not a subclass of
liquid
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 1
is true for all of timepoint
May 23rd 2013, 04:20:00
I know from locally stored knowledge that:
permanent
applies to
is a subclass of
([fact: ["123877657@trueknowledge.com"]])
