Bill Duncan

I don't think anyone is arguing that fiat objects don't exist. Rather, the issue that the default operating procedure seems to be that every astronomical body part is categorized as...

Interestingly, pco has a term [alga excluding Cyanobacteria](https://www.ebi.ac.uk/ols/ontologies/pco/terms?iri=http%3A%2F%2Fpurl.obolibrary.org%2Fobo%2FPCO_0000073), but not a term for `alga`.

@ddooley I agree that in general having `food material` under `material entity` is better. We might want to think if there are cases in which there are cases of "fiat"...

@kaiiam I think this may be a good way forward to resolving this issue.

@kaiiam Yes, I agree with this. I am suspicious about allowing for adding class directly under BFO/COB. EnvO seems pretty filled out, and discussion may be warranted if someone is...

+1 (see comment above)

Since we are agreed, do you want to leave the issue open or wait and close until it makes it into the documentation?

Update: remove cardinality for non-simple properties (see [PR](https://github.com/EnvironmentOntology/envo/pull/1073) has revealed inconsistencies now that HermiT can run. 

Update: Now that HermiT can complete, unsatisfiable classes are being found. 

`adjacent to` had been declared as functional: ``` FunctionalObjectProperty() ``` This was causing the ontology to be inconsistent. So, I removed the functional assertion, which appears to have been a...