BFO-2020 icon indicating copy to clipboard operation
BFO-2020 copied to clipboard

Published 20 hours ago • verified publisher icon BFO-ontology

BUG: kbr-1 is ill-formed

Open mereolog opened this issue 6 months ago • 4 comments

Describe the bug The CLIF axiom kbr-1 is ill-formed.

To Reproduce https://github.com/BFO-ontology/BFO-2020/blob/25c834ed1c33997b756d5f62fc763e09f9826c0c/src/common-logic/continuant-mereology.cl#L73-L77

The syntax problem is with the conjunction, which as it is now, has only one argument, but I suspect that the whole axiom needs to be rewritten as it does not corresponds to its elucidation in the comment.

mereolog avatar Aug 07 '24 15:08 mereolog