There is a cost to burying this in PATO. We lose that we could relax the cardinality assertion to subClassOf has_part some cell. I'm sure having this axiom inherited would come in handy. DOS
Attributes | Values |
---|---|
type | |
comment |
|
annotatedProperty | |
annotatedSource | |
annotatedTarget |