:IS-FACET

Purpose

Succeeds if the argument is a facet.

Parameters

frame
A frame to be checked.

Examples

  (:IS-FACET  Cardinality)
  (:IS-FACET  Arity)
  (:IS-FACET  ?x)

Success criteria

Succeeds if the frame is a facet.

Failure criteria

Fails if the frame is not a facet.

Notes

None.

Related commands


Back to...

Algernon commands
Algernon Documentation Central
Algernon home page