Therefore (generator: ["strictequal1@trueknowledge.com"]):
engineering services business
is not strictly equal to
nerd
I know from locally stored knowledge that:
engineering services business
is a subclass of
professional, scientific, and technical services business
([fact: ["20030174@trueknowledge.com"]])
nerd
is a subclass of
human being classified by social class
([fact: ["141383745@trueknowledge.com"]])
nerd
is a subclass of
person
([fact: ["127382017@trueknowledge.com"]])
aeronautical engineering business
is a subclass of
engineering services business
([fact: ["20030190@trueknowledge.com"]])
civil engineering business
is a subclass of
engineering services business
([fact: ["105777682@trueknowledge.com"]])
female computer nerd
is a subclass of
nerd
([fact: ["129909822@trueknowledge.com"]])
business
is a distinct class from
person
([fact: ["243033306@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
engineering services business
is a distinct class from
nerd
Therefore (generator: ["subclassdistinct1@trueknowledge.com"]):
engineering services business
is not a subclass of
nerd
Therefore (generator: ["not_same_as_or_subclass@trueknowledge.com"]):
engineering services business
is not the same as or a subclass of
nerd