Add short descriptions of tbox/abox/rbox
@@ -77,9 +77,10 @@ The `--axioms` option allows you to specify the type of OWLAxiom to remove. More
6. `equivalent` (classes and properties)
7. `disjoint` (classes and properties)
8. `type` (class assertions)
-9. `abox`
-10. `tbox`
-11. `rbox`
+9. `tbox` (classes and properties)
+10. `abox` (individuals)
+11. `rbox` (properties)
+
## Examples
Remove a class ('organ') and and all its descendants:
