Therefore (generator: ["strictequal1@trueknowledge.com"]):
national Three Peaks
is not strictly equal to
mountain chain
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
Three Peaks
is the first parameter of
national Three Peaks
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
Three Peaks
is strictly equal to
Three Peaks
By calculation (generator: ["ppac1@trueknowledge.com"]) I know that:
national Three Peaks
is a subclass of
Three Peaks
I know from locally stored knowledge that:
Three Peaks
is a subclass of
organised event
([fact: ["379001531@trueknowledge.com"]])
mountain chain
is a subclass of
landscape feature
([fact: ["20049579@trueknowledge.com"]])
mountain chain
is a subclass of
geographical area
([fact: ["19589234@trueknowledge.com"]])
mountains formed during the Alpine orogeny
is a subclass of
mountain chain
([fact: ["130047458@trueknowledge.com"]])
organised event
is a distinct class from
geographical area
([fact: ["243037562@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
national Three Peaks
is a distinct class from
mountain chain
Therefore (generator: ["subclassdistinct1@trueknowledge.com"]):
national Three Peaks
is not a subclass of
mountain chain
Therefore (generator: ["not_same_as_or_subclass@trueknowledge.com"]):
national Three Peaks
is not the same as or a subclass of
mountain chain
