:TEMPLATE-RELATION

Purpose

Verifies that a slot is a template relation of a class, or returns all direct and indirect template slots of a class.

Parameters

class: The class frame.
relation: Either a relation (slot) to be tested or a variable to be bound.

Examples

  (:TEMPLATE-RELATION Canines ?slot)

Success criteria

The argument class 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 slot.

Failure criteria

Fails if class is not a class, if the class-relation relationship is not true, or if the class has no template relations.

Notes

Related commands

:ADD-RELATION
:CLASS
:SUBCLASS
:SUPERCLASS

Back to...

Algernon commands
Algernon Documentation Central
Algernon home page