issues
search
BFO-ontology
/
BFO-2020
A repository for BFO 2020 artifacts specified in ISO 21838-2:2020
68
stars
27
forks
source link
Reminder for list of theorems and their proofs
#59
Open
wceusters
opened
1 year ago