temporal-part-of has unique-product [wsg-1] - syntax issue

BFO-ontology / BFO-2020

A repository for BFO 2020 artifacts specified in ISO 21838-2:2020

68 stars 27 forks source link

Closed wceusters closed 1 year ago

wceusters commented 1 year ago

Line 353 in temporal-region.cl

   (exists (?z)

Remove question mark

alanruttenberg commented 1 year ago

Fixed in the next commit. Thanks for finding this.