I know from locally stored knowledge that:
earth zodiac sign
is a subclass of
sign of the zodiac
([fact: ["20042688@trueknowledge.com"]])
Fact 1:
Virgo
is a
earth zodiac sign
([fact: ["20042701@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
I know from locally stored knowledge that:
permanent
applies to
earth zodiac sign
([fact: ["20042694@trueknowledge.com"]])
By calculation (generator: ["iaif2@trueknowledge.com"]) I know that:
Fact 2:
Virgo
is a
sign of the zodiac
Fact 2
is true for
all time
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
Virgo
is strictly equal to
Virgo
By calculation (generator: ["ppac2@trueknowledge.com"]) I know that:
Virgo
is true of every
Virgo person
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
person
is strictly equal to
person
By calculation (generator: ["ppacspecifiedby@trueknowledge.com"]) I know that:
Virgo person
is specified by
person and Virgo
I know from locally stored knowledge that:
permanent
applies to
person
([fact: ["1131338@trueknowledge.com"]])
permanent
applies to
Virgo
([fact: ["20042711@trueknowledge.com"]])
By calculation (generator: ["permanentisspecifiedby@trueknowledge.com"]) I know that:
permanent
applies to
Virgo person
By calculation (generator: ["trueofevery1@trueknowledge.com"]) I know that:
Fact 3:
Virgo
applies to
John Locke
Fact 3
is true for
all time
