remove-type [Function]

Purpose

The remove-type function removes a concept from the type of a given instance.

Syntax

remove-type instance concept &key kb no-error-p

Arguments

The instance argument is an instance, or an instance identifier.

The concept argument is the concept, or the name of the concept, being removed.

The kb argument is the knowledge base, or the symbol or string that names the knowledge base, where the lookup of instance and concept begins. This defaults to the current knowledge base.

If the no-error-p argument is t, then error messages are suppressed.

Value

If the update is successful, the newly-removed concept is returned. If no-error-p is set and instance (or concept) cannot be found, the two values nil and :missing-instance (or :missing-concept) are returned.

Remarks

This function does not cause instance to be reclassified.

Examples

(tellm (:about Joe Rich Married)) 
(remove-type 'Joe 'Rich) ==> |C|RICH 
(remove-type (fi Joe) (fc Married) :kb "USER-KB") ==> |C|MARRIED 
(remove-type 'Joe 'xxx :no-error-p t) ==> NIL :MISSING-CONCEPT 
(new-time-point) 
(pi Joe) --> (TELL (:ABOUT JOE THING))