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"]])
butterfly
is a subclass of
lepidopteran
([fact: ["123919713@trueknowledge.com"]])
By calculation (generator: ["count_for_meronym_holonym_pair@trueknowledge.com"]) I know that:
Fact 1:
6
is the count for the meronym holonym pair
leg and butterfly
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"]):
6
is not strictly equal to
10
Therefore (generator: ["leftunique2@trueknowledge.com"]):
Fact 2:
10
is not the count for the meronym holonym pair
leg and butterfly
By calculation (generator: ["leftunique2@trueknowledge.com"]) I know that:
Fact 2
is true for
all time