Verifies that one frame is a direct class of another, or returns all
direct classs of an instance.
- The instance.
- Either a frame to be tested or a variable to be bound.
- If the :INCLUSIVE keyword is present and the class argument
is a variable, the instance will be included as one of the
bindings of the variable.
(:DIRECT-CLASS Rover Physical_Objects) ;; Succeeds if Rover is a direct instance of Physical_Objects
(:DIRECT-CLASS Rover ?what) ;; Retrieves the direct class(es) of Rover
(:DIRECT-CLASS Rover ?what :INCLUSIVE) ;; Retrieves Rover and its direct class(es)
The class argument must be a class.
If the clause is ground, succeeds if the relationship is true.
If the clause is not ground, succeeds if it retrieves at least one direct class.
Fails if the class is not a class, if the direct-class relationship is not true,
or if the parent has no direct classs.
Algernon Documentation Central
Algernon home page