By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 18th 2013, 10:22:19
I know from locally stored knowledge that:
Fact 1:
withdraw
is a
intransitive action
([fact: ["105780715@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:
intransitive action
is a subclass of
action
([fact: ["123909907@trueknowledge.com"]])
intransitive action
is a subclass of
concept with variable precision
([fact: ["148011450@trueknowledge.com"]])
intransitive action
is a subclass of
conceptual object
([fact: ["105707937@trueknowledge.com"]])
Olympia oyster
is a subclass of
Ostreola
([fact: ["1043799998@trueknowledge.com"]])
Olympia oyster
is a subclass of
Ostreoida
([fact: ["131043794@trueknowledge.com"]])
Olympia oyster
is a subclass of
Ostreidae
([fact: ["131043793@trueknowledge.com"]])
Olympia oyster
is a subclass of
Bivalvia
([fact: ["131043795@trueknowledge.com"]])
Olympia oyster
is a subclass of
animal
([fact: ["131043797@trueknowledge.com"]])
Olympia oyster
is a subclass of
mollusc
([fact: ["131043796@trueknowledge.com"]])
sustained intransitive action
is a subclass of
intransitive action
([fact: ["19604618@trueknowledge.com"]])
momentary intransitive action
is a subclass of
intransitive action
([fact: ["19604631@trueknowledge.com"]])
gambling activity
is a subclass of
intransitive action
([fact: ["105758289@trueknowledge.com"]])
crime
is a subclass of
intransitive action
([fact: ["123886203@trueknowledge.com"]])
custom
is a subclass of
intransitive action
([fact: ["123889450@trueknowledge.com"]])
phase of a process
is a subclass of
intransitive action
([fact: ["123890363@trueknowledge.com"]])
form of acting
is a subclass of
intransitive action
([fact: ["123900646@trueknowledge.com"]])
decrease
is a subclass of
intransitive action
([fact: ["123904016@trueknowledge.com"]])
speaking
is a subclass of
intransitive action
([fact: ["123906761@trueknowledge.com"]])
duty
is a subclass of
intransitive action
([fact: ["123923862@trueknowledge.com"]])
sensory action
is a subclass of
intransitive action
([fact: ["123926044@trueknowledge.com"]])
treating
is a subclass of
intransitive action
([fact: ["128370805@trueknowledge.com"]])
parametered action
is a subclass of
intransitive action
([fact: ["128616843@trueknowledge.com"]])
intransitive phrase
is a subclass of
intransitive action
([fact: ["149670026@trueknowledge.com"]])
cardmaking
is a subclass of
intransitive action
([fact: ["163345806@trueknowledge.com"]])
Stall
is a subclass of
intransitive action
([fact: ["163671774@trueknowledge.com"]])
physical action
is a subclass of
intransitive action
([fact: ["412556711@trueknowledge.com"]])
passive action
is a subclass of
intransitive action
([fact: ["704687936@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
intransitive action
is a distinct class from
Olympia oyster
I know from locally stored knowledge that:
permanent
applies to
intransitive action
([fact: ["19604552@trueknowledge.com"]])
Therefore (generator: ["distinct1@trueknowledge.com"]):
Fact 2:
withdraw
is not a
Olympia oyster
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 18th 2013, 10:22:19
Facts
Show facts
