:DELETE-RELATION

Purpose

Deletes one relation from the KB.

  (:DELETE-RELATION Supernovas)   ;; should be a class, not a relation.

Succeeds if the relation is in the KB.

Fails if the relation is not in the KB.

The actual behavior of this command is defined by the KBMS managing the relation to be deleted. The relation will be removed throughout the KB.