bactivory equiv axioms are wrong

[cmungall]

• bactivory = 'has input' some Bacteria
• bactivory = 'has input' some Archaea

This is probably wrong on multiple counts. First, if I build a machine that turns bacteria into energy, running this would be an instance of bactivory. I don't think this is intentional.

Second, see comments on >1 equiv axiom here

See also https://github.com/INCATools/ontology-development-kit/issues/361

You are saying that any process that inputs a eubacterium also inputs an archaeum. This is not correct

[cmungall]

I also recommend https://douroucouli.wordpress.com/2019/07/08/ontotip-write-simple-concise-clear-operational-textual-definitions/

• S3.1 Include exactly one genus
  • here you have none in the logical def
• S11 Match text and logical definitions; here they diverge
  • text: A heterotrophic process during which a living entity acquires food and energy from consuming bacteria.
  • logical: no mention of heterotrophic process; no mention of acquisition of food and energy

Match text and logical definitions

S3.1	Include exactly one genus

S3.1	Include exactly one genus

[cmungall]

Same for the organism cognate:

heterotroph and (eats some Archaea) heterotroph and ('capable of' some bactivory) heterotroph and (eats some Bacteria)