I know from locally stored knowledge that:
Fact 1:
Megan Fox
is a
vegetarian
([fact: ["2215335950@trueknowledge.com"]])
Fact 1
is true for
July 10th 2011, 00:00:00 onwards
([fact: ["2215335990@trueknowledge.com"]])
vegetarian
is a subclass of
person
([fact: ["1153357@trueknowledge.com"]])
striped bass
is a subclass of
Perciformes
([fact: ["130987060@trueknowledge.com"]])
striped bass
is a subclass of
Moronidae
([fact: ["130987059@trueknowledge.com"]])
striped bass
is a subclass of
Morone
([fact: ["130987058@trueknowledge.com"]])
striped bass
is a subclass of
eukaryote
([fact: ["1101438462@trueknowledge.com"]])
striped bass
is a subclass of
chordate
([fact: ["130987061@trueknowledge.com"]])
striped bass
is a subclass of
Actinopterygii
([fact: ["360646715@trueknowledge.com"]])
striped bass
is a subclass of
organism
([fact: ["137459267@trueknowledge.com"]])
striped bass
is a subclass of
fish
([fact: ["137229318@trueknowledge.com"]])
striped bass
is a subclass of
animal
([fact: ["130987062@trueknowledge.com"]])
vegan
is a subclass of
vegetarian
([fact: ["1153382@trueknowledge.com"]])
person
is a distinct class from
fish
([fact: ["1153276@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
vegetarian
is a distinct class from
striped bass
Therefore (generator: ["distinct1@trueknowledge.com"]):
Fact 2:
Megan Fox
is not a
striped bass
By calculation (generator: ["distinct1@trueknowledge.com"]) I know that:
Fact 2
is true for
July 10th 2011, 00:00:00 onwards
