Skip to content
GitLab

removed axioms subClassOf( <DEVICE> HasValue( accomplishes <TASK>) )

Merged Maxime Lefrançois requested to merge issue-13 into master

closes #13 (closed)