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