Ontolingua - Modifying a Definition

• Make sure that you are in edit mode!

• Edit pens allow you to modify values

• Addition gadgets allow you to add slots, facets, values

Previous slide

Next slide

Back to first slide

View graphic version