Therefore (generator: ["strictequal1@trueknowledge.com"]):
Iridium
is not strictly equal to
corporation
I know from locally stored knowledge that:
Iridium
is a subclass of
Metal
([fact: ["911148766@trueknowledge.com"]])
Iridium
is a subclass of
transition metal
([fact: ["911147694@trueknowledge.com"]])
Iridium
is a subclass of
mineral
([fact: ["368098003@trueknowledge.com"]])
Iridium
is a subclass of
periodic element
([fact: ["911146562@trueknowledge.com"]])
corporation
is a subclass of
business classified by legal status
([fact: ["134030372@trueknowledge.com"]])
multinational corporation specializing in optics and imaging
is a subclass of
corporation
([fact: ["166447850@trueknowledge.com"]])
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
Iridium
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
Iridium
is a subclass of
class
Iridium
is a subclass of
True Knowledge object
Iridium
is a subclass of
conceptual object
Iridium
is a subclass of
entity
Iridium
is a subclass of
concept with variable precision
I know from locally stored knowledge that:
periodic element
is a subclass of
substance
([fact: ["123879933@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
Iridium
is a subclass of
substance
Iridium
is a subclass of
visible object
Iridium
is a subclass of
attribute, relation or class
I know from locally stored knowledge that:
periodic element
is a subclass of
single-molecule substance
([fact: ["123985548@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
Iridium
is a subclass of
single-molecule substance
Iridium
is a subclass of
chemical
Iridium
is a subclass of
non-product
Iridium
is a subclass of
substance or conceptual substance
I know from locally stored knowledge that:
mineral
is a subclass of
chemical compound
([fact: ["123892408@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
Iridium
is a subclass of
chemical compound
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
corporation
parents not statically known
applies to
business classified by legal status
I know from locally stored knowledge that:
business classified by legal status
is a subclass of
product
([fact: ["105762087@trueknowledge.com"]])
product
is a subclass of
property
([fact: ["134892209@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
business classified by legal status
is a subclass of
property
corporation
is a subclass of
property
I know from locally stored knowledge that:
business classified by legal status
is a subclass of
business
([fact: ["15596861@trueknowledge.com"]])
business
is a subclass of
thing that was created
([fact: ["1015275590@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
business classified by legal status
is a subclass of
thing that was created
corporation
is a subclass of
thing that was created
I know from locally stored knowledge that:
business
is a subclass of
organisation
([fact: ["1131933@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
business classified by legal status
is a subclass of
organisation
corporation
is a subclass of
organisation
I know from locally stored knowledge that:
business
is a subclass of
human being, organisation or other legal person
([fact: ["240300254@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
business classified by legal status
is a subclass of
human being, organisation or other legal person
corporation
is a subclass of
human being, organisation or other legal person
corporation
is a subclass of
product
corporation
is a subclass of
business
By calculation (generator: ["distinct_interleave@trueknowledge.com"]) I know that:
Iridium
is a distinct class from
corporation
Therefore (generator: ["subclassdistinct1@trueknowledge.com"]):
Iridium
is not a subclass of
corporation
Therefore (generator: ["not_same_as_or_subclass@trueknowledge.com"]):
Iridium
is not the same as or a subclass of
corporation