By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
side
I know from locally stored knowledge that:
side
is a subclass of
line
([fact: ["123890639@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
side
is a subclass of
conceptual object
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
vertex
I know from locally stored knowledge that:
vertex
is a subclass of
point of intersection
([fact: ["123940377@trueknowledge.com"]])
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
point of intersection
I know from locally stored knowledge that:
point of intersection
is a subclass of
point
([fact: ["123940367@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
point of intersection
is a subclass of
conceptual object
vertex
is a subclass of
conceptual object
Therefore (generator: ["strictequal1@trueknowledge.com"]):
conceptual object
is not strictly equal to
entity
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
side
is a subclass of
mathematical concept
point of intersection
is a subclass of
mathematical concept
vertex
is a subclass of
mathematical concept
Therefore (generator: ["strictequal1@trueknowledge.com"]):
mathematical concept
is not strictly equal to
entity
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
side
is a subclass of
concept that can be classified by sector of human endeavor
point of intersection
is a subclass of
concept that can be classified by sector of human endeavor
vertex
is a subclass of
concept that can be classified by sector of human endeavor
Therefore (generator: ["strictequal1@trueknowledge.com"]):
concept that can be classified by sector of human endeavor
is not strictly equal to
entity
I know from locally stored knowledge that:
line
is a subclass of
location
([fact: ["123890627@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
side
is a subclass of
location
I know from locally stored knowledge that:
point
is a subclass of
location
([fact: ["123922554@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
point of intersection
is a subclass of
location
vertex
is a subclass of
location
Therefore (generator: ["strictequal1@trueknowledge.com"]):
location
is not strictly equal to
entity
Adding…
