Verifies that one frame is a superclass of another, or returns all
superclasses of a class.
- A class.
- 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.
(:SUPERCLASS Canines Physical_Objects)
(:SUPERCLASS Mammals ?what)
(:SUPERCLASS Mammals ?what :INCLUSIVE)
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.
Fails if the superclass is not a class, if the superclass relationship is not true,
or if the class has no superclasses.
Algernon Documentation Central
Algernon home page