BFO-ontology / BFO-2020

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

[eom-1] in occurrent-mereology - syntax issue #50

Closed wceusters closed 1 year ago

wceusters commented 1 year ago

My parser choked on the following line: (exists (?tb ?tc)

The question marks should be removed.

alanruttenberg commented 1 year ago

fixed in the next commit