:SUPERCLASS

Purpose

Verifies that one frame is a superclass of another, or returns all superclasses of a class.

Parameters

subclass
A class.
superclass
Either a frame to be tested or a variable to be bound.
If the :INCLUSIVE keyword is present and the superclass argument is a variable, the subclass will be included as one of the bindings of the variable.

Examples

  (:SUPERCLASS Canines Physical_Objects)
  (:SUPERCLASS Mammals ?what)
  (:SUPERCLASS Mammals ?what :INCLUSIVE)

Success criteria

The subclass 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 superclass.

Failure criteria

Fails if the superclass is not a class, if the superclass relationship is not true, or if the class has no superclasses.

Notes

None.

Related commands


Back to...

Algernon commands
Algernon Documentation Central
Algernon home page