Therefore (generator: ["strictequal1@trueknowledge.com"]):
champagne flute
is not strictly equal to
brass instrument
I know from locally stored knowledge that:
champagne flute
is a subclass of
champagne glass
([fact: ["19989390@trueknowledge.com"]])
brass instrument
is a subclass of
wind instrument
([fact: ["148115474@trueknowledge.com"]])
brass instrument
is a subclass of
musical instrument
([fact: ["135949655@trueknowledge.com"]])
Saxotromba
is a subclass of
brass instrument
([fact: ["1060730838@trueknowledge.com"]])
bugle
is a subclass of
brass instrument
([fact: ["762340792@trueknowledge.com"]])
Helicon
is a subclass of
brass instrument
([fact: ["380530859@trueknowledge.com"]])
cornet
is a subclass of
brass instrument
([fact: ["243048686@trueknowledge.com"]])
Truba
is a subclass of
brass instrument
([fact: ["148170345@trueknowledge.com"]])
mellophone
is a subclass of
brass instrument
([fact: ["148153366@trueknowledge.com"]])
tuba
is a subclass of
brass instrument
([fact: ["148153294@trueknowledge.com"]])
Trumpet
is a subclass of
brass instrument
([fact: ["148153290@trueknowledge.com"]])
horn
is a subclass of
brass instrument
([fact: ["148153270@trueknowledge.com"]])
Flugelhorn
is a subclass of
brass instrument
([fact: ["148153266@trueknowledge.com"]])
euphonium
is a subclass of
brass instrument
([fact: ["148153258@trueknowledge.com"]])
alto horn
is a subclass of
brass instrument
([fact: ["136001823@trueknowledge.com"]])
Trombone
is a subclass of
brass instrument
([fact: ["135949661@trueknowledge.com"]])
item of tableware
is a distinct class from
recreational item
([fact: ["19606528@trueknowledge.com"]])
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
champagne flute
is a distinct class from
brass instrument
Therefore (generator: ["subclassdistinct1@trueknowledge.com"]):
champagne flute
is not a subclass of
brass instrument
Therefore (generator: ["not_same_as_or_subclass@trueknowledge.com"]):
champagne flute
is not the same as or a subclass of
brass instrument