: MOISE is a knowledge engineering methodology which includes a knowledge specification stage which separates static knowledge from dynamic knowledge. This stage integrates a graphical knowledge specification language (KRL) that combines a static specification language (semantic networks) and a...