search

BFO-ontology / BFO-2020

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

BUG: Minor issue with missing space in comment on axiom [uns-1 #77

Closed hoganwr closed 8 months ago

hoganwr commented 9 months ago

The following comment is missing a space between the words "argument" and "when"

(cl:comment "exists-at is dissective on first argumentwhen it is a continuant [uns-1]"

It should be:

(cl:comment "exists-at is dissective on first argument when it is a continuant [uns-1]"

hoganwr commented 9 months ago

It's in the file src/common-logic/existence-instantiation.cl

johnbeve commented 8 months ago

@hoganwr Updated here https://github.com/BFO-ontology/BFO-2020/commit/83e25b9b0e1f5c1cdf305a884a7980c29e618558

Thanks!