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"]])
Fact 1:
4
is the count for the meronym holonym pair
leg and dog
([fact: ["234467150@trueknowledge.com"]])
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"]):
4
is not strictly equal to
8
Therefore (generator: ["leftunique2@trueknowledge.com"]):
Fact 2:
8
is not the count for the meronym holonym pair
leg and dog
By calculation (generator: ["leftunique2@trueknowledge.com"]) I know that:
Fact 2
is true for
all time
