search

BFO-ontology / BFO-2020

A repository for BFO 2020 artifacts specified in ISO 21838-2:2020
68 stars 27 forks source link

BUG: Typo in GDC Axioms #91

Open CarterBeauBenson opened 4 months ago

CarterBeauBenson commented 4 months ago

Describe the bug The last axiom for generic dependence is "If a generically dependent continuant participates in a process p then, if it is concretized as a process, that process is part of p, fand if concretized as an sdc then the bearer of that sdc participates in the process" I believe that "fand" is intended to be "and". I was silly and had to verify that "fand" is not a technical term.

To Reproduce Steps to reproduce the behavior:

  1. Go to https://github.com/BFO-ontology/BFO-2020/blob/master/documentation/axiomatization-pds/generic-dependence.pdf''
  2. Click on '....'
  3. Scroll down to the final axiom
  4. See error "fand"

Expected behavior change to 'and'.

Desktop (please complete the following information): Chrome

alanruttenberg commented 4 months ago

I've fixed this in the source. It will be in the next release of the axiomatization, at which point I will close this issue.