:DELETE-FACET

Purpose

Deletes one facet from the KB.

  (:DELETE-FACET Cardinalaxity)   ;; remove a misspelled facet

Succeeds if the facet is in the KB.

Fails if the facet is not in the KB.

The actual behavior of this command is defined by the KBMS managing the facet to be deleted.

The facet is removed from all slots in the KB.