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