Issues
- 1
- 0
- 0
disconnected axioms
#10 opened by VladimirAlexiev - 0
- 1
Shall COB take on "system" from RO?
#8 opened by ddooley - 2
use CLIF syntax for FOL definitions
#5 opened by wdduncan - 0
add annotation for matches and synonyms
#7 opened by wdduncan - 0
define deprecation policy
#6 opened by wdduncan - 0
add definition sources
#4 opened by wdduncan - 0
add creator and creation date for terms
#3 opened by wdduncan - 0
add github actions for quality control
#2 opened by wdduncan - 0