Michael Rabenberg

Blank cells in Terms spreadsheet

1

Lines 48 and 52 of this spreadsheet (which I have on many occasions found very useful) have some empty cells: https://github.com/BFO-ontology/BFO-2020/blob/master/src/owl/profiles/temporal%20extensions/temporalized%20relations/documentation/bfo-2020-terms.csv In particular, Line 48 contains no entry in its...

The comment of this axiom should be changed: (cl:comment "for every process there's a corresponding spatiotemporal-region [qyy-1]" (forall (p) (if (exists (t) (or (instance-of p process t) (instance-of p process-boundary...

BUG: [glc-1] should yield counterexamples, and it's out of step with its comment

22

``` (cl:comment "If at all times that two object-aggreates exist each is part of the other, then they are identical [glc-1]" (forall (a b) (if (and (exists (t) (and (instance-of...

BUG: [grx-1] comment should be revised

2

Here is [grx-1]: (cl:comment "When a role is realized the bearer of the role participates in the realization process [grx-1]" (forall (r p b) (if (and (realizes p r) (inheres-in...

Zero-dimensional-temporal-region has a temporal-instant subclass. But zero-dimensional-spatial-region does not have an analogous subclass--point-sized-spatial-region, or punctal-spatial-region (my preferred label, given its cuteness and perspicuousness), or spatial-instant (arguably cuter but less perspicuous),...