Error : autotroph subClassOf heterotroph

[nleguillarme]

Since carbon dioxide is a subClassOf organic molecule in CHEBI AND heterotroph = organism and ('acquires carbon from' some 'organic molecule') AND autotroph = organism and ('acquires carbon from' some 'carbon dioxide')

then it is inferred that autotroph subClassOf heterotroph, which is false.

Possible solutions :

• Change autotroph logical definition to mirror the textual definition "An organism which is capable of incorporating abiogenic (inorganic) carbon into its biomass."
• Ask CHEBI to distinguish between organic and inorganic carbon dioxide
• Create a "inorganic carbon dioxide" class in STWO

[nleguillarme]

Waiting for a better solution, I removed the axiomatisation of autotroph

[AntonCollembola]

Carbon dioxide is an inorganic molecule. https://www.britannica.com/science/inorganic-compound

This should be changed to fix the issue, I think.

[nleguillarme]

Proposal: Ask CHEBI people to change carbon dioxide to be an inorganic molecule

[Archilegt]

What is the status of this issue? CHEBI is "incorrect" or not incorrect but just including CO2 as a "Chemical Entity of Biological Interest". Where does CHEBI say that CO2 is organic? I can't find that information. Anyway, organic compounds are defined as covalently bonded compounds containing carbon, excluding carbonates and oxides. By this definition, carbon dioxide (CO2) is inorganic. That is also the way is treated in Inorganic Chemistry / General Chemistry.

This are not solutions:

• "An organism which is capable of incorporating abiogenic (inorganic) carbon into its biomass." because autotrophs can incorporate biogenic CO2 into their biomass. Biogenic CO2 is emitted/exhaled CO2 by living organisms, which can be/is taken up by autotrophs.
• "Ask CHEBI to distinguish between organic and inorganic carbon dioxide". That's impossible. There is only carbon dioxide, always treated as inorganic.
• "Create a "inorganic carbon dioxide" class in STWO". Innecessary as per the above.