I know from locally stored knowledge that:
left unique
applies to
is the count for the meronym holonym pair
([fact: ["123890144@trueknowledge.com"]])
left object has variable accuracy
not applies to
is the count for the meronym holonym pair
([fact: ["123890147@trueknowledge.com"]])
lizard
is a subclass of
animal
([fact: ["130985895@trueknowledge.com"]])
1
is the count for the meronym holonym pair
head and animal
([fact: ["123935187@trueknowledge.com"]])
By calculation (generator: ["count_for_meronym_holonym_pair@trueknowledge.com"]) I know that:
Fact 1:
1
is the count for the meronym holonym pair
head and lizard
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 the count for the meronym holonym pair
([fact: ["123890139@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
1
is not strictly equal to
0
Therefore (generator: ["leftunique2@trueknowledge.com"]):
Fact 2:
0
is not the count for the meronym holonym pair
head and lizard
By calculation (generator: ["leftunique2@trueknowledge.com"]) I know that:
Fact 2
is true for
all time
Adding…
