CommonCoreOntologies
CommonCoreOntologies copied to clipboard
axiomatise a couple classes
Following up on: https://github.com/CommonCoreOntology/CommonCoreOntologies/discussions/368