By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 21st 2013, 06:54:02
I know from locally stored knowledge that:
fly
is a
intransitive action
([fact: ["123969515@trueknowledge.com"]])
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
rockhopper penguin
I know from locally stored knowledge that:
able to fly
is untrue of every
flightless bird
([fact: ["124046589@trueknowledge.com"]])
rockhopper penguin
is a subclass of
penguin
([fact: ["20041230@trueknowledge.com"]])
penguin
is a subclass of
flightless bird
([fact: ["124046543@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
rockhopper penguin
is a subclass of
flightless bird
By calculation (generator: ["untrue_every2@trueknowledge.com"]) I know that:
Fact 1:
able to fly
is untrue of every
rockhopper penguin
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
I know from locally stored knowledge that:
permanent
applies to
is untrue of every
([fact: ["1154577@trueknowledge.com"]])
Therefore (generator: ["not_done_by_at_least_some_members@trueknowledge.com"]):
Fact 2:
fly
is not done by at least some members of
rockhopper penguin
By calculation (generator: ["not_done_by_at_least_some_members@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 21st 2013, 06:54:02
