:DIRECT-SUPERCLASS

Purpose

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

Parameters

class: 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 class will be included as one of the bindings of the variable.

Examples

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

Success criteria

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.

Failure criteria

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

Notes

None.

Related commands

:ADD-CLASS
:ADD-INSTANCE
:CHILD
:DIRECT-CLASS
:DIRECT-INSTANCE
:DIRECT-SUBCLASS
:PARENT
:SUBCLASS
:SUPERCLASS
:TAXONOMY

Back to...

Algernon commands
Algernon Documentation Central
Algernon home page