Bill Duncan
Bill Duncan
@matentzn Yes, I see where are coming from :) IMHO, the word 'phenotype' has so many uses that there may not be a "thing" that can serve as a domain/range....
Maybe part of the confusion stems from changes between BFO-1.1, BFO-2.0, and BFO-2020. In BFO-1.1, `process` was a subtype of `processual_entity`. `processual_enity` was defined: ``` An occurrent [span:Occurrent] that exists...
> I thought the definition (in intention, if not precisely stated this way) was more like a process is a subclass_of(occurrent) and subclass_of(has_participant some material entity) Yes. I think BFO-2020...
@alanruttenberg in the [participatation cl](https://github.com/BFO-ontology/BFO-2020/blob/master/21838-2/common-logic/participation.cl) file, I see the [axiom](https://github.com/BFO-ontology/BFO-2020/blob/8792dde1f5702f291adc1c4c8ff83cff28d91be1/21838-2/common-logic/participation.cl#L17): ``` (cl:comment "At every time a process exists it has a participant [trl-1]" (forall (p t) (if (instance-of p process...
> Together with the axioms that there must be a participant and that sdc and gdc participants imply a bearer participates Yes. Thanks for pointing this out! I believe these...
At a high level, it seems to me that by 'history' often we mean that an entity participated in a process at some point in the past. For example, if...
If you need an encompassing class in needed, you could use 'spatially extended entity'. This could be a super class, or (perhaps) use an axiom to infer subclasses.
@cmungall Did you not like this suggestion?
> processes or even some characteristics may not be considered to be spatially extended entities By "spatially extended" I mean the typical 3 spatial dimensions present in classical/Newtonian physics. This...
@cmungall Having some axioms would help. Typically, we say that an eyeball is located in the eye socket (in the sense of 'eye socket' being a cavity) or that fluid...