I have been trying to search what plugin might be missing in protege without success. Currently, as you can see in the figure, when I click on the "Axioms" tab I g
