2263 Werkzeug

https://w3id.org/class/redaktor/tool

Eine Untereigenschaft von Instrument. Ein Objekt, das bei der Ausführung von Anweisungen oder einer Anweisung verwendet (aber nicht verbraucht) wird.