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