Closed l-emele closed 11 months ago
Add axioms so that B7 and E10 can be inferred as subclasses of blended liquid fuels.
B7
E10
blended liquid fuels
Add axiom 'has normal state of matter' value liquid and extend definitions of:
'has normal state of matter' value liquid
B10
Closes #1764
term tracker item
Summary of the discussion
Add axioms so that
B7
andE10
can be inferred as subclasses ofblended liquid fuels
.Type of change (CHANGELOG.md)
Update
Add axiom
'has normal state of matter' value liquid
and extend definitions of:B7
B10
Workflow checklist
Automation
Closes #1764
PR-Assignee
term tracker item
Reviewer