get-types [Function]

Purpose

The get-types function returns the asserted and inferred concepts in the type of a specified instance.

Syntax

get-types instance &key asserted-p direct-p

Arguments

The instance argument is an instance or instance identifier.

If the asserted-p argument is t, only concepts explicitly asserted by the user are returned.

If the direct-p argument is t, only the most specific asserted and inferred concepts are returned.

Value

This function returns a list of concepts.

Examples 

(defconcept C :is (:and B (:at-least 1 r))) 
(tellm (:about Joe A B (r 3))) 
(get-types 'Joe) ==> (|C|A |C|B |C|C |C|THING) 
(get-types (fi Joe) :asserted-p t) ==> (|C|A |C|B) 
(get-types (fi Joe) :direct-p t) ==> (|C|A |C|C)

See Also

Last modified: Jun 1 1995