By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 18th 2013, 23:05:50
I know from locally stored knowledge that:
Fact 1:
Devendra Banhart
is a
organization founder
([fact: ["995520486@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:
organization founder
is a subclass of
person
([fact: ["230143794@trueknowledge.com"]])
Vetiver
is a subclass of
Commelinids
([fact: ["644532916@trueknowledge.com"]])
Vetiver
is a subclass of
Poales
([fact: ["131066267@trueknowledge.com"]])
Vetiver
is a subclass of
Poaceae
([fact: ["131066266@trueknowledge.com"]])
Vetiver
is a subclass of
monocot
([fact: ["375020451@trueknowledge.com"]])
Vetiver
is a subclass of
herbalism
([fact: ["137361241@trueknowledge.com"]])
Vetiver
is a subclass of
grass
([fact: ["137295931@trueknowledge.com"]])
Vetiver
is a subclass of
angiosperm
([fact: ["131066268@trueknowledge.com"]])
Vetiver
is a subclass of
plant
([fact: ["131066269@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
organization founder
is a distinct class from
Vetiver
I know from locally stored knowledge that:
permanent
applies to
organization founder
([fact: ["230143798@trueknowledge.com"]])
Therefore (generator: ["distinct1@trueknowledge.com"]):
Fact 2:
Devendra Banhart
is not a
Vetiver
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 18th 2013, 23:05:50