Closed nelekoehler closed 2 months ago
Looks good. We might add the axiom quantity 'has quantity value' some 'quantity value'
.
Looks good. We might add the axiom
quantity 'has quantity value' some 'quantity value'
.
Are there quantities which cannot have quantity values? I don't think so. Thus I suggest to make it an equivalent class: quantity EquivalentTo: quality and 'has quantity value' some 'quantity value'
.
Summary of the discussion
As described in #1510 and #1752 we want to restructure quantity values. Therefore we need a class "quantity", which I added in this pull request. The definition has been derived from the International vocabulary of metrology — Basic and general concepts and associated terms (VIM). Based on this implementation some existing entities have to be reclassified in following PRs.
Add
Workflow checklist
PR-Assignee
term tracker item
Reviewer