:DELETE-CLASS

Purpose

Deletes one class from the KB.

Parameters

class
The class to be deleted.

Examples

  (:DELETE-CLASS Airpplanes)   ;; remove a misspelled class

Success criteria

Succeeds if the class is in the KB.

Failure criteria

Fails if the class is not in the KB.

Notes

The actual behavior of this command is defined by the KBMS managing the class to be deleted. Some KBMS may delete the class and all subclasses. Use this command with care.

Inferences previously made using the class are not removed. Algernon does not currently support non-monotonic reasoning.

Related commands


Back to...

Algernon commands
Algernon Documentation Central
Algernon home page