By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 12th 2012, 20:19:21
I know from locally stored knowledge that:
Fact 1:
Tiger Woods
is a
person
([fact: ["1159132@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:
person
is a subclass of
Homo Sapiens
([fact: ["800644644@trueknowledge.com"]])
person
is a subclass of
hominidae
([fact: ["131056793@trueknowledge.com"]])
person
is a subclass of
Hominina
([fact: ["242999802@trueknowledge.com"]])
person
is a subclass of
Hominini
([fact: ["242999806@trueknowledge.com"]])
person
is a subclass of
Simian
([fact: ["372821395@trueknowledge.com"]])
person
is a subclass of
Haplorrhini
([fact: ["372821399@trueknowledge.com"]])
person
is a subclass of
Catarrhini
([fact: ["372821387@trueknowledge.com"]])
person
is a subclass of
Eumetazoa
([fact: ["242999822@trueknowledge.com"]])
person
is a subclass of
ape
([fact: ["242999814@trueknowledge.com"]])
person
is a subclass of
Gnathostomata
([fact: ["372821411@trueknowledge.com"]])
person
is a subclass of
Homininae
([fact: ["242999810@trueknowledge.com"]])
person
is a subclass of
eukaryote
([fact: ["242999826@trueknowledge.com"]])
person
is a subclass of
therian
([fact: ["242999818@trueknowledge.com"]])
person
is a subclass of
placental mammal
([fact: ["372821403@trueknowledge.com"]])
person
is a subclass of
entity that is capable of deliberate action
([fact: ["129969855@trueknowledge.com"]])
person
is a subclass of
Homo
([fact: ["303558074@trueknowledge.com"]])
person
is a subclass of
tetrapod
([fact: ["372821407@trueknowledge.com"]])
person
is a subclass of
chordate
([fact: ["131056794@trueknowledge.com"]])
person
is a subclass of
visible object
([fact: ["1161680@trueknowledge.com"]])
person
is a subclass of
organism
([fact: ["137423976@trueknowledge.com"]])
person
is a subclass of
primate
([fact: ["1154500@trueknowledge.com"]])
person
is a subclass of
thing that was created
([fact: ["130047557@trueknowledge.com"]])
person
is a subclass of
source of knowledge
([fact: ["377730206@trueknowledge.com"]])
person
is a subclass of
human being, organisation or other legal person
([fact: ["1131949@trueknowledge.com"]])
person
is a subclass of
vertebrate
([fact: ["234472130@trueknowledge.com"]])
person
is a subclass of
entity
([fact: ["1147711@trueknowledge.com"]])
person
is a subclass of
biological thing
([fact: ["123883474@trueknowledge.com"]])
person
is a subclass of
mammal
([fact: ["1131347@trueknowledge.com"]])
person
is a subclass of
animal
([fact: ["124921598@trueknowledge.com"]])
dog
is a subclass of
non-human organism
([fact: ["230144646@trueknowledge.com"]])
dog
is a subclass of
quadruped
([fact: ["234467182@trueknowledge.com"]])
dog
is a subclass of
carnivore
([fact: ["912861042@trueknowledge.com"]])
dog
is a subclass of
Caninae
([fact: ["423355559@trueknowledge.com"]])
dog
is a subclass of
Canis
([fact: ["131181853@trueknowledge.com"]])
dog
is a subclass of
Eumetazoa
([fact: ["423355603@trueknowledge.com"]])
dog
is a subclass of
eukaryote
([fact: ["131181858@trueknowledge.com"]])
dog
is a subclass of
caniform
([fact: ["423355567@trueknowledge.com"]])
dog
is a subclass of
therian
([fact: ["423355583@trueknowledge.com"]])
dog
is a subclass of
chordate
([fact: ["131181856@trueknowledge.com"]])
dog
is a subclass of
canine
([fact: ["15597205@trueknowledge.com"]])
dog
is a subclass of
organism
([fact: ["137173059@trueknowledge.com"]])
dog
is a subclass of
Carnivora
([fact: ["123974599@trueknowledge.com"]])
dog
is a subclass of
non-human animal
([fact: ["664155860@trueknowledge.com"]])
dog
is a subclass of
vertebrate
([fact: ["423355591@trueknowledge.com"]])
dog
is a subclass of
mammal
([fact: ["131181855@trueknowledge.com"]])
dog
is a subclass of
animal
([fact: ["131181857@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
person
is a distinct class from
dog
I know from locally stored knowledge that:
permanent
applies to
person
([fact: ["1131338@trueknowledge.com"]])
Therefore (generator: ["distinct1@trueknowledge.com"]):
Fact 2:
Tiger Woods
is not a
dog
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
February 12th 2012, 20:19:21
Adding…
