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