You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, make fails because MICRO_0000405 used itself in its own definition, which is prohibited by ODK quality assurance. Solution:
Remove equivalent class axiom of MICRO_0000405 (especially phrase: and has shape some MICRO_0000405), and remove the subclass acioms MICRO_0000405 sub has sape some MICRO_0000405.
The text was updated successfully, but these errors were encountered:
Currently, make fails because MICRO_0000405 used itself in its own definition, which is prohibited by ODK quality assurance. Solution:
Remove equivalent class axiom of MICRO_0000405 (especially phrase: and has shape some MICRO_0000405), and remove the subclass acioms MICRO_0000405 sub has sape some MICRO_0000405.
The text was updated successfully, but these errors were encountered: