1dd372bd923a9aa828713b1d8c3659f1
per discussion with Barry Smith
1dd372bd923a9aa828713b1d8c3659f1
per discussion with Barry Smith
has axiom label
type
comment
per discussion with Barry Smith
annotatedProperty
annotatedSource
annotatedTarget
Specifically dependent continu ...... are promises, obligation, etc.
@en