Deletes one class from the KB.


The class to be deleted.


  (: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.


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